Conceptual Foundations of Model-Driven Development -- A Systematic Look at Model Transformations -- Tool Support for Model-Driven Development of Security-Critical Systems with UML -- Caste-centric Modelling of Multi-agent Systems: The CAMLE Modelling Language and Automated Tools -- Using Graph Transformation for Practical Model-Driven Software Engineering -- A Generalized Notion of Platforms for Model-Driven Development -- Introduction: Models, Modeling, and Model-Driven Architecture (MDA) -- Technical Infrastructure of Model-Driven Development -- A Tool Infrastructure for Model-Driven Development Using Aspectual Patterns -- Automatically Discovering Transitive Relationships in Class Diagrams -- Generic and Domain-Specific Model Refactoring Using a Model Transformation Engine -- A Testing Framework for Model Transformations -- Parallax — An Aspect-Enabled Framework for Plug-in-Based MDA Refinements Towards Middleware -- Evolution and Maintenance of MDA Applications -- Case Studies -- Intents and Upgrades in Component-Based High-Assurance Systems -- On Modeling Techniques for Supporting Model-Driven Development of Protocol Processing Applications -- An Integrated Model-Driven Development Environment for Composing and Validating Distributed Real-Time and Embedded Systems -- A Model-Driven Technique for Development of Embedded Systems Based on the DEVS Formalism -- Model-Driven Service Engineering -- Practical Insights into Model-Driven Architecture: Lessons from the Design and Use of an MDA Toolkit.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.