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

Técnicas em Modelagem de Aplicações

by Marcos Didonet Del Fabro last modified Aug 06, 2013 06:32 PM History

CI765 : Técnicas em Modelagem de Aplicações - pós graduação

CI092 : Tópicos Especiais II- graduação - disciplina optativa - turma A2

Primeiro Semestre de 2013

Página com informações gerais da disciplina: ementa, datas das provas, bibliografia, exercícios, etc.

Avisos

 

  • 06.08 - O resultado final da disciplina está disponível aqui (notas prova, trabalho e apresentações).

 

  • Dia 11/julho - não haverá aula, devido as dificuldades no uso dos transportes.

 

  • As notas da prova 1 estão disponíveis aqui.

 

  • A especificação do trabalho está disponível aqui. Data de entrega: 25.jul.2013.

 

  • A atribuição dos artigos e a ordem das apresentações está disponível aqui. A data definitiva estará disponível na próxima semana (caso haja ajustes de matrícula).

 

  • Dia 30/04/2013 - não haverá aula
  • Dia 16/04/2013 - 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 PC03
  • Quintas: 17:30h - sala PC03

Datas

  • Apresentações : calendário a definir
  • Prova 1 : 04.junho.2013
  • Trabalho: 25.julho.2013
  • Final : 06.agosto.2013
  • Segunda chamada (alunos ausentes): 06.agosto.2013 (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

  1. Andreas Demuth, Roberto E. Lopez-Herrejon, Alexander Egyed: Constraint-Driven Modeling through Transformation. 248-263
  2. Hugo Pacheco, Alcino Cunha: Multifocal: A Strategic Bidirectional Transformation Language for XML Schemas. 89-104 http://www.di.uminho.pt/~hpacheco/publications/icmt12strategic.pdf
  3. Sagar Sen, Jean-Marie Mottu, Massimo Tisi, Jordi Cabot: Using Models of Partial Knowledge to Test Model Transformations. 24-39
  4. Jesús Sánchez Cuadrado, Esther Guerra, Juan de Lara: Generic Model Transformations: Write Once, Reuse Everywhere. 62-77
  5. Isao Sasano, Zhenjiang Hu, Soichiro Hidaka, Kazuhiro Inaba, Hiroyuki Kato, Keisuke Nakano: Toward Bidirectionalization of ATL with GRoundTram. 138-151
  6. Juan de Lara, Esther Guerra: Domain-Specific Textual Meta-Modelling Languages for Model Driven Engineering. 259-274
  7. Marius Lauder, Anthony Anjorin, Gergely Varró, Andy Schürr:  Bidirectional Model Transformation with Precedence Triple Graph Grammars. 287-302
  8. Ning Ge, Marc Pantel: Time Properties Verification Framework for UML-MARTE Safety Critical Real-Time Systems.
  9. Clement Guy, Benoît Combemale, Steven Derrien, Jim Steel, Jean-Marc Jézéquel:  On Model Subtyping. 400-415
  10. Jesús Sánchez Cuadrado, Juan de Lara, Esther Guerra:  Bottom-Up Meta-Modelling: An Interactive Approach. 3-19
  11. François Fouquet, Grégory Nain, Brice Morin, Erwan Daubert, Olivier Barais, Noël Plouzeau, Jean-Marc Jézéquel:  An Eclipse Modelling Framework Alternative to Meet the Models@Runtime Requirements. 87-101
  12. Markus Scheidgen, Anatolij Zubow, Joachim Fischer, Thomas H. Kolbe: Automated and Transparent Model Fragmentation for Persisting Large Models. 102-118
  13. Ábel Hegedüs, Ákos Horváth, István Ráth, Dániel Varró:  Query-Driven Soft Interconnection of EMF Models. 134-150
  14. Razieh Behjati, Tao Yue, Lionel C. Briand: A Modeling Approach to Support the Similarity-Based Reuse of Configuration Data. 497-513
  15. Birgit Grammel, Stefan Kastenholz, Konrad Voigt: Model Matching for Trace Link Generation in Model-Driven Software Development. 609-625
  16. Friedrich Steimann: Constraint-Based Model Refactoring. 440-454
  17. Dennis Wagelaar, Massimo Tisi, Jordi Cabot, Frédéric Jouault: Towards a General Composition Semantics for Rule-Based Model Transformation. 623-637
  18. Esther Guerra, Juan de Lara, Dimitrios S. Kolovos, Richard F. Paige: Inter-modelling: From Theory to Practice. 376-391
  19. Friedrich Steimann: Constraint-Based Model Refactoring. 440-454
  20. Dennis Wagelaar, Massimo Tisi, Jordi Cabot, Frédéric Jouault: Towards a General Composition Semantics for Rule-Based Model Transformation. 623-637
  21. Esther Guerra, Juan de Lara, Dimitrios S. Kolovos, Richard F. Paige: Inter-modelling: From Theory to Practice. 376-391
  22. Jingren Zhou, Nicolas Bruno, Wei Lin: Advanced partitioning techniques for massively distributed computation.
  23. Li Qian, Michael J. Cafarella, H. V. Jagadish: Sample-driven schema mapping.
  24. Zhiqiang Xu, Yiping Ke, Yi Wang, Hong Cheng, James Cheng: A model-based approach to attributed graph clustering.
  25. Shengqi Yang, Xifeng Yan, Bo Zong, Arijit Khan: Towards effective partition management for large graphs.
  26. Tilmann Zäschke, Stefania Leone, Moira C. Norrie: Optimising Schema Evolution Operation Sequences in Object Databases for Data Evolution. 369-382
  27. Tomer Sagi, Avigdor Gal: Non-binary Evaluation for Schema Matching. 477-486
  28. David W. Embley, Stephen W. Liddle, Deryle W. Lonsdale, Yuri A. Tijerino: Multilingual Ontologies for Cross-Language Information Extraction and Semantic Search. 147-160
  29. Lucia Castro, Fernanda Araujo Baião, Giancarlo Guizzardi: A Semantic Oriented Method for Conceptual Data Modeling in OntoUML Based on Linguistic Concepts. 486-494
  30. Bogdan Alexe, Balder ten Cate, Phokion G. Kolaitis, Wang Chiew Tan: Designing and refining schema mappings via data examples. 133-144
  31. Thanh Hoang Nguyen, Viviane Moreira, Huong Nguyen, Hoa Nguyen, Juliana Freire: Multilingual Schema Matching for Wikipedia Infoboxes. 133-144
  32. Nilesh N. Dalvi, Ashwin Machanavajjhala, Bo Pang: An Analysis of Structured Data on the Web. 680-691
  33. Xiufeng Liu, Christian Thomsen, Torben Bach Pedersen: MapReduce-based Dimensional ETL Made Easy. 1882-1885
  34. Juan de Lara, Esther Guerra, Jesús Sánchez Cuadrado: Abstracting Modelling Languages: A Reutilization Approach. 127-143
  35. Paolo Atzeni, Francesca Bugiotti, Luca Rossi: Uniform Access to Non-relational Database Systems: The SOS Platform.
  36. Giancarlo Guizzardi: Ontological Foundations for Conceptual Part-Whole Relations: The Case of Collectives and Their Parts. 138-153
  37. Kehrer, Timo Kelter, U.; Taentzer, G. A rule-based approach to the semantic lifting of model differences in the context of model versioning
  38. Oscar Díaz, Gorka Puente, Javier Luis Cánovas Izquierdo, Jesús García Molina: Harvesting models from web 2.0 databases. 15-34
  39. Louis M. Rose, Esther Guerra, Juan de Lara, Anne Etien, Dimitris S. Kolovos, Richard F. Paige:  Genericity for model management operations. 201-219
  40. Marouane Kessentini, Houari A. Sahraoui, Mounir Boukadoum, Omar Ben Omar: Search-based model transformation by example. 209-226
  41. Gilles Perrouin, Gilles Vanwormhoudt, Brice Morin, Philippe Lahire, Olivier Barais, Jean-Marc Jézéquel:  Weaving variability into domain metamodels. 361-383
  42. Bernhard Rumpe, Robert B. France: Linking models and their storage artifacts. 281-282