Software process model simulation using abstract state machines

O estabelecimento de um modelo de processo de software em uma organização desenvolvedora de software não é uma atividade trivial. Muitas são as decisões a serem tomadas e abordagens utilizadas para dar suporte à tomada de decisão sobre quais atividades devem ser realizadas, como deve ser estabelecido seu sequenciamento, quais produtos de trabalho devem ser desenvolvidos, dentre outros. A primeira etapa para estabelecer o processo é definir sua representação estática, no entanto é importante que o processo seja simulado, demonstrando de forma dinâmica seu funcionamento. Este trabalho teve como objetivo realizar a transformação de modelos de processo de software de um alto nível de abstração para um nível que permita sua execução. O modelo estático denominado SPEMasm foi adaptado do SPEM e o modelo dinâmico foi mapeado para máquinas de estado abstratas (ASM). O mapeamento de instâncias foi utilizado para especificar o relacionamento dos elementos entre os modelos estáticos e dinâmicos, possibilitando a aplicação de uma técnica de transformação manual, baseada na abordagem da arquitetura dirigida por modelos, produzindo um modelo de simulação de processo de software com máquinas de estado abstratas utilizado no estudo de caso.The definition of software process models in software devoloper organizations is a hard work. There are many decisions to be made and approaches used to decision support: what activities should be undertaken, their sequencing, what work products must be developed, among others. The first step is to obtain the process representation, that should be transformed in more detailed models to allow process simulation, essential to analyse its dynamic behavior. This work aimed to achieve software process model transformation from a high abstraction level to a lower abstraction level, that would enable process enactment. The static model was described using a SPEM extension, named SPEMasm, and the dynamic model was mapped to the formal language of Abstract State Machines (ASM), that was then properly executed. The mapping of instances was used to specify the relationship between the static and dynamic elements models, and was done manually, based on the model driven architecture approach. As a case study, we produced a specialization of a well known software process, that was simulated using the approach