Satellite Events at the MoDELS 2005 Conference

Inhaltsverzeichnis

• 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.