Show simple item record

dc.contributor.authorSantos, David Azevedo de Queirozpt_BR
dc.contributor.otherFabro, Marcos Didonet delpt_BR
dc.contributor.otherUniversidade Federal do Paraná. Setor de Ciências Exatas. Programa de Pós-Graduação em Informáticapt_BR
dc.date.accessioned2014-09-01T18:24:13Z
dc.date.available2014-09-01T18:24:13Z
dc.date.issued2014pt_BR
dc.identifier.urihttp://hdl.handle.net/1884/35844
dc.description.abstractResumo: A integração de técnicas de programação por restrições em plataformas de engenharia dirigida por modelos (MDE) tem como objetivo principal usar resolvedores de programação por restrições para execução de operações sobre modelos. As operações são chamadas operações de busca, pois buscam instâncias válidas de modelos baseada em um conjunto de restrições. Entretanto, as plataformas MDE existentes possuem formatos incompatíveis com os formatos das soluções dos resolvedores atuais. Por isso é necessário desenvolver mecanismos de interoperabilidade. Existem diferentes abordagens para automatizar esta integraçao, normalmente baseada na execução de uma cadeia de transformações, sendo uma das mais conhecidas chamada "modelagem como busca”. Esta abordagem especifica quais operações são necessárias para, a partir de um modelo e metamodelo de entrada, produzir uma especificação no formato do resolvedor, e como transformar o resultado produzido por um resolvedor em um modelo e metamodelo. Entretanto, esta e as demais abordagens são baseadas em transformações de modelo que são implementadas sobre os elementos de metamodelos. Com isso, para cada metamodelo de saída, é necessário implementar uma transformação do formato do resolvedor para um modelo conforme a este metamodelo, tornando a abordagem inviável. Este trabalho propõe um conjunto de transformações para automatizar a cadeia de operações da abordagem de modelagem como busca. Dentre as diferentes transformações, damos destaque a transformação do modelo do formato do resolvedor para o metamodelo de saída. Esta transformação ser´a desenvolvida sem conhecimento prévio dos elementos do metamodelo, estes serão interpretados durante a execução, sendo assim chamada de ”transformação independente de metamodelos”. Apresentaremos a formalização da cadeia de operações, e esta ser´a implementada em dois casos de uso, mostrando sua factibilidade.pt_BR
dc.format.mimetypeapplication/pdfpt_BR
dc.languagePortuguêspt_BR
dc.subjectDissertaçõespt_BR
dc.subjectTesespt_BR
dc.subjectEngenharia de softwarept_BR
dc.subjectProjeto de sistemaspt_BR
dc.subjectSimulação (Computadores)pt_BR
dc.titleTransformação de modelos independente de metamodelos usando reflexãopt_BR
dc.typeDissertaçãopt_BR


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record