MODELSWARD 2014 - International Conference on Model-Driven Engineering and Software Development

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)

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)