Klappentext

W1 - OCL.- Tool Support for OCL and Related Formalisms - Needs and Trends.- Lessons Learned from Developing a Dynamic OCL Constraint Enforcement Tool for Java.- OCL and Graph-Transformations - A Symbiotic Alliance to Alleviate the Frame Problem.- W2 - MoDeVA.- Report on the 2nd Workshop on Model Development and Validation - MoDeVa.- Using Process Algebra to Validate Behavioral Aspects of Object-Oriented Models.- Automated Analysis of Natural Language Properties for UML Models.- W3 - MARTES.- Modeling and Analysis of Real-Time and Embedded Systems.- Modular Verification of Safe Online-Reconfiguration for Proactive Components in Mechatronic UML.- Annotating UML Models with Non-functional Properties for Quantitative Analysis.- W4 - Aspect-Oriented Modeling.- Report of the 7th International Workshop on Aspect-Oriented Modeling.- Modeling Aspect-Oriented Compositions.- Towards a Generic Aspect Oriented Design Process.- W5 - MTiP.- Model Transformations in Practice Workshop.- Transforming Models with ATL.- Practical Declarative Model Transformation with Tefkat.- W6 - WiSME.- Essentials of the 4th UML/MoDELS Workshop in Software Model Engineering (WiSME'2005).- Bridging Grammarware and Modelware.- sNets: A First Generation Model Engineering Platform.- W7 - MDDAUI.- Workshop Report: Model Driven Development of Advanced User Interfaces (MDDAUI).- Towards Model Driven Engineering of Plastic User Interfaces.- UML Model Mappings for Platform Independent User Interface Design.- W8 - NfC.- Workshop on Models for Non-functional Properties of Component-Based Software - NfC.- Abstraction-Raising Transformation for Generating Analysis Models.- Explicit Architectural Policies to Satisfy NFRs Using COTS.- W9 - MDD for Product-Lines.- Workshop 9 Summary.-Addressing Domain Evolution Challenges in Software Product Lines.- From Requirements Documents to Feature Models for Aspect Oriented Product Line Implementation.- W10 - WUsCaM.- Use Cases in Model-Driven Software Engineering.- Use Cases, Actions, and Roles.- Specifying Precise Use Cases with Use Case Charts.- Educator's Symposium.- Summary of the Educator's Symposium.- Teaching UML Is Teaching Software Engineering Is Teaching Abstraction.- Best Practices for Teaching UML Based Software Development.- Doctorial Symposium.- MoDELS 2005 Doctoral Symposium Summary.- Preening: Reflection of Models in the Mirror a Meta-modelling Approach to Generate Reflective Middleware Configurations.- Transformation-Based Structure Model Evolution.- Software Hazard Analysis for X-by-Wire Applications.- Enhancement of Development Technologies for Agent-Based Software Engineering.- Modeling Reactive Systems and Aspect-Orientation.- SelfSync: A Dynamic Round-Trip Engineering Environment.- A Framework for Composable Security Definition, Assurance, and Enforcement.- Ontology-Based Model Transformation.- Modeling Turnpike: A Model-Driven Framework for Domain-Specific Software Development.

Zusammenfassung

The 30 revised full papers were carefully selected for inclusion in the book and are presented along with an educators's and a doctorial symposium section comprising additional 13 short articles. The papers are organized in topical sections representing the various workshops

Inhalt
W1 OCL.- Tool Support for OCL and Related Formalisms Needs and Trends.- Lessons Learned from Developing a Dynamic OCL Constraint Enforcement Tool for Java.- OCL and Graph-Transformations A Symbiotic Alliance to Alleviate the Frame Problem.- W2 MoDeVA.- Report on the 2nd Workshop on Model Development and Validation MoDeVa.- Using Process Algebra to Validate Behavioral Aspects of Object-Oriented Models.- Automated Analysis of Natural Language Properties for UML Models.- W3 MARTES.- Modeling and Analysis of Real-Time and Embedded Systems.- Modular Verification of Safe Online-Reconfiguration for Proactive Components in Mechatronic UML.- Annotating UML Models with Non-functional Properties for Quantitative Analysis.- W4 Aspect-Oriented Modeling.- Report of the 7th International Workshop on Aspect-Oriented Modeling.- Modeling Aspect-Oriented Compositions.- Towards a Generic Aspect Oriented Design Process.- W5 MTiP.- Model Transformations in Practice Workshop.- Transforming Models with ATL.- Practical Declarative Model Transformation with Tefkat.- W6 WiSME.- Essentials of the 4th UML/MoDELS Workshop in Software Model Engineering (WiSME'2005).- Bridging Grammarware and Modelware.- sNets: A First Generation Model Engineering Platform.- W7 MDDAUI.- Workshop Report: Model Driven Development of Advanced User Interfaces (MDDAUI).- Towards Model Driven Engineering of Plastic User Interfaces.- UML Model Mappings for Platform Independent User Interface Design.- W8 NfC.- Workshop on Models for Non-functional Properties of Component-Based Software NfC.- Abstraction-Raising Transformation for Generating Analysis Models.- Explicit Architectural Policies to Satisfy NFRs Using COTS.- W9 MDD for Product-Lines.- Workshop 9 Summary.-Addressing Domain Evolution Challenges in Software Product Lines.- From Requirements Documents to Feature Models for Aspect Oriented Product Line Implementation.- W10 WUsCaM.- Use Cases in Model-Driven Software Engineering.- Use Cases, Actions, and Roles.- Specifying Precise Use Cases with Use Case Charts.- Educator's Symposium.- Summary of the Educator's Symposium.- Teaching UML Is Teaching Software Engineering Is Teaching Abstraction.- Best Practices for Teaching UML Based Software Development.- Doctorial Symposium.- MoDELS 2005 Doctoral Symposium Summary.- Preening: Reflection of Models in the Mirror a Meta-modelling Approach to Generate Reflective Middleware Configurations.- Transformation-Based Structure Model Evolution.- Software Hazard Analysis for X-by-Wire Applications.- Enhancement of Development Technologies for Agent-Based Software Engineering.- Modeling Reactive Systems and Aspect-Orientation.- SelfSync: A Dynamic Round-Trip Engineering Environment.- A Framework for Composable Security Definition, Assurance, and Enforcement.- Ontology-Based Model Transformation.- Modeling Turnpike: A Model-Driven Framework for Domain-Specific Software Development.