- ホーム
- > 洋書
- > 英文書
- > Computer / General
Full Description
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.
Contents
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.
