Table of Contents

Integration.- A Model-Driven Architectural Framework for Integration-Capable Enterprise Application Product Lines.- Systems Integration Methodology Based on MDA.- Applications of Transformations.- From Analysis Model to Software Architecture: A PIM2PIM Mapping.- MDA Approach for Maintenance of Business Applications.- Applications of MDA.- Definition and Generation of Data Exchange Formats in AUTOSAR.- A Model Driven Approach to Engineering of Flexible Manufacturing System Control Software.- Process.- MDD Maturity Model: A Roadmap for Introducing Model-Driven Development.- A Process Framework for the Successful Adoption of Model Driven Development.- Model Consistency.- Finding a Path to Model Consistency.- Dynamic Logic Semantics for UML Consistency.- Model Management.- The Epsilon Object Language (EOL).- Using a Model Merging Language for Reconciling Model Versions.- Transformation (1).- RubyTL: A Practical, Extensible Transformation Language.- MCC: A Model Transformation Environment.- Ontologies.- A Model Driven Integration Architecture for Ontology-Based Context Modelling and Context-Aware Application Development.- Ontology-Based Composition and Transformation for Model-Driven Service Architecture.- Reengineering.- Harvesting Software Systems for MDA-Based Reengineering.- A Methodology for Database Reengineering to Web Services.- Tools and Profiles.- Business Process Modeling: Defining Domain Specific Modeling Languages by Use of UML Profiles.- Constraint Support in MDA Tools: A Survey.- Tool Generation.- Automatic Generation of Modelling Tools.- Model Driven Development of Multi-Agent Systems.- Constraints.- Limes: An Aspect-Oriented Constraint Checking Language.- An Algebraic Specification of Generic OCL Queries Within the Eclipse Modeling Framework.- Model Management and Transformations.- A Comparison of Configuration Techniques for Model Transformations.- A Canonical Scheme for Model Composition.- Transformation (2).- MOFLON: A Standard-Compliant Metamodeling Framework with Graph Transformations.- Mutation Analysis Testing for Model Transformations.