piStar-GODA : integração entre os projetos piStar e GODA

Abstract

O framework GODA (Goal-Oriented Dependability Analysis) é utilizado para realizar a análise de dependabilidade de modelos orientados a objetivos. Este framework estende as funcionalidades do plugin Eclipse denominado TAOM4E. Esse plugin fornece uma interface gráfica para a modelagem de modelos orientados a objetivos baseada na metodologia de desenvolvimento Tropos. No entanto, o GODA apresenta um alto acoplamento com o plugin TAOM4E, o que dificulta sua manutenibilidade e configurabilidade por depender de versões específicas da ferramenta Eclipse e do JDK 1.8. Isso dificulta não apenas o uso do GODA por terceiros, como também a evolução do mesmo. O projeto piStar-GODA é uma nova solução para estes problemas, permitindo a utilização do projeto piStar como frontend para a modelagem dos modelos orientados a objetivos, substituindo o TAOM4E. Buscou-se desacoplar também o backend da solução, que é responsável pela análise de dependabilidade em si, focando em uma alta coesão e baixo acoplamento entre os módulos do sistema. Desta forma, é possível implementar novas funcionalidades no backend, como novos módulos de análise no GODA de forma modularizada e independente do frontend. A solução foi construída com ferramentas modernas, como uso de microserviços para desacoplar módulos de análise do GODA dependente de ferramentas externas como o PRISM e o PARAM, e testada com testes unitários.