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:
- Páginas 9 a 18 de: João Paulo Andrade Almeida, Model-Driven Design of Distributed Applications. Ph.D. Thesis in Computer Science, CTIT Ph.D.-Thesis Series, No. 06-85, Telematica Instituut Fundamental Research Series, No. 018 (TI/FRS/018), Enschede, The Netherlands, 2006,ISBN 90-75176-422.
- Pastor, O. and Molina, J.C., Model-Driven Architecture in Practice, A Software Production Environment Based on Conceptual Modeling, Springer, 2007.
- Harel, D. and Rumpe, B. 2000 Modeling Languages: Syntax, Semantics and all that Stuff, Part I: the Basic Stuff. Technical Report. UMI Order Number: MCS00-16., Weizmann Science Press of Israel.
- Colin Atkinson, Thomas Kühne: Aspect-Oriented Development with Stratified Frameworks. 81-89.
- Vissers, C.A. and van Sinderen, M.J. and Ferreira Pires, L. (1993) What makes industries believe in formal methods. In: Protocol Specification, Testing and Verification XIII, Proceedings of the IFIP TC6/WG6.1 Thirteenth International Symposium on Protocol Specification, Testing and Verification, PSTV XIII, 25-28 May 1993, Liege, Belgium. pp. 3-26. IFIP Transactions C-16. North-Holland, ISBN 0-444-81648-8.
- João Paulo A. Almeida, Maria-Eugenia Iacob and Pascal van Eck, Requirements Traceability in Model-Driven Development: Applying Model and Transformation Conformance, Information Systems Frontiers, Springer, 2007, ISSN 1387-3326 (print) 1572-9419 (online).
- John F. Sowa, J.A. Zachman, 1992. Extending and formalizing the framework for information systems architecture. IBM Syst. J. 31, 3 (Jun. 1992), 590-616.
- M. Lankhorst et al, Enterprise Architecture at Work, Springer, 2006.
- Eclipse modeling framework. Available from http://www.eclipse.org/modeling/emf
- Tony Clark, Paul Sammut, Applied Metamodelling, http://www.ceteva.com/index-technologies.html
| Attachment | Size |
|---|---|
| jpalmeida-mdd-2011-01-trabalho1.pdf | 85.04 KB |