Utilize este identificador para citar ou criar um atalho para este documento: http://hdl.handle.net/10923/1562
Tipo: masterThesis
Título: Composição de UML Profiles
Autor(es): Oliveira, Kleinner Silva Farias de
Orientador: Oliveira, Toacy Cavalcante de
Editora: Pontifícia Universidade Católica do Rio Grande do Sul
Programa: Programa de Pós-Graduação em Ciência da Computação
Data de Publicação: 2008
Palavras-chave: INFORMÁTICA
ENGENHARIA DE SOFTWARE
UML (INFORMATICA)
MODELAGEM DE SISTEMAS
Resumo: 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.
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.
URI: http://hdl.handle.net/10923/1562
Aparece nas Coleções:Dissertação e Tese

Arquivos neste item:
Arquivo Descrição TamanhoFormato 
000404134-Texto+Completo-0.pdfTexto Completo1,9 MBAdobe PDFAbrir
Exibir


Todos os itens no Repositório da PUCRS estão protegidos por copyright, com todos os direitos reservados, e estão licenciados com uma Licença Creative Commons - Atribuição-NãoComercial 4.0 Internacional. Saiba mais.