Provendo a fórmula paramétrica composicional como um serviço no PiStarGODA-MDP

Abstract

O framework PiStarGODA-MDP é utilizado para realizar a análise de dependabilidade de sistemas por meio da modelagem utilizando modelos orientados a objetivos. Após realizar a verificação do modelo, o PiStarGODA-MDP gera fórmulas paramétricas para confiabilidade e custo, que podem ser utilizadas em tempo de execução. Estas fórmulas são atômicas e o seu uso em tempo de execução é limitado, uma vez que alterá-las dinamicamente não é trivial. Para solucionar isto, este trabalho apresenta a fórmula paramétrica em uma estrutura composicional em JSON, por meio da qual é possível disponibilizar serviços REST utilizando rotas HTTP implementadas no framework PiStarGODA-MDP. Assim, a fórmula paramétrica passa a ser um objeto dinâmico, permitindo consultas e edições na estrutura da mesma. Por fim, um estudo de caso foi realizado na BSN, visando servir como prova de conceito para validar a solução apresentada e sua implementação.