@MASTERSTHESIS{ 2008:969788450, title = {Composi??o de UML Profiles}, year = {2008}, url = "http://tede2.pucrs.br/tede2/handle/tede/5023", abstract = "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.", publisher = {Pontif?cia Universidade Cat?lica do Rio Grande do Sul}, scholl = {Programa de P?s-Gradua??o em Ci?ncia da Computa??o}, note = {Faculdade de Inform?ca} }