Satellite Events at the MoDELS 2005 Conference: MoDELS 2005 International Workshop OCLWS, MoDeVA, MARTES, AOM, MTiP, WiSME, MODAUI, Nfc, MDD, WUsCaM, Montego Bay, Jamaica, October 2-7, 2005, Revised Selected Papers: Lecture Notes in Computer Science, cartea 3844

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.