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

DSpace Repository

A- A A+

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

Show full item record

Title: Geração automática de diagramas de comunicação a partir de contratos OCL
Author: Santos, Claumir Claudino dos
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.
Description: Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduaçõa em Ciência da Computação.
URI: http://repositorio.ufsc.br/xmlui/handle/123456789/90053
Date: 2007


Files in this item

Files Size Format View
249954.pdf 0bytes PDF View/Open

This item appears in the following Collection(s)

Show full item record

Search DSpace


Advanced Search

Browse

My Account

Statistics

Compartilhar