Model Driven Architecture - Foundations and Applications

1. Front Matter

   PDF

2. Creating Embedded Platforms with MDA: Where’s the Sweet Spot?

   1. Creating Embedded Platforms with MDA: Where’s the Sweet Spot?

      • Tim Trew

      Pages 1-1

      PDF

3. Foundations

   1. Comparison of Three Model Transformation Languages

      • Roy Grønmo, Birger Møller-Pedersen, Gøran K. Olsen

      Pages 2-17

      PDF

   2. On the Use of Higher-Order Model Transformations

      • Massimo Tisi, Frédéric Jouault, Piero Fraternali, Stefano Ceri, Jean Bézivin

      Pages 18-33

      PDF

   3. Managing Model Adaptation by Precise Detection of Metamodel Changes

      • Kelly Garcés, Frédéric Jouault, Pierre Cointe, Jean Bézivin

      Pages 34-49

      PDF

   4. A Pattern Mining Approach Using QVT

      • Jens Kübler, Thomas Goldschmidt

      Pages 50-65

      PDF

   5. A Language-Theoretic View on Guidelines and Consistency Rules of UML

      • Zhe Chen, Gilles Motet

      Pages 66-81

      PDF

   6. A Domain Specific Language for Extracting Models in Software Modernization

      • Javier Luis Cánovas Izquierdo, Jesús García Molina

      Pages 82-97

      PDF

   7. Challenges in Combining SysML and MARTE for Model-Based Design of Embedded Systems

      • Huascar Espinoza, Daniela Cancila, Bran Selic, Sébastien Gérard

      Pages 98-113

      PDF

   8. Derivation and Refinement of Textual Syntax for Models

      • Florian Heidenreich, Jendrik Johannes, Sven Karol, Mirko Seifert, Christian Wende

      Pages 114-129

      PDF

   9. Uniform Random Generation of Huge Metamodel Instances

      • Alix Mougenot, Alexis Darrasse, Xavier Blanc, Michèle Soria

      Pages 130-145

      PDF

   10. Establishing Correspondences between Models with the Epsilon Comparison Language

       • Dimitrios S. Kolovos

       Pages 146-157

       PDF

   11. Dependent and Conflicting Change Operations of Process Models

       • Jochen M. Küster, Christian Gerth, Gregor Engels

       Pages 158-173

       PDF

   12. Enabling Automated Traceability Maintenance through the Upkeep of Traceability Relations

       • Patrick Mäder, Orlena Gotel, Ilka Philippow

       Pages 174-189

       PDF

   13. Temporal Extensions of OCL Revisited

       • Michael Soden, Hajo Eichler

       Pages 190-205

       PDF

   14. An MDA-Based Approach for Behaviour Modelling of Context-Aware Mobile Applications

       • Laura M. Daniele, Luís Ferreira Pires, Marten van Sinderen

       Pages 206-220

       PDF

   15. A Model Driven Approach to the Analysis of Timeliness Properties

       • Mohamed A. Ameedeen, Behzad Bordbar, Rachid Anane

       Pages 221-236

       PDF

   16. A Hybrid Graphical and Textual Notation and Editor for UML Actions

       • Anis Charfi, Artur Schmidt, Axel Spriestersbach

       Pages 237-252

       PDF

4. Applications

   1. Mapping Requirement Models to Mathematical Models in Control System Development

      • Dominik Schmitz, Ming Zhang, Thomas Rose, Matthias Jarke, Andreas Polzer, Jacob Palczynski et al.

      Pages 253-264

      PDF

   2. On Study Results: Round Trip Engineering of Space Systems

      • Andrey Sadovykh, Lionel Vigier, Eduardo Gomez, Andreas Hoffmann, Juergen Grossmann, Oleg Estekhin

      Pages 265-276

      PDF

The ?fth edition of the European Conference on Model-Driven Architecture Foundations and Applications (ECMDA-FA 2009) was dedicated to furthering the state of knowledge and fostering the industrialization of Model-Driven - chitecture (MDA) and Model-Driven Engineering (MDE). MDA is an initiative proposed by the Object Management Group for platform-generic systems - velopment; MDA is one of a class of approaches under the umbrella of MDE. MDE and MDA promote the use of models in the speci?cation, design, analysis, synthesis, deployment, and evolution of complex software systems. It is a pleasure to be able to introduce the proceedings of ECMDA-FA 2009. ECMDA-FA 2009 addressed various MDA areas including model transfor- tions, modelling language issues, modelling of behavior and time, traceability and scalability, model-basedembedded systems engineering,and the application of model-driven development to IT and networking systems. ECMDA-FA 2009 focused on engaging key European and international - searchers and practitioners in a dialogue which will result in a stronger, more e?cientindustry,producingmorereliablesoftwareonthebasisofstate-of-the-art research results. ECMDA-FA is a forum for exchanging information, discussing the latest results and arguing about future developments of MDA and MDE. Particularly, it is one of the few venues that engages both leading academic researchers and industry practitioners, with the intent of creating synergies.

• MDA
• adaptation
• aspect-oriented modeling
• business process modelling
• change management
• code generation
• design
• distributed systems
• domain specific languages
• evaluation criteria
• executable modeling
• formal verification
• metamodeling
• model
• modeling

• Department of Computer Science, University of York, Heslington, York, United Kingdom

  Richard F. Paige

• IBM India Research Laboratory, Bangalore, India

  Alan Hartman

• Department of Computer Science, University of Twente, Enschede, The Netherlands

  Arend Rensink

Policies and ethics