|
Session 1 : MPM Applications 9:10-9:35 Modeling and Formal Verification of a Passive Optical Network on Chip Behavior Luiza Gheorghe, Gabriela Nicolescu, Ian O'Connor (presentation) 9:35-10:00 An Architectural Approach to the Design and Analysis of Cyber-Physical Systems Akshay Rajhans, Shang-wen Cheng, Bradley Schmerl, David Garlan, Bruce H. Krogh, Clarence Agbi, Ajinkya Bhave (presentation) 10:00-10:30 COFFEE BREAK 10:30-10:55 Synthesizing Executable Simulations from Structural Models of Component-Based Systems Andreas Schuster, Jonathan Sprinkle (presentation) Session 2a MPM concepts for composition & integration 10:55-11:20 A Pattern-Based Approach to Manage Model References Juanjuan Jiang, Tarja Systa (presentation) 11:20-11:45 A practical approach to multi-modeling views composition Andrés Yie, Rubby Casallas, Dirk Deridder, Dennis Wagelaar, Andrés (presentation) 11:45-12:30 Discussion 12:30-14:00 LUNCH Session 2b MPM concepts for model transformation 14:00-14:25 Explicit Transformation Modeling Thomas Kühne, Gergely Mezei, Eugene Syriani, Hans Vangheluwe, Manuel Wimmer (presentation) 14:25-14:50 Code Generation with the Model Transformation of Visual Behavior Models Tamas Meszaros, Tihameer Levendovszky, Gergely Mezei (presentation) 14:50-15:05 Toward Automated Verification of Model Transformations: A Case Study of Analysis of Refactoring Business Process Models Mark Asztalos, Laszlo Lengyel, Tihamer Levendovszky (presentation) 15:05-15:30 Discussion and organization of working groups 15:30 - 16:00 COFFEE BREAK Session 3 : MPM methodologies 16:00-16:25 Model-Based Engineering of Supervisory Controllers using CIF R.R.H. Schiffelers, R.J.M. Theunissen, D.A. van Beek, J.E. Rooda (presentation) 16:25-16:50 DSL Composition for model-based test generation Bruno Barroca, Levi Lúcio, Didier Buchs, Vasco Amaral, Luís Pedro (presentation) 16:50-17:15 Concurrent Design of Embedded Control Software Marcel Groothuis, Raymond Frijns, Jeroen Voeten, Jan Broenink (presentation) 17:15-18:00 Discussion by working groups | |||||||||||||||||||||||||||||||||||||||