Satellite Events at the MoDELS 2005 Conference

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