You are here

Desenvolvimento Orientado a Modelos 2011/01

Página da disciplina de Desenvolvimento Orientado a Modelos oferecida pelo Mestrado em Informática da Universidade Federal do Espírito Santo (UFES) no primeiro semestre de 2011.

Professor: João Paulo Andrade Almeida (jpalmeida "arroba" inf "ponto" ufes "ponto" br)
Carga horária semestral total: 45 horas
Horário: sextas-feiras 9:00-12:00
Local: CT-VII aquário
 

Comunicados:

Objetivos Gerais:

Apresentar os conceitos básicos, aplicações e pesquisa na área de Desenvolvimento Orientado a Modelos (Model-Driven Design). Serão abordadas diversas linguagens de modelagem e vários domínios e aspectos de modelagem.

 

Metodologia:

Aulas expositivas, discussões e seminários.
 

Programa da Disciplina:

  • Introdução
  • Conceituação: fundamentos, abstração, modelos, sintaxe (concreta e abstrata), semântica (formal e arquitetural)
  • Separation of Concerns: modelos, modularização, viewpoints, níveis de modelos, aspectos
  • Rastreabilidade de modelos / relações entre requisitos e modelos
  • Modelagem de Comportamento
  • Modelagem de Organizações e Processos de Negócio
  • Modelagem de Aplicações Distribuídas
  • Metamodelagem (MOF/EMF) e gerência de modelos
  • Modelagem Específica de Domínio (Domain-Specific Modelling)
  • Padrões OMG: UML, OCL, MOF (e alternativas)
  • Transformações e sincronização de modelos
  • Teste orientado a modelos (Model-Driven Testing)
  • Qualidade de linguagens gráficas e modelos gráficos
 

Calendário de Aulas:

  • Primeira Aula -  Introdução [slides]
  • Discussão das seções “How this book is organized” e “The purpose of this work” do livro “Model-Driven Architecture in Practice”
  • Apresentação de exemplo de desenvolvimento orientado a modelos [slides]
  • Sintaxe Concreta, Sintaxe Abstrata e Metamodelagem (com leitura do texto Modeling Languages: Syntax, Semantics and all that Stuff, Part I: the Basic Stuff). 
  • Metamodelagem com UML/MOF/EMF [slides], Metametamodelagem, Comparação com BNF
  • Frameworks de Arquitetura, Domínios de Modelagem, Perspectivas, Aspectos, Viewpoints, Views, etc. [slides]
  • Modelagem Conceitual (e a relação com metamodelagem) [slides]
  • Modelagem de Comportamento (introdução e ISDL) [slides]
  • Discussão baseada em "A Survey of Structured and Object-Oriented Software Specification Methods and Techniques" de Roel Wieringa, ACM Computing Surveys 30, 4 (Dec. 1998), 459-527) [slides]
  • Modelagem de Comportamento (com base em "A Survey of Structured and Object-Oriented Software Specification Methods and Techniques" de Roel Wieringa, ACM Computing Surveys 30, 4 (Dec. 1998), 459-527) e Redes de Petri [slides]
  • Enterprise Architecture e Modelagem de Processos de Negócio
  • Rastreabilidade de Requisitos em modelos e Qualidade de Transformações
  • Transformações
  • Qualidade de linguagens gráficas/visuais e modelos
  • Verificação, validação, modelchecking e Discussão do texto What makes industry believe in formal methods?
 

Material bibliográfico:

 

AttachmentSize
jpalmeida-mdd-2011-01-trabalho1.pdf85.04 KB