You are here: Home / Teaching (disciplinas) / CI092 / 2014/1 Técnicas em Modelagem de Aplicações

2014/1 Técnicas em Modelagem de Aplicações

by Marcos Didonet Del Fabro last modified May 27, 2014 05:51 PM History

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

 


  • Trabalho: data de entrega alterada: 25.maio


 

  • 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

Exercícios

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

 

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

  1. Andreas Demuth, Roberto E. Lopez-Herrejon, Alexander Egyed: Constraint-Driven Modeling through Transformation. 248-263
  2. Sagar Sen, Jean-Marie Mottu, Massimo Tisi, Jordi Cabot: Using Models of Partial Knowledge to Test Model Transformations. 24-39
  3. Isao Sasano, Zhenjiang Hu, Soichiro Hidaka, Kazuhiro Inaba, Hiroyuki Kato, Keisuke Nakano: Toward Bidirectionalization of ATL with GRoundTram. 138-151
  4. Marius Lauder, Anthony Anjorin, Gergely Varró, Andy Schürr:  Bidirectional Model Transformation with Precedence Triple Graph Grammars. 287-302
  5. Clement Guy, Benoît Combemale, Steven Derrien, Jim Steel, Jean-Marc Jézéquel:  On Model Subtyping. 400-415
  6. Ábel Hegedüs, Ákos Horváth, István Ráth, Dániel Varró:  Query-Driven Soft Interconnection of EMF Models. 134-150
  7. Birgit Grammel, Stefan Kastenholz, Konrad Voigt: Model Matching for Trace Link Generation in Model-Driven Software Development. 609-625
  8. Friedrich Steimann: Constraint-Based Model Refactoring. 440-454
  9. Dennis Wagelaar, Massimo Tisi, Jordi Cabot, Frédéric Jouault: Towards a General Composition Semantics for Rule-Based Model Transformation. 623-637
  10. Esther Guerra, Juan de Lara, Dimitrios S. Kolovos, Richard F. Paige: Inter-modelling: From Theory to Practice. 376-391
  11. Friedrich Steimann: Constraint-Based Model Refactoring. 440-454
  12. Dennis Wagelaar, Massimo Tisi, Jordi Cabot, Frédéric Jouault: Towards a General Composition Semantics for Rule-Based Model Transformation. 623-637
  13. Esther Guerra, Juan de Lara, Dimitrios S. Kolovos, Richard F. Paige: Inter-modelling: From Theory to Practice. 376-391
  14. Zhiqiang Xu, Yiping Ke, Yi Wang, Hong Cheng, James Cheng: A model-based approach to attributed graph clustering.
  15. Tilmann Zäschke, Stefania Leone, Moira C. Norrie: Optimising Schema Evolution Operation Sequences in Object Databases for Data Evolution. 369-382
  16. David W. Embley, Stephen W. Liddle, Deryle W. Lonsdale, Yuri A. Tijerino: Multilingual Ontologies for Cross-Language Information Extraction and Semantic Search. 147-160
  17. Lucia Castro, Fernanda Araujo Baião, Giancarlo Guizzardi: A Semantic Oriented Method for Conceptual Data Modeling in OntoUML Based on Linguistic Concepts. 486-494
  18. Giancarlo Guizzardi: Ontological Foundations for Conceptual Part-Whole Relations: The Case of Collectives and Their Parts. 138-153
  19. Kehrer, Timo Kelter, U.; Taentzer, G. A rule-based approach to the semantic lifting of model differences in the context of model versioning
  20. Louis M. Rose, Esther Guerra, Juan de Lara, Anne Etien, Dimitris S. Kolovos, Richard F. Paige:  Genericity for model management operations. 201-219
  21. Marouane Kessentini, Houari A. Sahraoui, Mounir Boukadoum, Omar Ben Omar: Search-based model transformation by example. 209-226
  22. Gilles Perrouin, Gilles Vanwormhoudt, Brice Morin, Philippe Lahire, Olivier Barais, Jean-Marc Jézéquel:  Weaving variability into domain metamodels. 361-383
  23. Bernhard Rumpe, Robert B. France: Linking models and their storage artifacts. 281-282
  24. Mathias Kleiner, Marcos Didonet Del Fabro, Davi De Queiroz Santos: Transformation as Search. 54-69
  25. 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
  26. Anya Helene Bagge, Ralf Lämmel: Walk Your Tree Any Way You Want. 33-49
  27. Davide Di Ruscio, Ludovico Iovino, Alfonso Pierantonio: A Methodological Approach for the Coupled Evolution of Metamodels and ATL Transformations. 60-75
  28. Christian Krause, Johannes Dyck, Holger Giese: Metamodel-Specific Coupled Evolution Based on Dynamically Typed Graph Transformations. 76-91
  29. 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
  30. Gergely Varró, Frederik Deckwerth: A Rete Network Construction Algorithm for Incremental Pattern Matching. 125-140
  31. Olivier Finot, Jean-Marie Mottu, Gerson Sunyé, Christian Attiogbé: Partial Test Oracle in Model Transformation Testing. 189-204
  32. Sara Cohen: Indexing for subtree similarity-search using edit distance. 49-60
  33. Zhifeng Bao, Y. C. Tay, Jingbo Zhou: sonSchema: A Conceptual Schema for Social Networks. 197-211
  34. Giansalvatore Mecca, Guillem Rull, Donatello Santoro, Ernest Teniente: Semantic-Based Mappings. 255-269
  35. 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
  36. 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
  37. Derry Tanti Wijaya, Partha Pratim Talukdar, Tom M. Mitchell: PIDGIN: ontology alignment using web text as interlingua. 589-598
  38. 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
  39. Foto N. Afrati, Dimitris Fotakis, Jeffrey D. Ullman: Enumerating subgraph instances using map-reduce. 62-73
  40. Esther Guerra, Juan de Lara, Dimitrios S. Kolovos, Richard F. Paige, Osmar Marchi dos Santos: Engineering model transformations with transML. 555-577
  41. Vlad Rusu: Embedding domain-specific modelling languages in Maude specifications. 847-869
  42. Dolores Cuadra, Paloma Martínez, Elena Castro, Harith T. Al-Jumaily: Guidelines for representing complex cardinality constraints in binary and ternary relationships. 871-889