Use este identificador para citar ou linkar para este item: https://locus.ufv.br//handle/123456789/2592
Tipo: Dissertação
Título: Simulação de modelos de processo de software utilizando máquinas de estado abstratas
Título(s) alternativo(s): Software process model simulation using abstract state machines
Autor(es): Fraga Filho, Clayton Vieira
Primeiro Orientador: Braga, José Luis
Primeiro coorientador: Oliveira, Alcione de Paiva
Segundo coorientador: Iorio, Vladimir Oliveira Di
Primeiro avaliador: Valente, Marco Túlio de Oliveira
Segundo avaliador: Ferreira, Ricardo dos Santos
Abstract: 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.
Palavras-chave: Simulação de processos de software
Máquinas de estado abstratas
Software process simulation
Abstract state machines
CNPq: CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO
Idioma: por
País: BR
Editor: Universidade Federal de Viçosa
Sigla da Instituição: UFV
Departamento: Metodologias e técnicas da Computação; Sistemas de Computação
Programa: Mestrado em Ciência da Computação
Citação: FRAGA FILHO, Clayton Vieira. Software process model simulation using abstract state machines. 2009. 146 f. Dissertação (Mestrado em Metodologias e técnicas da Computação; Sistemas de Computação) - Universidade Federal de Viçosa, Viçosa, 2009.
Tipo de Acesso: Acesso Aberto
URI: http://locus.ufv.br/handle/123456789/2592
Data do documento: 6-Mar-2009
Aparece nas coleções:Ciência da Computação

Arquivos associados a este item:
Arquivo Descrição TamanhoFormato 
texto completo.pdf1,28 MBAdobe PDFThumbnail
Visualizar/Abrir


Os itens no repositório estão protegidos por copyright, com todos os direitos reservados, salvo quando é indicado o contrário.