5. ECMDA-FA 2009: Enschede, The Netherlands
Richard F. Paige, Alan Hartman, Arend Rensink (Eds.): Model Driven Architecture - Foundations and Applications, 5th European Conference, ECMDA-FA 2009, Enschede, The Netherlands, June 23-26, 2009. Proceedings. Springer 2009 Lecture Notes in Computer Science ISBN 978-3-642-02673-7
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

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
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
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



