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

Detalhes bibliográficos
Autor(a) principal: Santos, Claumir Claudino dos
Data de Publicação: 2007
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Repositório Institucional da UFSC
Texto Completo: http://repositorio.ufsc.br/xmlui/handle/123456789/90053
Resumo: Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduaçõa em Ciência da Computação.
id UFSC_1f65fadcd2ed6838a718982b84a43857
oai_identifier_str oai:repositorio.ufsc.br:123456789/90053
network_acronym_str UFSC
network_name_str Repositório Institucional da UFSC
repository_id_str 2373
spelling Geração automática de diagramas de comunicação a partir de contratos OCLInformaticaCiência da computaçãoAutomaçãoUML (Computação)GRASPDissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduaçõa em Ciência da Computação.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.Florianópolis, SCWazlawick, Raul SidneiUniversidade Federal de Santa CatarinaSantos, Claumir Claudino dos2012-10-23T05:34:18Z2012-10-23T05:34:18Z20072007info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesis82 f.| il.application/pdf249954http://repositorio.ufsc.br/xmlui/handle/123456789/90053porreponame:Repositório Institucional da UFSCinstname:Universidade Federal de Santa Catarina (UFSC)instacron:UFSCinfo:eu-repo/semantics/openAccess2013-07-16T20:06:07Zoai:repositorio.ufsc.br:123456789/90053Repositório InstitucionalPUBhttp://150.162.242.35/oai/requestopendoar:23732013-07-16T20:06:07Repositório Institucional da UFSC - Universidade Federal de Santa Catarina (UFSC)false
dc.title.none.fl_str_mv Geração automática de diagramas de comunicação a partir de contratos OCL
title Geração automática de diagramas de comunicação a partir de contratos OCL
spellingShingle Geração automática de diagramas de comunicação a partir de contratos OCL
Santos, Claumir Claudino dos
Informatica
Ciência da computação
Automação
UML (Computação)
GRASP
title_short Geração automática de diagramas de comunicação a partir de contratos OCL
title_full Geração automática de diagramas de comunicação a partir de contratos OCL
title_fullStr Geração automática de diagramas de comunicação a partir de contratos OCL
title_full_unstemmed Geração automática de diagramas de comunicação a partir de contratos OCL
title_sort Geração automática de diagramas de comunicação a partir de contratos OCL
author Santos, Claumir Claudino dos
author_facet Santos, Claumir Claudino dos
author_role author
dc.contributor.none.fl_str_mv Wazlawick, Raul Sidnei
Universidade Federal de Santa Catarina
dc.contributor.author.fl_str_mv Santos, Claumir Claudino dos
dc.subject.por.fl_str_mv Informatica
Ciência da computação
Automação
UML (Computação)
GRASP
topic Informatica
Ciência da computação
Automação
UML (Computação)
GRASP
description Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduaçõa em Ciência da Computação.
publishDate 2007
dc.date.none.fl_str_mv 2007
2007
2012-10-23T05:34:18Z
2012-10-23T05:34:18Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv 249954
http://repositorio.ufsc.br/xmlui/handle/123456789/90053
identifier_str_mv 249954
url http://repositorio.ufsc.br/xmlui/handle/123456789/90053
dc.language.iso.fl_str_mv por
language por
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv 82 f.| il.
application/pdf
dc.publisher.none.fl_str_mv Florianópolis, SC
publisher.none.fl_str_mv Florianópolis, SC
dc.source.none.fl_str_mv reponame:Repositório Institucional da UFSC
instname:Universidade Federal de Santa Catarina (UFSC)
instacron:UFSC
instname_str Universidade Federal de Santa Catarina (UFSC)
instacron_str UFSC
institution UFSC
reponame_str Repositório Institucional da UFSC
collection Repositório Institucional da UFSC
repository.name.fl_str_mv Repositório Institucional da UFSC - Universidade Federal de Santa Catarina (UFSC)
repository.mail.fl_str_mv
_version_ 1808652011812421632

Registros relacionados