09:45 Welcome Desk & Registration (09:45 - 10:30)
10:30
10:30 - 10:45 - Room Castelo VIII+IX Opening Session
10:45
10:45 - 12:15 - Room Castelo VIII+IX Panel
Chair: Luis Ferreira Pires
Panelists: Silvia Abrahão, Colin Atkinson and Philippe Desfray
12:15
12:15 - 13:15 - Room Castelo VIII+IX Keynote Lecture On Interaction in Data Mining Andreas Holzinger, Medical University Graz, Austria
13:15 Lunch (13:15 - 14:45)
14:45
14:45 - 16:45 - Room Castelo IV Parallel Session 1
  • 7: An Industrial Case Study on using Language Workbench Technology for Realizing Model-Driven Engineering Xi Zhu, Congchi Phung, Lars Pareto, Staffan Ehnebom, Mikael Krekola, Magnus Christerson and Mats Helander
  • 15: A Case Study of Combining Compositional and Object-oriented Software Development Enn Tyugu, Mait Harf and Pavel Grigorenko
  • 24: Analysis and Validation of AUTOSAR Models Julian Kienberger, Pascal Minnerup, Stefan Kuntz and Bernhard Bauer
  • 48: Architectural Specification and Analysis with XCD - The Aegis Combat System Case Study Mert Ozkaya and Christos Kloukinas
  • 76: Towards Co-evolution in Model-Driven Development Via Bidirectional Higher-Order Transformation Bernhard Hoisl, Zhenjiang Hu and Soichiro Hidaka
14:45 - 16:45 - Room Castelo V Parallel Session 1a
  • 36: Specifying Trace Directives for UML Attributes and State Machines Hamoud Aljamaan, Timothy C. Lethbridge , Omar Badreddin, Geoffrey Guest and Andrew Forward
  • 46: Typing and Subtyping of Metamodels Henning Berg and Birger Møller-pedersen
  • 39: A Language for Enabling Model-Driven Analysis of Business Processes Paolo Bocciarelli, Andrea D’Ambrogio and Emiliano Paglia
  • 53: Automated Composition of Sequence Diagrams via Alloy Mohammed Alwanain, Behzad Bordbar and Juliana K. F. Bowles
16:45 Coffee-Break (16:45 - 17:00)
17:00
17:00 - 18:30 - Room Castelo IV Parallel Session 2
  • 33: Collaborative Editing of EMF/Ecore Meta-models and Models - Conflict Detection, Reconciliation, and Merging in DiCoMEF Amanuel Koshima and Vincent Englebert
  • 38: What are the used Activity Diagram Constructs? - A Survey Gianna Reggio, Maurizio Leotta, Filippo Ricca and Diego Clerissi
  • 31: A Bottom Up SPL Design Method Jihen Maâzoun, Nadia Bouassida and Hanêne Ben-abdallah
17:00 - 18:30 - Room Castelo V Parallel Session 2a
  • 41: Modeling of Tool Integration Resources with OSLC Support Weiqing Zhang and Birger Møller-pedersen
  • 90: An Aspect-Oriented Model Transformation to Weave Security using CVL Jose-Miguel Horcas, Mónica Pinto and Lidia Fuentes
  • 84: Runtime Assertion Checking and Theorem Proving for Concurrent and Distributed Systems Crystal Chang Din, Olaf Owe and Richard Bubel
  • 85: Extending UML Testing Profile Towards Non-functional Test Modeling Federico Toledo Rodríguez, Francesca Lonetti, Antonia Bertolino, Macario Polo Usaola and Beatriz Pérez Lamancha
18:30 Welcome Drink (18:30 - 19:00)