Com o sucesso da Model Driven Architecture (MDA) e da Unified Modeling Language (UML), os modelos estão substituindo o código como o principal artefato de desenvolvimento de software. Em MDA, a transformação e composição de modelos são duas atividades essenciais. A transformação de modelos tem sido amplamente pesquisada e documentada, enquanto que a composição de modelos precisa de uma maior 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 capaz de compor estes profiles. Neste contexto, este trabalho apresenta uma proposta de mecanismo de composição de UML Profiles fundamentado em regras de transformação de modelos, regras de composição, estratégias de composição, regras de correspondências e composiçãp de modelos baseado na assinatura. Um modelo formal deste mecanismo será construído utilizando a linguagem de modelagem estrutural Alloy o que tornará possível realizar uma análise automática do modelo usando Alloy Analyser. Além disso, será construído uma ferramenta com o objetivo de validar este mecanismo.