Ver registro no DEDALUS
Exportar registro bibliográfico

Uma proposta de formalismo como arcabouço teórico para engenharia dirigida por modelos e aplicações (2016)

  • Authors:
  • USP affiliated authors: CANOVAS, SERGIO ROBERTO DE MELLO - EP
  • USP Schools: EP
  • Sigla do Departamento: PCS
  • Subjects: ENGENHARIA DE SOFTWARE; DESENVOLVIMENTO DE SOFTWARE
  • Language: Português
  • Abstract: Engenharia Dirigida por Modelos, ou Model Driven Engineering (MDE), é uma abordagem para desenvolvimento de software a partir de modelos. Código-fonte ou artefatos executáveis são gerados de forma automática, total ou parcialmente, a partir de transformações descritas por funções de mapeamento. Com isso, obtém-se as vantagens de desenvolver software em nível de abstração maior em relação às linguagens de programação tradicionais e da possibilidade de gerar implementações do mesmo sistema para diversas plataformas a partir do mesmo modelo. Uma das áreas de pesquisa da MDE é a formalização de teorias e conceitos relacionados a essa abordagem, tais como modelos, metamodelos, relação de conformidade, operações sobre metamodelos, etc. Embora existam na literatura propostas de formalização, observam-se lacunas e falta de consenso geral, o que leva autores a introduzir suas próprias definições quando desejam apresentar desenvolvimentos ou deduções, as quais nem sempre se encaixam entre si. Alguns autores consideram que, enquanto uma completa formalização de conceitos e relações da MDE não for estabelecida, seus potenciais podem não ser plenamente atingidos. A partir de estudos de proposições existentes na literatura, identificação de lacunas e necessidades, este trabalho apresenta uma proposta de arcabouço teórico para MDE, baseada nas teorias de conjuntos e linguagens, e em lógica de primeira ordem. Conceitos e operações relacionados à MDE são definidos sobre uma base comum e, a partir dela, algumas formulações originais são desenvolvidas, tais como a função de mesclagem de metamodelos e uma definição de modelos executáveis, que podem servir como base para a construção de motores de execução de modelos, consolidando e ampliando o conhecimento da área teórica da MDE.Do ponto de vista de aplicabilidade prática, a proposta é validada por meio de uma ferramenta de prova de conceito, criada também como parte desta pesquisa, e pela apresentação de exemplos de aplicações.
  • Imprenta:
  • Data da defesa: 02.09.2016
  • Acesso online ao documento

    Online access or search this record in

    Exemplares físicos disponíveis nas Bibliotecas da USP
    BibliotecaCód. de barrasNúm. de chamada
    EPBC31200041371FT-3682 versão corr.
    How to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      CANOVAS, Sergio Roberto de Mello; CUGNASCA, Carlos Eduardo. Uma proposta de formalismo como arcabouço teórico para engenharia dirigida por modelos e aplicações. 2016.Universidade de São Paulo, São Paulo, 2016. Disponível em: < http://www.teses.usp.br/teses/disponiveis/3/3141/tde-15122016-083328/pt-br.php >.
    • APA

      Canovas, S. R. de M., & Cugnasca, C. E. (2016). Uma proposta de formalismo como arcabouço teórico para engenharia dirigida por modelos e aplicações. Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/3/3141/tde-15122016-083328/pt-br.php
    • NLM

      Canovas SR de M, Cugnasca CE. Uma proposta de formalismo como arcabouço teórico para engenharia dirigida por modelos e aplicações [Internet]. 2016 ;Available from: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-15122016-083328/pt-br.php
    • Vancouver

      Canovas SR de M, Cugnasca CE. Uma proposta de formalismo como arcabouço teórico para engenharia dirigida por modelos e aplicações [Internet]. 2016 ;Available from: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-15122016-083328/pt-br.php

    Últimas obras dos mesmos autores vinculados com a USP cadastradas na BDPI: