Uma Ferramenta de Suporte ao Ensino de Modelagem de Sistemas Distribuídos Críticos: Uma Experiência Prática

Resumo

As equipes de desenvolvimento de software devem aplicar modelos que considerem aspectos específicos do domínio do problema, a fim de fornecer sistemas distribuídos seguros e confiáveis. Apesar de instituições de ensino superior aplicarem modelos conhecidos como o Processo de Estados Finitos (FSP), existem poucas ferramentas de apoio para o ensino destes modelos. Com o intuito de apoiar o ensino de FSP, foi desenvolvida a ferramenta fsp2java, que permite a validação do modelo gerado pelos alunos e geração de código Java. Este artigo apresenta o processo de desenvolvimento da ferramenta e sua avaliação experimental. Os resultados demonstram que a ferramenta tem respaldo para atuar no ensino e a geração de código do modelo é promissora.