Geração automática de diagramas de comunicação a partir de contratos OCL

Abstract

Este trabalho apresenta um conjunto de princípios que, se aplicados para a definição de contratos de operações de sistema, possibilitam a geração automática de diagramas de comunicação (UML). Os diagramas assim gerados podem ser usados também para geração automática de código. O mecanismo que gera os diagramas de comunicação é um sistema de busca, o qual foi projetado para encontrar diagramas que realizam um contrato de acordo com os padrões de projeto GRASP - General Responsibility Assignment Software Patterns. Os contratos são escritos em uma linguagem que consiste em uma variação da OCL (Object Constraint Language) adaptada para representar explicitamente os cinco tipos de pós-condições semânticas possíveis em modelos orientados a objetos. Apesar de seu considerável poder de geração, o mecanismo de busca resume-se a um conjunto de apenas quatro regras. O sistema foi implementado e testado em diversos contratos típicos de sistemas de informação, produzindo em todos os casos os resultados almejados. Estes resultados podem ser generalizados também para contratos mais complexos.