Simulation of Software Process Models with Abstract State Machines
Abstract
This paper presents the simulation of software process models with abstract state machines. Initially a formalization of structural and behavioral processes of software is done, using as reference the SPEMasm, adapted as an extension to SPEM. The SPEMasm presents the structural and behavioral elements that allow simulations to be carried on. A case study is presented, where a small process adapted from OpenUP/Basic is simulated in the abstract state machine presented in this paper.
Keywords:
Model Simulation, Software Process, Abstract State Machines
References
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).
Published
2009-06-01
How to Cite
FRAGA FILHO, Clayton Vieira; BRAGA, José Luis; OLIVEIRA, Alcione de Paiva; IORIO, Vladimir Oliveira Di.
Simulation of Software Process Models with Abstract State Machines. In: BRAZILIAN SOFTWARE QUALITY SYMPOSIUM (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.
