Satellite Events |
Conference Programme |
Panel |
Sunday, 16/10 | ||||
am | W1 VARY |
W2 MPM |
T1 Generating Systems from UML |
T3 Theory and Practice... |
pm | W1 VARY |
W2 MPM |
T2 SysML vs. UML2: A Detailed... |
T3 Theory and Practice... |
Monday, 17/10 | |||||
am | W3 EESSMod |
W4 |
W5 MoDeVVa |
T4 Applying Model Driven... |
DS Doctoral Symposium |
pm | W3 EESSMod |
W4 |
W5 MoDeVVa |
T5 Formal Modeling with FORMULA... |
DS Doctoral Symposium |
Tuesday, 18/10 | |||||
am | W6 CMA |
W7 ME |
W8 ACES MB |
T6 Formal Visual Modelling |
ES Educators' Symposium |
pm | W6 CMA |
W7 ME |
W8 ACES MB |
T7 Mathematics and Metamodelling |
ES Educators' Symposium |
Wednesday, 19/10 | ||
S1.a Model Transformations Chair: Zinovy Diskin |
S1.b Model Complexity Chair: Ivan Porres |
S1.c Aspect Oriented Modelling Chair: Gunter Mussbacher |
Mauro Luigi Drago, Carlo Ghezzi, Raffaela Mirandola: Towards Quality Driven Exploration of Model Transformation Spaces (FT) | Joanna Chimiak-Opoka: Measuring UML Models using Metrics defined in OCL within the SQUAM Framework (FT) | Johan Fabry, Arturo Zambrano, Silvia Gordillo: Expressing Aspectual Interactions in Design: Experiences in the Slot Machine Domain (AT) |
Gerd Kainz, Christian Buckl, Alois Knoll: Automated Model-to-Metamodel Transformations Based on the Concepts of Deep Instantiation (FT) | Arnaud Blouin, Benoît Combemale, Benoit Baudry, Olivier Beaudoux: Modeling Model Slicers (FT) | Shaukat Ali, Lionel C Briand, Andrea Arcuri, Suneth Walawege: An Industrial Application of Robustness Testing using Aspect-Oriented Modeling, UML/MARTE, and Search Algorithms (AT) |
Massimo Tisi, Salvador Martínez, Frédéric Jouault, Jordi Cabot: Lazy Execution of Model-to-Model Transformations. (FT) | Javier Espinazo-Pagán, Jesús Sánchez Cuadrado , Jesús García Molina: Morsa: a scalable approach for persisting and accessing large models (FT) | Wisam Al Abed, Jörg Kienzle: Aspect-Oriented Modelling for Distributed Systems (FT) |
S2.a Analysis & Comprehension of Models Chair: Vinay Kulkarni |
S2.b Domain Specific Modelling Chair: Geri Georg |
S2.c Models for Embedded Systems Chair: Rob Pettit |
Gianna Reggio, Filippo Ricca, Francesco Di Cerbo, Gabriella Dodero, Giuseppe Scanniello: A Precise Style for Business Process Modelling: Results from Two Controlled Experiments (FT) | Frank Alexander Kraemer: Engineering Android Applications with UML Activities (FT) | Michael Lettner, Michael Tschernuth, Rene Mayrhofer: A Critical Review of Applied MDA for Embedded Devices: Identification of Problem Classes and Discussing Porting Efforts in Practice (AT) |
Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe: Semantically Configurable Consistency Analysis for Class and Object Diagrams (FT) | Jim Steel, Robin Drogemuller: Domain-Specific Model Transformation in Building Quantity Takeoff (AT) | Ali Koudri, Arnaud Cuccuru, Sébastien Gérard, François Terrier: Designing Heterogeneous Component Based Systems: Evaluation of MARTE Standard and Enhancement Proposal (AT) |
Gabriele Bavota, Carmine Gravino, Rocco Oliveto, Andrea De Lucia, Genoveffa Tortora, Marcela Genero, José Antonio Cruz-Lemus: Identifying the Weaknesses of UML Class Diagrams during Data Model Comprehension (FT) | Marc Palyart, David Lugato, Ileana Ober, Jean-Michel Bruel: Improving Scalability and Maintenance of Software for High-Performance Scientific Computing by Combining MDE and Frameworks (AT) | Bernhard Schätz, Bakr Al-Batran, Benjamin Hummel: Semantic Clone Detection for Model-Based Development of Embedded Systems (FT) |
S3.a Model Synchronization Chair: Jörg Kienzle |
S3.b Model Based Resource Management Chair: Shahar Maoz |
S3.c Analysis of Class Diagrams Chair: Hiroshi Miyazaki |
Hui Song, Gang Huang, Franck Chauvel, Wei Zhang, Yanchun Sun, Hong Mei: Instant Bidirectional QVT Transformation for Runtime Models (FT) | Brahim Hamid, Sigrid Gürgens, Christophe Jouvray, Nicolas Desnos: Enforcing S&D Pattern Design in RCES with Modeling and Formal Approaches (FT) | Maged Elaasar, Yvan Labiche: Diagram Definition: a Case Study with the UML Class Diagram (AT) |
Mickael Clavreul, Sébastien Mosser, Mireille Blay-Fornarino, Robert B. France: Service-oriented Architecture Modeling: Bridging the Gap Between Structure and Behavior (FT) | Kenneth Lind, Rogardt Heldal: A Model-Based and Automated Approach to Size Estimation of Embedded Software Components (AT) | Ingo Feinerer, Gernot Salzer, Tanja Sisel: Reducing Multiplicities in Class Diagrams (FT) |
Zinovy Diskin, Yingfei Xiong, Krzysztof Czarnecki, Hartmut Ehrig, Frank Hermann, Fernando Orejas: From State- to Delta-based Bidirectional Model Transformations: The Symmetric Case (FT) | Franck Fleurey, Brice Morin, Arnor Solberg, Olivier Barais: MDE to Manage Communications with and between Resource-Constrained Systems. (FT) |
Thursday, 20/10 | ||
S4.a Modeling Visions (Invited) Chair: Jon Whittle |
S4.b Verification & Validation Chair: Gregor Engels |
S4.c Refactoring Models Chair: Bernhard Rumpe |
Øystein Haugen: Modeling - Back to the Future? (VT) (slides available) |
Antonio García Domínguez, Dimitrios S. Kolovos, Louis M. Rose, Richard F. Paige, Inmaculada Medina-Bulo: EUnit: a Unit Testing Framework for Model Management Tasks (FT) | Friedrich Steimann: Constraint-Based Model Refactoring (FT) |
Robert France: A Future Without Model-Driven Software Development (VT) (slides available) |
Yann Moffett, Alain Beaulieu, Juergen Dingel: Verifying UML-RT Protocol Conformance using Model Checking (FT) | Motohiro Akiyama, Shinpei Hayashi, Takashi Kobayashi, Motoshi Saeki: Supporting Design Model Refactoring for Improving Class Responsibility Assignment (FT) |
Bran Selic: The Could Be, Should Be, and (Likely) Will Be of Model-Based Engineering (VT) (slides available) |
Harald Cichos, Sebastian Oster, Malte Lochau, Andy Schürr: Model-based Coverage-driven Test Suite Generation for Software Product Lines (FT) | |
S5.a Modeling Visions Chair: Gianna Reggio |
S5.b Logics and Modeling Chair: Robert France |
S5.c Development Methods Chair: Bran Selic |
Dmitrijs Zaparanuks, Matthias Hauswirth: Vision Paper: The Essence of Structural Models (FT) | Andres J. Ramirez, Betty H.C. Cheng: Automatic Derivation of Utility Functions for Monitoring Software Requirements (FT) | Mehdi Iraqi Houssaini, Mathias Kleiner, Lionel Roucoules: Model-based (Mechanical) Product Design (AT) |
Claas Wilke, Sebastian Götz, Jan Reimann, Uwe Aßmann: Vision Paper: Towards Model-Based Energy Testing (FT) | Mira Balaban, Michael Kifer: Logic-based Model Level Software Development with F-OML (FT) | Sayaka Izukura, Kazuo Yanoo, Takao Osaki, Hiroshi Sakaki, Daichi Kimura, Jianwen Xiang: Applying a Model-Based Approach to IT Systems Development using SysML Extension (AT) |
Uli Fahrenberg, Axel Legay, Andrzej Wasowski: Vision Paper: Make a Difference! (Semantically) (FT) | Kurt Stenzel, Nina Moebius, Wolfgang Reif: Formal Verification of QVT Transformations for Code Generation (FT) | Vinay Kulkarni, Souvik Barat, Uday Ramteerthkar: Early Experience with Agile Methodology in a Model-driven Approach (AT) |
Friday, 21/10 | ||
S6.a Model Transformations Chair: Colin Atkinson |
S6.b Verification & Validation Chair: Juergen Dingel |
S6.c Model Integration and Collaboration Chair: Sébastien Gérard |
Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe: CD2Alloy: Class Diagrams Analysis Using Alloy Revisited (FT) | Martin F. Johansen, Øystein Haugen, Franck Fleurey: Properties of Realistic Feature Models make Combinatorial Testing of Product Lines Feasible (FT) | Adam C. Jensen, Betty H.C. Cheng, Heather J. Goldsby, Edward C. Nelson: A Toolchain for the Detection of Structural and Behavioral Latent System Properties (AT) |
Tomofumi Yuki, Antoine Floch, Steven Derrien, Benoît Combemale, Sanjay Rajopadhye, Robert France, Clement Guy: Model-Driven Engineering and Optimizing Compilers: A bridge too far? (AT) | Ethan Jackson, Daniel Balasubramanian, Tihamér Levendovszky: Reasoning about Metamodeling with Formal Specifications and Automatic Proofs (FT) | Arnaud Cuccuru, Sébastien Gérard, François Terrier: Defining MARTE's VSL as an Extension of Alf (AT) |
Dennis Wagelaar, Massimo Tisi, Jordi Cabot, Frédéric Jouault: Towards a general composition semantics for rule-based model transformation (FT) | Frank Hermann, Hartmut Ehrig, Fernando Orejas, Krzysztof Czarnecki, Zinovy Diskin, Yingfei Xiong: Correctness of Model Synchronization Based on Triple Graph Grammars (FT) | Rixin Zhang, Ajay Krishnan: Using Delta Model for Collaborative Work of Industrial Large-scaled E/E Models (AT) |
Legend | |
VT | Vision Track |
FT | Foundations Track |
AT | Applications Track |