Model-Driven Software Development

✍ Scribed by Alan W. Brown, Jim Conallen, Dave Tropeano (auth.), Sami Beydeda, Matthias Book, Volker Gruhn (eds.)

• Publisher: Springer
• Year: 2005
• Tongue: English
• Leaves: 464
• Edition: 1
• Category: Library

✦ Synopsis

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.

✦ Table of Contents

Introduction: Models, Modeling, and Model-Driven Architecture (MDA)....Pages 1-16
A Systematic Look at Model Transformations....Pages 19-33
Tool Support for Model-Driven Development of Security-Critical Systems with UML....Pages 35-55
Caste-centric Modelling of Multi-agent Systems: The CAMLE Modelling Language and Automated Tools....Pages 57-89
Using Graph Transformation for Practical Model-Driven Software Engineering....Pages 91-117
A Generalized Notion of Platforms for Model-Driven Development....Pages 119-136
A Tool Infrastructure for Model-Driven Development Using Aspectual Patterns....Pages 139-178
Automatically Discovering Transitive Relationships in Class Diagrams....Pages 179-198
Generic and Domain-Specific Model Refactoring Using a Model Transformation Engine....Pages 199-217
A Testing Framework for Model Transformations....Pages 219-236
Parallax — An Aspect-Enabled Framework for Plug-in-Based MDA Refinements Towards Middleware....Pages 239-267
Evolution and Maintenance of MDA Applications....Pages 269-286
Intents and Upgrades in Component-Based High-Assurance Systems....Pages 289-303
On Modeling Techniques for Supporting Model-Driven Development of Protocol Processing Applications....Pages 305-328
An Integrated Model-Driven Development Environment for Composing and Validating Distributed Real-Time and Embedded Systems....Pages 329-361
A Model-Driven Technique for Development of Embedded Systems Based on the DEVS Formalism....Pages 363-383
Model-Driven Service Engineering....Pages 385-401
Practical Insights into Model-Driven Architecture: Lessons from the Design and Use of an MDA Toolkit....Pages 403-431

✦ Subjects

Software Engineering