Tesis
Geração semiautomática de máquinas finitas de estados estendidas a partir de documento de padronização em língua natural
Semi-automatic generation of extended finite state machines from natural language standard document
Registro en:
Autor
Greghi, Juliana Galvani, 1976-
Institución
Resumen
Orientadores: Eliane Martins, Ariadne Maria Brito Rizzoni Carvalho Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Computação Resumo: A representação de requisitos por modelos para auxiliar o processo de desenvolvimento de sistemas computacionais já é utilizada há vários anos. Os modelos facilitam a identificação de erros e podem ser executados automaticamente por ferramentas específicas. Entretanto, muitos sistemas ainda têm seus requisitos expressos em língua natural e não foram encontradas regras sobre como transformar um conjunto de requisitos em um determinado modelo. Este trabalho propõe um processo de transformação de documentos de padronização em língua natural, em Máquinas Finitas de Estados Estendidas. O objetivo principal é desenvolver um método para a geração semiautomática de modelos a partir de documentos de padronização, visando melhorar a qualidade dos modelos gerados em relação à conformidade aos requisitos. A variabilidade dos requisitos é tratada por meio da aplicação de conceitos de Linhas de Produto de Software, em que modelos diferentes são gerados de acordo com as configurações feitas pelo usuário. Uma ferramenta para a geração dos modelos foi construído e o processo foi aplicado a um documento de padronização da área aeroespacial. Requisitos do documento foram selecionados e usados para a geração de modelos. Os modelos resultantes foram avaliados e validados com comparações com modelos manuais elaborados para o mesmo conjunto de requisitos, e por model checking, um método para a verificação formal de máquinas de estados Abstract: The representation of requirements by means of models to help the development process of computational systems has been used along the years to facilitate the identification of errors. Models can be automatically executed by specific tools and be used during several phases of the development process. However, most requirements are still expressed in natural language, and no guidelines of how to transform natural language requirements into models were found. This work proposes a transformation process of standardization documents into Extended Finite State Machines. The main objective is to provide a way to semi-automatically generate models from natural language standard documents, aiming at improving the quality of generated models for requirements compliance. Variability in the requirements is dealt with Software Product Line concepts, in which different models are generated according to the configuration chosen by the user. A tool for semi-automatic model generation was developed, and the process was applied to a standardization document from the aerospace domain. Requirements described in the analysed document were processed, and the resultant models were evaluated and validated by means of a manual comparison between manual models and generated ones, and model checking, a formal method to evaluate state machines Doutorado Ciência da Computação Doutora em Ciência da Computação