Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduaçõa em Ciência da Computação. / Made available in DSpace on 2012-10-23T05:34:18Z (GMT). No. of bitstreams: 0Bitstream added on 2013-07-16T20:06:07Z : No. of bitstreams: 1
249954.pdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / 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.
Identifer | oai:union.ndltd.org:IBICT/oai:repositorio.ufsc.br:123456789/90053 |
Date | January 2007 |
Creators | Santos, Claumir Claudino dos |
Contributors | Universidade Federal de Santa Catarina, Wazlawick, Raul Sidnei |
Publisher | Florianópolis, SC |
Source Sets | IBICT Brazilian ETDs |
Language | Portuguese |
Detected Language | Portuguese |
Type | info:eu-repo/semantics/publishedVersion, info:eu-repo/semantics/masterThesis |
Format | 82 f.| il. |
Source | reponame:Repositório Institucional da UFSC, instname:Universidade Federal de Santa Catarina, instacron:UFSC |
Rights | info:eu-repo/semantics/openAccess |
Page generated in 0.002 seconds