2014/1 Técnicas em Modelagem de Aplicações
CI765 : Técnicas em Modelagem de Aplicações - pós graduação
CI092 : Tópicos Especiais II- graduação - disciplina optativa
Primeiro Semestre de 2014
Página com informações gerais da disciplina: ementa, datas das provas, bibliografia, exercícios, etc.
Avisos
- As notas da prova 1, trabalho e apresentações estão disponíveis aqui.
- Trabalho: data de entrega alterada: 25.maio
- As notas da prova 1 estão disponíveis aqui.
- A especificação do trabalho está disponível neste link.
- Datas das apresentações disponiveis neste link.
- Dia 11/02/2014 - primeira aula do semestre
Resumo do conteúdo
- Introdução à modelagem
- Representação de modelos usando sintaxes concretas
- Operações entre modelos : transformações
Horário
- Segundas: 17:30h - sala EQ14
- Quintas: 17:30h - sala EQ14
Datas (provisórias)
- Apresentações : calendário em link acima
- Prova 1 : 01.abril.2014
- Trabalho: 20.maio.2014 (nova data: 25.maio)
- Final : 15.julho.2014
- Segunda chamada (alunos ausentes): 15.julho.2014 (vale a nota da final)
Material
-
Metamodelagem
- Criação de metamodelos Ecore
- Criando sua própria linguagem Apenas as duas primeiras seções do capítulo 2 (tutorial oficial do XText) Transformação
- Tutorial - criando uma transformação de modelo simples
- Codigo UML2Java
- Transformação UML 2 Java
- Transformação Class 2 Relational
- Guia introdutório a ATL
- Exemplos básicos de ATL
- Repositório de transformações
- Link sobre modelagem NoSQL
Outros links:
- Metametamodelo Ecore Os sequintes plug-ins devem ser instalados para usar as ferramentas de linguagens e transformação:
- ATL - menu Install Modeling Components
- XText - menu Install Modeling Components
- XPand - menu Install Modeling Components
- XText - menu Install Modeling Components
- EMFatic (http://wiki.eclipse.org/Emfatic)- usar o Update site : http://scharf.gr/eclipse/emfatic/update/
- Eclipse bundle para modelagem (site oficial do Eclipse)
Avaliação
- Uma prova, um trabalho e um seminário (ver datas acima).
- Cálculo da Média Parcial: (trabalho*0,3 + prova*0,4 * seminário * 0,3)
- Cálculo da média final:
- igual à média parcial, se esta é igual ou superior a 7.0 ou inferior a 4.0,
- média aritmética entre a média parcial e a nota no exame final, caso contrário.
- Será aprovado o aluno que apresentar freqüência mínima igual ou superior a 75% das aulas e obtiver média final igual ou superior a 5.0.
Bibliografia
-
Model-Driven Software Engineering in Practice by Marco Brambilla, Jordi Cabot, Manuel Wimmer Morgan & Claypool, 2012, 182 pages
- Slides do livro: https://www.sites.google.com/site/mdsebook/slides
- Open Model CourseWare (OMCW) Home page : http://www.eclipse.org/gmt/omcw/
- Model Driven Architecture and Ontology Development [recurso eletrônico] / by Dragan Gazevic, Dragan Djuric, Vladan Devedjichttp://www.springerlink.com/content/txn610/#section=464312&page=8&locus=94
- Eclipse Modeling Project
- Marcos Didonet Del Fabro. Metadata management using model weaving and model transformations. University of Nantes, September 2007. http://hal.archives-ouvertes.fr/docs/00/48/15/20/PDF/These-didonet_final.pdf
- Jouault, F. Contribution à l'étude des langages de transformation de modèles. Ph.D. thesis, Université de Nantes. 2006 http://scdnantesweb.bu.univ-nantes.fr/ipac20/ipac.jsp?uri=full=3100001~!487541~!1
- Model-Driven Architecture: Vision, Standards And Emerging Technologies
- On the Unification Power of Models.
- Making model-based code generation work
- MDA Explained: The Model Driven Architecture(TM): Practice and Promise. Anneke Kleppe (Author), Jos Warmer (Author), Wim Bast (Author)
- OMG MDA : http://www.omg.org/mda/
Artigos
O link com a lista dos artigos e sua respectiva atribuição está abaixo. Os alunos devem preencher seguindo as instruções da planilha.
https://docs.google.com/spreadsheet/ccc?key=0ApJVUdXiNY6BdE44bGloamdaTS1mb3hCQ0RXaVlnQ1E&usp=sharing
- Andreas Demuth, Roberto E. Lopez-Herrejon, Alexander Egyed: Constraint-Driven Modeling through Transformation. 248-263
- Sagar Sen, Jean-Marie Mottu, Massimo Tisi, Jordi Cabot: Using Models of Partial Knowledge to Test Model Transformations. 24-39
- Isao Sasano, Zhenjiang Hu, Soichiro Hidaka, Kazuhiro Inaba, Hiroyuki Kato, Keisuke Nakano: Toward Bidirectionalization of ATL with GRoundTram. 138-151
- Marius Lauder, Anthony Anjorin, Gergely Varró, Andy Schürr: Bidirectional Model Transformation with Precedence Triple Graph Grammars. 287-302
- Clement Guy, Benoît Combemale, Steven Derrien, Jim Steel, Jean-Marc Jézéquel: On Model Subtyping. 400-415
- Ábel Hegedüs, Ákos Horváth, István Ráth, Dániel Varró: Query-Driven Soft Interconnection of EMF Models. 134-150
- Birgit Grammel, Stefan Kastenholz, Konrad Voigt: Model Matching for Trace Link Generation in Model-Driven Software Development. 609-625
- Friedrich Steimann: Constraint-Based Model Refactoring. 440-454
- Dennis Wagelaar, Massimo Tisi, Jordi Cabot, Frédéric Jouault: Towards a General Composition Semantics for Rule-Based Model Transformation. 623-637
- Esther Guerra, Juan de Lara, Dimitrios S. Kolovos, Richard F. Paige: Inter-modelling: From Theory to Practice. 376-391
- Friedrich Steimann: Constraint-Based Model Refactoring. 440-454
- Dennis Wagelaar, Massimo Tisi, Jordi Cabot, Frédéric Jouault: Towards a General Composition Semantics for Rule-Based Model Transformation. 623-637
- Esther Guerra, Juan de Lara, Dimitrios S. Kolovos, Richard F. Paige: Inter-modelling: From Theory to Practice. 376-391
- Zhiqiang Xu, Yiping Ke, Yi Wang, Hong Cheng, James Cheng: A model-based approach to attributed graph clustering.
- Tilmann Zäschke, Stefania Leone, Moira C. Norrie: Optimising Schema Evolution Operation Sequences in Object Databases for Data Evolution. 369-382
- David W. Embley, Stephen W. Liddle, Deryle W. Lonsdale, Yuri A. Tijerino: Multilingual Ontologies for Cross-Language Information Extraction and Semantic Search. 147-160
- Lucia Castro, Fernanda Araujo Baião, Giancarlo Guizzardi: A Semantic Oriented Method for Conceptual Data Modeling in OntoUML Based on Linguistic Concepts. 486-494
- Giancarlo Guizzardi: Ontological Foundations for Conceptual Part-Whole Relations: The Case of Collectives and Their Parts. 138-153
- Kehrer, Timo Kelter, U.; Taentzer, G. A rule-based approach to the semantic lifting of model differences in the context of model versioning
- Louis M. Rose, Esther Guerra, Juan de Lara, Anne Etien, Dimitris S. Kolovos, Richard F. Paige: Genericity for model management operations. 201-219
- Marouane Kessentini, Houari A. Sahraoui, Mounir Boukadoum, Omar Ben Omar: Search-based model transformation by example. 209-226
- Gilles Perrouin, Gilles Vanwormhoudt, Brice Morin, Philippe Lahire, Olivier Barais, Jean-Marc Jézéquel: Weaving variability into domain metamodels. 361-383
- Bernhard Rumpe, Robert B. France: Linking models and their storage artifacts. 281-282
- Mathias Kleiner, Marcos Didonet Del Fabro, Davi De Queiroz Santos: Transformation as Search. 54-69
- A repository for scalable model management. Javier Espinazo Pagán, Jesús Sánchez Cuadrado and Jesús García Molina. Software and Systems Modeling, 2013
- Anya Helene Bagge, Ralf Lämmel: Walk Your Tree Any Way You Want. 33-49
- Davide Di Ruscio, Ludovico Iovino, Alfonso Pierantonio: A Methodological Approach for the Coupled Evolution of Metamodels and ATL Transformations. 60-75
- Christian Krause, Johannes Dyck, Holger Giese: Metamodel-Specific Coupled Evolution Based on Dynamically Typed Graph Transformations. 76-91
- Max E. Kramer, Jacques Klein, Jim R. H. Steel, Brice Morin, Jörg Kienzle, Olivier Barais, Jean-Marc Jézéquel: Achieving Practical Genericity in Model Weaving through Extensibility. 108-124
- Gergely Varró, Frederik Deckwerth: A Rete Network Construction Algorithm for Incremental Pattern Matching. 125-140
- Olivier Finot, Jean-Marie Mottu, Gerson Sunyé, Christian Attiogbé: Partial Test Oracle in Model Transformation Testing. 189-204
- Sara Cohen: Indexing for subtree similarity-search using edit distance. 49-60
- Zhifeng Bao, Y. C. Tay, Jingbo Zhou: sonSchema: A Conceptual Schema for Social Networks. 197-211
- Giansalvatore Mecca, Guillem Rull, Donatello Santoro, Ernest Teniente: Semantic-Based Mappings. 255-269
- Giancarlo Guizzardi, Gerd Wagner, Ricardo de Almeida Falbo, Renata S. S. Guizzardi, João Paulo A. Almeida: Towards Ontological Foundations for the Conceptual Modeling of Events. 327-341
- Jan P. Finis, Martin Raiber, Nikolaus Augsten, Robert Brunel, Alfons Kemper, Franz Färber: RWS-Diff: flexible and efficient change detection in hierarchical data. 339-348
- Derry Tanti Wijaya, Partha Pratim Talukdar, Tom M. Mitchell: PIDGIN: ontology alignment using web text as interlingua. 589-598
- Júlio Cesar dos Reis, Duy Dinh, Cédric Pruski, Marcos Da Silveira, Chantal Reynaud-Delaître: Mapping adaptation actions for the automatic reconciliation of dynamic ontologies. 599-608
- Foto N. Afrati, Dimitris Fotakis, Jeffrey D. Ullman: Enumerating subgraph instances using map-reduce. 62-73
- Esther Guerra, Juan de Lara, Dimitrios S. Kolovos, Richard F. Paige, Osmar Marchi dos Santos: Engineering model transformations with transML. 555-577
- Vlad Rusu: Embedding domain-specific modelling languages in Maude specifications. 847-869
- Dolores Cuadra, Paloma Martínez, Elena Castro, Harith T. Al-Jumaily: Guidelines for representing complex cardinality constraints in binary and ternary relationships. 871-889