Workshop Format
 Important Dates
 Contact the Organizers
 Program Committee
 Workshop Program
Workshop Program
October 3, 2010
9h00-9h30 (30 minutes)
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