Paige / Hartman / Rensink Model Driven Architecture - Foundations and Applications

5th European Conference, ECMDA-FA 2009, Enschede, The Netherlands, June 23-26, 2009, Proceedings
2009
ISBN: 978-3-642-02674-4
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark

E-Book, Englisch, 337 Seiten, eBook

Reihe: Programming and Software Engineering

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.

Zielgruppe

Research

Autoren/Hrsg.

Paige, Richard F.

Hartman, Alan

Rensink, Arend

Inhaltsverzeichnis

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.