BTS: Uma ferramenta para o desenvolvimento sistemático de sistemas baseados em componentes confiáveis
Métodos Formais, Desenvolvimento Baseado em Componentes, Concorrência, Verificação de Modelos
O desenvolvimento de sistemas baseados em componentes revolucionou o processo de desenvolvimento de software, facilitando a manutenção, trazendo mais confiabilidade e reutilização. Porém, mesmo com todas as boas características atribuídas ao desenvolvimento de componentes, é de extrema preocupação a forma como eles se compõem. Realizar verificação a partir de testes informais não é o suficiente para se ter uma composição segura, pois esses não possuem semântica formal que consiga prever comportamentos do sistema. Nesse contexto, surgem os métodos formais, que mantém com precisão a especificação do sistema através de notações matemáticas, trazendo, entre outros benefícios, mais segurança. O método formal CSP, possui uma semântica que suporta uma sucessão de verificações e comparações. Nesse contexto, existem abordagens que aplicam restrições usando CSP, para se verificar o comportamento da composição entre componentes, auxiliando a verificação desses componentes antecipadamente. No entanto, como a ideia atual do mercado de software é buscar cada vez mais automação dos processos, minimizando trabalhos e trazendo agilidade nos negócios, se torna inviável a utilização dessas abordagens, devido ao grande nível de complexidade e tempo. Nesse contexto, esse trabalho apresenta uma ferramenta automatizada para verificação da composição entre componentes, onde toda complexidade da linguagem formal é definida internamente, oculta para o usuário. Dessa forma, através de uma interface simples, a ferramenta BTS (BRIC-Tool-Suport) define um modelo para criação e composição de componentes, prevendo, com antecedência, comportamentos indesejáveis no sistema, como deadlocks.