|
Welcome and introduction of Multi-Paradigm Modeling by Hans Vangheluwe 9h30-9h50 (20 minutes) Modelling- and Simulation-Based Design of Multi-tier Systems Kamal Zellag, Hans Vangheluwe 9h50-10h10 (20 minutes) On the Unification of Megamodels Regina Hebig, Andreas Seibel, Holger Giese 10h10-10h30 (20 minutes) Discussion Time 10h30-11h00 Morning break 11h00-11h20 (20 minutes) Towards Transformation Rule Composition Mark Asztalos, Eugene Syriani, Manuel Wimmer, Marouane Kessentini 11h20-11h40 (20 minutes) Active Model Patterns with Interactive Model Transformation Tamás Mészáros, Tihamér Levendovszky, Gergely Mezei 11h40-12h00 (20 minutes) A generic in-place transformation-based approach to structured model co-evolution Bart Meyers, Manuel Wimmer, Antonio Cicchetti, Jonathan Sprinkle 12h00-12h30 (30 minutes) Discussion Time 12h30-14h00 Lunch 14.00-14h20 (20 minutes) Model-Based System Verification: A Formal Framework for Relating Analyses, Requirements, and Tests Aleksandr Kerzhner, Christiaan Paredis 14h20-14h40 (20 minutes) A Multi-Modeling Language Suite for Cyber Physical Systems Sandeep Neema, Ted Bapty, Gabor Karsai, Janos Sztipanovits, David Corman, Thomas Herm, Douglas Stuart 14h40-15h00 (20 minutes) Compliance between Architecture and Design Models of Component-Based Systems Sebastian Herold 15h00-15h30 (30 minutes) Discussion time 15h30-16h00 Afternoon break 16h00-16h15 (15 minutes) Automated Verification by Declarative Description of Graph Rewriting-Based Model Transformations Márk Asztalos, Péter Ekler, László Lengyel, Tihamér Levendovszky, Tamás Mészáros 16h15-16h30 (15 minutes) Using an Alternative Trace for QVT Vincent Aranega, Anne Etien, Jean-Luc Dekeyser 16h30-16h45 (15 minutes) A Visual Notation for Declarative Behaviour Specification Thomas Kühne 16h45-17h00 (15 minutes) Rule-Based Integration of Domain-Specific Modelling Languages Benjamin Braatz, Christoph Brandt 17h00-17h15 (15 minutes) Towards a Methodology for Semantics Specification of Domain-specific Models through Properties Ragnhild Van Der Straeten 17h15-17h30 (15 minutes) Discussion Time, Conclusions and Closing Session | |||||||||||||||||||||||||||||||||||||||