Model Driven Architecture: Foundations and Applications

ISBN-13: 9783642026737 / Angielski / Miękka / 2009 / 337 str.

Richard F. Paige

Opis

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.

Spis treści

Creating Embedded Platforms with MDA: Where’s the Sweet Spot?.- Creating Embedded Platforms with MDA: Where’s the Sweet Spot?.- Foundations.- Comparison of Three Model Transformation Languages.- On the Use of Higher-Order Model Transformations.- Managing Model Adaptation by Precise Detection of Metamodel Changes.- A Pattern Mining Approach Using QVT.- A Language-Theoretic View on Guidelines and Consistency Rules of UML.- A Domain Specific Language for Extracting Models in Software Modernization.- Challenges in Combining SysML and MARTE for Model-Based Design of Embedded Systems.- Derivation and Refinement of Textual Syntax for Models.- Uniform Random Generation of Huge Metamodel Instances.- Establishing Correspondences between Models with the Epsilon Comparison Language.- Dependent and Conflicting Change Operations of Process Models.- Enabling Automated Traceability Maintenance through the Upkeep of Traceability Relations.- Temporal Extensions of OCL Revisited.- An MDA-Based Approach for Behaviour Modelling of Context-Aware Mobile Applications.- A Model Driven Approach to the Analysis of Timeliness Properties.- A Hybrid Graphical and Textual Notation and Editor for UML Actions.- Applications.- Mapping Requirement Models to Mathematical Models in Control System Development.- On Study Results: Round Trip Engineering of Space Systems.- MoPCoM/MARTE Process Applied to a Cognitive Radio System Design and Analysis.- Managing Flexibility: Modeling Binding-Times in Simulink.- Experiences of Developing a Network Modeling Tool Using the Eclipse Environment.- MBT4Chor: A Model-Based Testing Approach for Service Choreographies.- Model-Based Interoperability of Heterogeneous Information Systems: An Industrial Case Study.

Blurb

This book constitutes the refereed proceedings of the 5th European Conference on Model Driven Architecture - Foundations and Applications, ECMDA-FA 2009, held in Enschede, The Netherlands, in June 2009.

The 23 revised full papers presented - 16 research papers and 7 industry papers - were carefully reviewed and selected from 72 submissions. Promoting the use of models in the specification, design, analysis, synthesis, deployment, and evolution of complex software systems, the papers address all current issues of model-driven architecture including model transformations, modelling language issues, modelling of behaviour and time, traceability and scalability, model-based embedded systems engineering, and the application of model-driven development to IT and networking systems.