Simulação de Modelos de Processo de Software com Máquinas de Estado Abstratas
Resumo
Este artigo apresenta a simulação de modelos de processos de software com máquinas de estado abstratas. Inicialmente é realizada a formalização dos elementos estruturais e comportamentais de processos de software, utilizando como referência o SPEMasm, adaptado do SPEM. O SPEMasm apresenta os elementos estruturais e comportamentais que permitem a simulação de processos de software. É realizado um estudo de caso onde um projeto é simulado na máquina de estado abstrata apresentada neste artigo, cujo modelo foi adaptado do OpenUp/Basic.
Palavras-chave:
Simulação de Modelos, Processo de Software, Máquinas de Estado Abstratas
Referências
Bona, Cristina. Avaliação de Processos de Software: Um estudo de caso em XP e ICONIX. Dissertação de Mestrado - Universidade Federal de Santa Catarina, Florianópolis, 2002.
Fuggetta, Alfonso. Software process: a roadmap. In: Proceedings of the Conference on the Future of Software Engineering. Limerick, Ireland, June 04 - 11, 2000. ICSE '00. ACM Press, New York, NY, 25-34.
Standish Group. Latest Standish Group CHAOS Report Shows Project Success Rates Have Improved by 50%. 25 de Março de 2003. Disponível em http://www.standishgroup.com/press/article.php?id=2. Consultado em 15 de Junho de 2007.
Pressman, Roger S. Software Engineering: A Practitioner's Approach, 5. ed., McGraw-Hill, Boston, 2001.
Reis, Carla Alessandra. Uma Abordagem Flexível para Execução de Processos de Software Evolutivos. 2003. 267 f. Tese (Doutorado) - Curso de Ciência da Computação, Universidade Federal do Rio Grande do Sul, Porto Alegre, 2003.
Di Iorio, Vladimir Oliveira. Avaliação Parcial de Máquinas de Estado Abstratas. 2001. 163 f. Tese (Doutorado) - Curso de Ciência da Computação, Universidade Federal de Minas Gerais, Belo Horizonte, 2001. Cap. 2.
Valente, M. T. O; Bigonha, R. S.; Maia, M. A.; Loureiro, A. A. F. Aplicação de ASM na Especificação de Sistemas Móveis. II Workshop de Métodos Formais (WMF), p. 60-69. 1999.
OMG. Software Process Engineering Metamodel Specification (SPEM) - version 1.1. 2005. Disponível em: www.omg.org/docs/formal/05-01-06.pdf .
Park, SeungHun et al. Deriving Software Process Simulation Model from SPEM- based Software Process Model. APSEC 2007: 382-389
Kroll, Per; MACISAAC, Bruce. Agility and Discipline Made Easy: Practices from OpenUP and RUP: Addison-wesley, 2006. 448 p. (Professional).
Fuggetta, Alfonso. Software process: a roadmap. In: Proceedings of the Conference on the Future of Software Engineering. Limerick, Ireland, June 04 - 11, 2000. ICSE '00. ACM Press, New York, NY, 25-34.
Standish Group. Latest Standish Group CHAOS Report Shows Project Success Rates Have Improved by 50%. 25 de Março de 2003. Disponível em http://www.standishgroup.com/press/article.php?id=2. Consultado em 15 de Junho de 2007.
Pressman, Roger S. Software Engineering: A Practitioner's Approach, 5. ed., McGraw-Hill, Boston, 2001.
Reis, Carla Alessandra. Uma Abordagem Flexível para Execução de Processos de Software Evolutivos. 2003. 267 f. Tese (Doutorado) - Curso de Ciência da Computação, Universidade Federal do Rio Grande do Sul, Porto Alegre, 2003.
Di Iorio, Vladimir Oliveira. Avaliação Parcial de Máquinas de Estado Abstratas. 2001. 163 f. Tese (Doutorado) - Curso de Ciência da Computação, Universidade Federal de Minas Gerais, Belo Horizonte, 2001. Cap. 2.
Valente, M. T. O; Bigonha, R. S.; Maia, M. A.; Loureiro, A. A. F. Aplicação de ASM na Especificação de Sistemas Móveis. II Workshop de Métodos Formais (WMF), p. 60-69. 1999.
OMG. Software Process Engineering Metamodel Specification (SPEM) - version 1.1. 2005. Disponível em: www.omg.org/docs/formal/05-01-06.pdf .
Park, SeungHun et al. Deriving Software Process Simulation Model from SPEM- based Software Process Model. APSEC 2007: 382-389
Kroll, Per; MACISAAC, Bruce. Agility and Discipline Made Easy: Practices from OpenUP and RUP: Addison-wesley, 2006. 448 p. (Professional).
Publicado
01/06/2009
Como Citar
FRAGA FILHO, Clayton Vieira; BRAGA, José Luis; OLIVEIRA, Alcione de Paiva; IORIO, Vladimir Oliveira Di.
Simulação de Modelos de Processo de Software com Máquinas de Estado Abstratas. In: SIMPÓSIO BRASILEIRO DE QUALIDADE DE SOFTWARE (SBQS), 8. , 2009, Ouro Preto.
Anais [...].
Porto Alegre: Sociedade Brasileira de Computação,
2009
.
p. 226-240.
DOI: https://doi.org/10.5753/sbqs.2009.15515.
