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.
Author(s): Tim Trew (auth.), Richard F. Paige, Alan Hartman, Arend Rensink (eds.)
Series: Lecture Notes in Computer Science 5562 : Programming and Software Engineering
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2009
Language: English
Pages: 337
Tags: Computer Systems Organization and Communication Networks; Software Engineering; Logics and Meanings of Programs; Management of Computing and Information 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 -
