Evolução do Sistema AIDA Centralizado para um Ambiente Concorrente usando OMT e SDL-92

Abstract

Este trabalho propõe o uso combinado da metodologia OMT com a linguagem de especificação formal SDL para a evolução do AIDA, um software para o gerenciamento e análise de dados experimentais, em desenvolvimento na EMBRAPA, partindo de uma versão centralizada para um ambiente concorrente. Esta abordagem apresenta facilidades que produzem ganhos no processo de desenvolvimento de software, como a possibilidade de validação e de simulação do sistema, e também a geração de código para sua prototipação. São apresentados os modelos de objetos e as especificações em SDL das duas versões, o resultado da validação do ambiente AIDA centralizado e também um exemplo de simulação deste sistema.