Model Driven Architecture - Foundations and Applications: 5th European Conference, ECMDA-FA 2009, Enschede, The Netherlands, June 23-26, 2009, Proceedings (Lecture Notes in Computer Science, 5562)

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. Front Matter....Pages - Creating Embedded Platforms with MDA: Where’s the Sweet Spot?....Pages 1-1 Comparison of Three Model Transformation Languages....Pages 2-17 On the Use of Higher-Order Model Transformations....Pages 18-33 Managing Model Adaptation by Precise Detection of Metamodel Changes....Pages 34-49 A Pattern Mining Approach Using QVT....Pages 50-65 A Language-Theoretic View on Guidelines and Consistency Rules of UML....Pages 66-81 A Domain Specific Language for Extracting Models in Software Modernization....Pages 82-97 Challenges in Combining SysML and MARTE for Model-Based Design of Embedded Systems....Pages 98-113 Derivation and Refinement of Textual Syntax for Models....Pages 114-129 Uniform Random Generation of Huge Metamodel Instances....Pages 130-145 Establishing Correspondences between Models with the Epsilon Comparison Language....Pages 146-157 Dependent and Conflicting Change Operations of Process Models....Pages 158-173 Enabling Automated Traceability Maintenance through the Upkeep of Traceability Relations....Pages 174-189 Temporal Extensions of OCL Revisited....Pages 190-205 An MDA-Based Approach for Behaviour Modelling of Context-Aware Mobile Applications....Pages 206-220 A Model Driven Approach to the Analysis of Timeliness Properties....Pages 221-236 A Hybrid Graphical and Textual Notation and Editor for UML Actions....Pages 237-252 Mapping Requirement Models to Mathematical Models in Control System Development....Pages 253-264 On Study Results: Round Trip Engineering of Space Systems....Pages 265-276 MoPCoM/MARTE Process Applied to a Cognitive Radio System Design and Analysis....Pages 277-288 Managing Flexibility: Modeling Binding-Times in Simulink....Pages 289-300 Experiences of Developing a Network Modeling Tool Using the Eclipse Environment....Pages 301-312 MBT4Chor: A Model-Based Testing Approach for Service Choreographies....Pages 313-324 Model-Based Interoperability of Heterogeneous Information Systems: An Industrial Case Study....Pages 325-336 Back Matter....Pages - 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.