Book 2005

Model-Driven Software Development


ISBN: 978-3-540-25613-7 (Print) 978-3-540-28554-0 (Online)

Table of contents (18 chapters)

  1. Front Matter

    Pages I-XII

  2. Chapter

    Pages 1-16

    Introduction: Models, Modeling, and Model-Driven Architecture (MDA)

  3. Conceptual Foundations of Model-Driven Development

    1. Chapter

      Pages 19-33

      A Systematic Look at Model Transformations

    2. Chapter

      Pages 35-55

      Tool Support for Model-Driven Development of Security-Critical Systems with UML

    3. Chapter

      Pages 57-89

      Caste-centric Modelling of Multi-agent Systems: The CAMLE Modelling Language and Automated Tools

    4. Chapter

      Pages 91-117

      Using Graph Transformation for Practical Model-Driven Software Engineering

    5. Chapter

      Pages 119-136

      A Generalized Notion of Platforms for Model-Driven Development

  4. Technical Infrastructure of Model-Driven Development

    1. Chapter

      Pages 139-178

      A Tool Infrastructure for Model-Driven Development Using Aspectual Patterns

    2. Chapter

      Pages 179-198

      Automatically Discovering Transitive Relationships in Class Diagrams

    3. Chapter

      Pages 199-217

      Generic and Domain-Specific Model Refactoring Using a Model Transformation Engine

    4. Chapter

      Pages 219-236

      A Testing Framework for Model Transformations

    5. Chapter

      Pages 239-267

      Parallax — An Aspect-Enabled Framework for Plug-in-Based MDA Refinements Towards Middleware

    6. Chapter

      Pages 269-286

      Evolution and Maintenance of MDA Applications

  5. Case Studies

    1. Chapter

      Pages 289-303

      Intents and Upgrades in Component-Based High-Assurance Systems

    2. Chapter

      Pages 305-328

      On Modeling Techniques for Supporting Model-Driven Development of Protocol Processing Applications

    3. Chapter

      Pages 329-361

      An Integrated Model-Driven Development Environment for Composing and Validating Distributed Real-Time and Embedded Systems

    4. Chapter

      Pages 363-383

      A Model-Driven Technique for Development of Embedded Systems Based on the DEVS Formalism

    5. Chapter

      Pages 385-401

      Model-Driven Service Engineering

    6. Chapter

      Pages 403-431

      Practical Insights into Model-Driven Architecture: Lessons from the Design and Use of an MDA Toolkit

  6. Back Matter

    Pages 433-464