Abstraction is the most basic principle of software engineering. Abstractions are provided by models. Modeling and model transformation constitute the core of model-driven development. Models can be refined and finally be transformed into a technical implementation, i.e., a software system.The aim of this book is to give an overview of the state of the art in model-driven software development. Achievements are considered from a conceptual point of view in the first part, while the second part describes technical advances and infrastructures. Finally, the third part summarizes experiences gained in actual projects employing model-driven development.Beydeda, Book and Gruhn put together the results from leading researchers in this area, both from industry and academia. The result is a collection of papers which gives both researchers and graduate students a comprehensive overview of current research issues and industrial forefront practice, as promoted by OMG¿s MDA initiative.

Includes supplementary material: sn.pub/extras

Part I - Conceptual Foundations of Model-Driven Development Models, Modeling, and Model-Driven Architecture (Brown, Conallen, Tropeano) A Systematic Lool at Model Transformations (Metzger) Tool Support for Model-Driven Development of Security Critical Systems with UML (Jürjens, Shabalin) Caste-Centric Modelling of Multi-Agent Systems: The CAMLE Modeling Language and Automated Tools (Zhu, Shan) Using Graph Transformation for Practical Model Driven Software Engineering (Grunske et. al.) A Generalized Notion of Platforms for Model Driven Development (Atkinson, Kühne) Part II - Technical Infrastructure of Model-Driven Development A Tool Infrastructure for Model-Driven Development Using Aspectual Patterns (Hammouda) Automatically Discovering Transitive Relationships in Class Diagrams (Egyed) Generic and Domain-Specific Model Refactoring using a Model Transformation Engine (Zhang, Lin, Gray) A Testing Framework for Model Transformations (Lin, Zhang, Gray) Parallax - An Aspect-Enabled Framework for Plugin-Based MDA Refinements Towards Middleware (Silaghi, Strohmeier) Evolution and Maintenance of MDA Applications (Seifert, Beneken) Part III - Case Studies Intents and Upgrades in Component-Based High-Assurance Systems (Elmquivst, Nadjm-Tehrani) On Modeling Techniques for Supporting Model Driven Development of Protocol Processing Applications (Alanen, Lilius, Porres, Truscan) An Integrated Model-Driven Development Environment for Composing and Vaklidating Distributed Real-Time and Embedded Systems (Trombetti et. al.) A Model-Driven Technique for Development of Embedded Systems Based on DEVS Formalism (Wainer, Glinsky, MacSween) Model Driven Service Engineering (Broek, Melby) Practical Insights into Model-Driven Architecture (Brown, Conallen, Tropeano)