Atenção:
O eduCAPES é um repositório de objetos educacionais, não sendo responsável por materiais de terceiros submetidos na plataforma. O usuário assume ampla e total responsabilidade quanto à originalidade, à titularidade e ao conteúdo, citações de obras consultadas, referências e outros elementos que fazem parte do material que deseja submeter. Recomendamos que se reporte diretamente ao(s) autor(es), indicando qual parte do material foi considerada imprópria (cite página e parágrafo) e justificando sua denúncia.
Caso seja o autor original de algum material publicado indevidamente ou sem autorização, será necessário que se identifique informando nome completo, CPF e data de nascimento. Caso possua uma decisão judicial para retirada do material, solicitamos que informe o link de acesso ao documento, bem como quaisquer dados necessários ao acesso, no campo abaixo.
Todas as denúncias são sigilosas e sua identidade será preservada. Os campos nome e e-mail são de preenchimento opcional. Porém, ao deixar de informar seu e-mail, um possível retorno será inviabilizado e/ou sua denúncia poderá ser desconsiderada no caso de necessitar de informações complementares.
Metadados | Descrição | Idioma |
---|---|---|
Autor(es): dc.contributor | Fabro, Marcos Didonet del | - |
Autor(es): dc.contributor | Universidade Federal do Paraná. Setor de Ciências Exatas. Programa de Pós-Graduação em Informática | - |
Autor(es): dc.creator | Santos, David Azevedo de Queiroz | - |
Data de aceite: dc.date.accessioned | 2019-08-22T00:06:20Z | - |
Data de disponibilização: dc.date.available | 2019-08-22T00:06:20Z | - |
Data de envio: dc.date.issued | 2014-09-01 | - |
Data de envio: dc.date.issued | 2014-09-01 | - |
Data de envio: dc.date.issued | 2014 | - |
Fonte completa do material: dc.identifier | http://hdl.handle.net/1884/35844 | - |
Fonte: dc.identifier.uri | http://educapes.capes.gov.br/handle/1884/35844 | - |
Descrição: dc.description | Resumo: 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. | - |
Formato: dc.format | application/pdf | - |
Formato: dc.format | application/pdf | - |
Palavras-chave: dc.subject | Dissertações | - |
Palavras-chave: dc.subject | Teses | - |
Palavras-chave: dc.subject | Engenharia de software | - |
Palavras-chave: dc.subject | Projeto de sistemas | - |
Palavras-chave: dc.subject | Simulação (Computadores) | - |
Título: dc.title | Transformação de modelos independente de metamodelos usando reflexão | - |
Tipo de arquivo: dc.type | livro digital | - |
Aparece nas coleções: | Repositório Institucional - Rede Paraná Acervo |
O Portal eduCAPES é oferecido ao usuário, condicionado à aceitação dos termos, condições e avisos contidos aqui e sem modificações. A CAPES poderá modificar o conteúdo ou formato deste site ou acabar com a sua operação ou suas ferramentas a seu critério único e sem aviso prévio. Ao acessar este portal, você, usuário pessoa física ou jurídica, se declara compreender e aceitar as condições aqui estabelecidas, da seguinte forma: