Composição de UML Profiles

Detalhes bibliográficos
Autor(a) principal: Oliveira, Kleinner Silva Farias de
Data de Publicação: 2008
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Repositório Institucional PUCRS
Texto Completo: http://hdl.handle.net/10923/1562
Resumo: With the success of Model Driven Architecture (MDA) and Unified Modeling Language (UML), models are replacing code as the first software development artifact. In MDA, model transformation and model composition are essential activities. While model transformation has been well researched and documented, model composition needs more investigation. With MDA arise three challenges, such as: (i ) create domain specific modeling languages (DSMLs); (ii ) merge DSML; and (iii ) merge models expressed in DSML. The UML allows building DSML through UML profiles, however it does not provide an adequate mechanism to merge such profiles. With this in mind, this work proposes a UML profiles composition mechanism based on merge rules, model transformation rules, composition strategy, match strategy and match rules. A formalization of this mechanism was built using the Alloy formal language and automatic analysis were accomplished using Alloy Analyzer. Moreover, a model composition tool was developed to evaluate the mechanism and automate the approach.
id PUCR_8d884076aa9d2a7932267258d69c68ef
oai_identifier_str oai:meriva.pucrs.br:10923/1562
network_acronym_str PUCR
network_name_str Repositório Institucional PUCRS
repository_id_str 2753
spelling Oliveira, Kleinner Silva Farias deOliveira, Toacy Cavalcante de2013-08-07T18:42:52Z2013-08-07T18:42:52Z2008http://hdl.handle.net/10923/1562With the success of Model Driven Architecture (MDA) and Unified Modeling Language (UML), models are replacing code as the first software development artifact. In MDA, model transformation and model composition are essential activities. While model transformation has been well researched and documented, model composition needs more investigation. With MDA arise three challenges, such as: (i ) create domain specific modeling languages (DSMLs); (ii ) merge DSML; and (iii ) merge models expressed in DSML. The UML allows building DSML through UML profiles, however it does not provide an adequate mechanism to merge such profiles. With this in mind, this work proposes a UML profiles composition mechanism based on merge rules, model transformation rules, composition strategy, match strategy and match rules. A formalization of this mechanism was built using the Alloy formal language and automatic analysis were accomplished using Alloy Analyzer. Moreover, a model composition tool was developed to evaluate the mechanism and automate the approach.Com o sucesso da MDA (Model Driven Architecture) e da UML (Unified Modeling Language), modelos estão substituindo código como o principal artefato de desenvolvimento de software. Em MDA, a transformação e a composição de modelos são duas atividades essenciais. Enquanto a transformação de modelos tem sido amplamente pesquisada e documentada, a composição de modelos precisa de mais investigação. Com a MDA, surgiram três desafios: (i) criar linguagens de modelagem específicas de domínios (DSML); (ii) compor DSML; (iii) compor modelos representados em DSML. A UML permite a construção de DSML através de UML profiles, porém não oferece um mecanismo adequado para tais profiles. Neste contexto, o presente trabalho apresenta uma proposta de mecanismo de composição de UML profiles fundamentado em regras de composição, regras de transformação de modelos, estratégias de composição, estratégia de comparação e regras de comparação. Um modelo formal deste mecanismo foi construído utilizando a linguagem de modelagem formal Alloy e foi realizada uma análise automática do modelo usando Alloy Analyzer. Além disso, uma ferramenta de software foi construída com o objetivo de validar o mecanismo e automatizar a abordagem.Made available in DSpace on 2013-08-07T18:42:52Z (GMT). No. of bitstreams: 1 000404134-Texto+Completo-0.pdf: 1945170 bytes, checksum: b8a0273e017edb542534fd86a3d269e2 (MD5) Previous issue date: 2008Pontifícia Universidade Católica do Rio Grande do SulPorto AlegreINFORMÁTICAENGENHARIA DE SOFTWAREUML (INFORMATICA)MODELAGEM DE SISTEMASComposição de UML Profilesinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisPontifícia Universidade Católica do Rio Grande do SulFaculdade de InformáticaPrograma de Pós-Graduação em Ciência da ComputaçãoMestrado2008porreponame:Repositório Institucional PUCRSinstname:Pontifícia Universidade Católica do Rio Grande do Sul (PUCRS)instacron:PUC_RSinfo:eu-repo/semantics/openAccessORIGINAL000404134-Texto+Completo-0.pdfTexto Completoapplication/pdf1945170http://meriva.pucrs.br:8080/jspui/bitstream/10923/1562/1/000404134-Texto%2BCompleto-0.pdfb8a0273e017edb542534fd86a3d269e2MD51LICENSElicense.txttext/plain601http://meriva.pucrs.br:8080/jspui/bitstream/10923/1562/2/license.txt3d470ad030ca6782c9f44a1fb7650ec0MD52TEXT000404134-Texto+Completo-0.pdf.txt000404134-Texto+Completo-0.pdf.txtExtracted texttext/plain343614http://meriva.pucrs.br:8080/jspui/bitstream/10923/1562/3/000404134-Texto%2BCompleto-0.pdf.txt9274ff29f3591b9e1b8050c5e1265c22MD5310923/15622017-09-27 15:49:26.864oai:meriva.pucrs.br:10923/1562QXV0b3JpemHDp8OjbyBwYXJhIFB1YmxpY2HDp8OjbyBFbGV0csO0bmljYTogQ29tIGJhc2Ugbm8gZGlzcG9zdG8gbmEgTGVpIEZlZGVyYWwgbsK6OS42MTAsIGRlIDE5IGRlIGZldmVyZWlybyBkZSAxOTk4LCBBVVRPUklaTyBhIHB1YmxpY2HDp8OjbyBlbGV0csO0bmljYSBkYSBwcmVzZW50ZSBvYnJhIG5vIGFjZXJ2byBkYSBCaWJsaW90ZWNhIERpZ2l0YWwgZGEgUG9udGlmw61jaWEgVW5pdmVyc2lkYWRlIENhdMOzbGljYSBkbyBSaW8gR3JhbmRlIGRvIFN1bCwgc2VkaWFkYSBhIEF2LiBJcGlyYW5nYSA2NjgxLCBQb3J0byBBbGVncmUsIFJpbyBHcmFuZGUgZG8gU3VsLCBjb20gcmVnaXN0cm8gZGUgQ05QSiA4ODYzMDQxMzAwMDItODEgYmVtIGNvbW8gZW0gb3V0cmFzIGJpYmxpb3RlY2FzIGRpZ2l0YWlzLCBuYWNpb25haXMgZSBpbnRlcm5hY2lvbmFpcywgY29uc8OzcmNpb3MgZSByZWRlcyDDoHMgcXVhaXMgYSBiaWJsaW90ZWNhIGRhIFBVQ1JTIHBvc3NhIGEgdmlyIHBhcnRpY2lwYXIsIHNlbSDDtG51cyBhbHVzaXZvIGFvcyBkaXJlaXRvcyBhdXRvcmFpcywgYSB0w610dWxvIGRlIGRpdnVsZ2HDp8OjbyBkYSBwcm9kdcOnw6NvIGNpZW50w61maWNhLg==Repositório InstitucionalPRIhttp://repositorio.pucrs.br/oai/request?verb=Identifyopendoar:27532017-09-27T18:49:26Repositório Institucional PUCRS - Pontifícia Universidade Católica do Rio Grande do Sul (PUCRS)false
dc.title.pt_BR.fl_str_mv Composição de UML Profiles
title Composição de UML Profiles
spellingShingle Composição de UML Profiles
Oliveira, Kleinner Silva Farias de
INFORMÁTICA
ENGENHARIA DE SOFTWARE
UML (INFORMATICA)
MODELAGEM DE SISTEMAS
title_short Composição de UML Profiles
title_full Composição de UML Profiles
title_fullStr Composição de UML Profiles
title_full_unstemmed Composição de UML Profiles
title_sort Composição de UML Profiles
author Oliveira, Kleinner Silva Farias de
author_facet Oliveira, Kleinner Silva Farias de
author_role author
dc.contributor.author.fl_str_mv Oliveira, Kleinner Silva Farias de
dc.contributor.advisor1.fl_str_mv Oliveira, Toacy Cavalcante de
contributor_str_mv Oliveira, Toacy Cavalcante de
dc.subject.por.fl_str_mv INFORMÁTICA
ENGENHARIA DE SOFTWARE
UML (INFORMATICA)
MODELAGEM DE SISTEMAS
topic INFORMÁTICA
ENGENHARIA DE SOFTWARE
UML (INFORMATICA)
MODELAGEM DE SISTEMAS
description With the success of Model Driven Architecture (MDA) and Unified Modeling Language (UML), models are replacing code as the first software development artifact. In MDA, model transformation and model composition are essential activities. While model transformation has been well researched and documented, model composition needs more investigation. With MDA arise three challenges, such as: (i ) create domain specific modeling languages (DSMLs); (ii ) merge DSML; and (iii ) merge models expressed in DSML. The UML allows building DSML through UML profiles, however it does not provide an adequate mechanism to merge such profiles. With this in mind, this work proposes a UML profiles composition mechanism based on merge rules, model transformation rules, composition strategy, match strategy and match rules. A formalization of this mechanism was built using the Alloy formal language and automatic analysis were accomplished using Alloy Analyzer. Moreover, a model composition tool was developed to evaluate the mechanism and automate the approach.
publishDate 2008
dc.date.issued.fl_str_mv 2008
dc.date.accessioned.fl_str_mv 2013-08-07T18:42:52Z
dc.date.available.fl_str_mv 2013-08-07T18:42:52Z
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 http://hdl.handle.net/10923/1562
url http://hdl.handle.net/10923/1562
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.publisher.none.fl_str_mv Pontifícia Universidade Católica do Rio Grande do Sul
Porto Alegre
publisher.none.fl_str_mv Pontifícia Universidade Católica do Rio Grande do Sul
Porto Alegre
dc.source.none.fl_str_mv reponame:Repositório Institucional PUCRS
instname:Pontifícia Universidade Católica do Rio Grande do Sul (PUCRS)
instacron:PUC_RS
instname_str Pontifícia Universidade Católica do Rio Grande do Sul (PUCRS)
instacron_str PUC_RS
institution PUC_RS
reponame_str Repositório Institucional PUCRS
collection Repositório Institucional PUCRS
bitstream.url.fl_str_mv http://meriva.pucrs.br:8080/jspui/bitstream/10923/1562/1/000404134-Texto%2BCompleto-0.pdf
http://meriva.pucrs.br:8080/jspui/bitstream/10923/1562/2/license.txt
http://meriva.pucrs.br:8080/jspui/bitstream/10923/1562/3/000404134-Texto%2BCompleto-0.pdf.txt
bitstream.checksum.fl_str_mv b8a0273e017edb542534fd86a3d269e2
3d470ad030ca6782c9f44a1fb7650ec0
9274ff29f3591b9e1b8050c5e1265c22
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
MD5
repository.name.fl_str_mv Repositório Institucional PUCRS - Pontifícia Universidade Católica do Rio Grande do Sul (PUCRS)
repository.mail.fl_str_mv
_version_ 1817559022087176192

Registros relacionados