5. ECMDA-FA 2009: Enschede, The Netherlands

• Tim Trew:
  Creating Embedded Platforms with MDA: Where's the Sweet Spot? 1
  

Foundations

• Roy Grønmo, Birger Møller-Pedersen, Gøran K. Olsen:
  Comparison of Three Model Transformation Languages. 2-17
  
• Massimo Tisi, Frédéric Jouault, Piero Fraternali, Stefano Ceri, Jean Bézivin:
  On the Use of Higher-Order Model Transformations. 18-33
  
• Kelly Garcés, Frédéric Jouault, Pierre Cointe, Jean Bézivin:
  Managing Model Adaptation by Precise Detection of Metamodel Changes. 34-49
  
• Jens Kübler, Thomas Goldschmidt:
  A Pattern Mining Approach Using QVT. 50-65
  
• Zhe Chen, Gilles Motet:
  A Language-Theoretic View on Guidelines and Consistency Rules of UML. 66-81
  
• Javier Luis Cánovas Izquierdo, Jesús García Molina:
  A Domain Specific Language for Extracting Models in Software Modernization. 82-97
  
• Huáscar Espinoza, Daniela Cancila, Bran Selic, Sébastien Gérard:
  Challenges in Combining SysML and MARTE for Model-Based Design of Embedded Systems. 98-113
  
• Florian Heidenreich, Jendrik Johannes, Sven Karol, Mirko Seifert, Christian Wende:
  Derivation and Refinement of Textual Syntax for Models. 114-129
  
• Alix Mougenot, Alexis Darrasse, Xavier Blanc, Michèle Soria:
  Uniform Random Generation of Huge Metamodel Instances. 130-145
  
• Dimitrios S. Kolovos:
  Establishing Correspondences between Models with the Epsilon Comparison Language. 146-157
  
• Jochen Malte Küster, Christian Gerth, Gregor Engels:
  Dependent and Conflicting Change Operations of Process Models. 158-173
  
• Patrick Mäder, Orlena Gotel, Ilka Philippow:
  Enabling Automated Traceability Maintenance through the Upkeep of Traceability Relations. 174-189
  
• Michael Soden, Hajo Eichler:
  Temporal Extensions of OCL Revisited. 190-205
  
• Laura Daniele, Luís Ferreira Pires, Marten van Sinderen:
  An MDA-Based Approach for Behaviour Modelling of Context-Aware Mobile Applications. 206-220
  
• Mohamed Ariff Ameedeen, Behzad Bordbar, Rachid Anane:
  A Model Driven Approach to the Analysis of Timeliness Properties. 221-236
  
• Anis Charfi, Artur Schmidt, Axel Spriestersbach:
  A Hybrid Graphical and Textual Notation and Editor for UML Actions. 237-252
  

Applications

• Dominik Schmitz, Ming Zhang, Thomas Rose, Matthias Jarke, Andreas Polzer, Jacob Palczynski, Stefan Kowalewski, Michael Reke:
  Mapping Requirement Models to Mathematical Models in Control System Development. 253-264
  
• Andrey Sadovykh, Lionel Vigier, Eduardo Gomez, Andreas Hoffmann, Juergen Grossmann, Oleg Estekhin:
  On Study Results: Round Trip Engineering of Space Systems. 265-276
  
• Ali Koudri, Joël Champeau, Denis Aulagnier, Philippe Soulard:
  MoPCoM/MARTE Process Applied to a Cognitive Radio System Design and Analysis. 277-288
  
• Danilo Beuche, Jens Weiland:
  Managing Flexibility: Modeling Binding-Times in Simulink. 289-300
  
• Andy Evans, Miguel A. Fernández, Parastoo Mohagheghi:
  Experiences of Developing a Network Modeling Tool Using the Eclipse Environment. 301-312
  
• Alin Stefanescu, Sebastian Wieczorek, Andrei Kirshin:
  MBT4Chor: A Model-Based Testing Approach for Service Choreographies. 313-324
  
• Nikola Milanovic, Mario Cartsburg, Ralf-Detlef Kutsche, Jürgen Widiker, Frank Kschonsak:
  Model-Based Interoperability of Heterogeneous Information Systems: An Industrial Case Study. 325-336