Models in Software Engineering: Workshops and Symposia at MODELS 2009, Denver, CO, USA, October 4-9, 2009. Reports and Revised Selected Papers

The MODELS series of conferences is the premier venue for the exchange of innovative technical ideas and experiences relating to model-driven approaches inthedevelopmentofsoftware-basedsystems.Followingthetraditionofprevious conferences,MODELS2009hostedseveralsatelliteeventsinDenver.Therewere ten workshops and two symposia. The selection of the workshops was performed by a Workshop Committee, which consisted of the following experts: - James M. Bieman, Colorado State University, USA (Chair) - Peter Clarke, Florida International University, USA - Holger Giese, University of Paderborn, Germany - Frank Weil, Hengsoft, USA The workshops and symposia were held during the ?rst three days of the conference. They provided a collaborative forum for groups of participants to exchange recent and preliminary results, conduct intensive discussions on a p- ticular topic, and to coordinate e?orts between representatives of a technical community. They discussions were lively and the attendance was high. The focus of the Educators'Symposium was on sharing experience related to teaching modeling techniques and on developing resources to support e?ective training of future practitioners of model-driven development. The DoctoralSymposiumprovideda forumin whichPhDstudents presented their work in progress. The symposium fostered the role of MODELS as a p- mier venue for research in model-driven engineering. The symposium provided the students with independent and constructive feedback about their already completed work, and more importantly, their planned research work.

Table of Contents:
Doctoral Symposium.- The Doctoral Symposium at MODELS 2009.- Catch Me If You Can – Debugging Support for Model Transformations.- A Coordination-Based Model-Driven Method for Parallel Application Development.- Educators’ Symposium.- Essentials of the 5th Educators’ Symposium at MODELS 2009.- Teaching Object-Oriented Modeling and UML to Various Audiences.- Teaching Modeling: Why, When, What?.- Workshop — ACES-MB.- Model Based Architecting and Construction of Embedded Systems (ACES-MB 2009).- Using Higher-Order Transformations to Derive Variability Mechanism for Embedded Systems.- Model-Based Extension of AUTOSAR for Architectural Online Reconfiguration.- Workshop — AOM.- Report of the 14th International Workshop on Aspect-Oriented Modeling.- HiLA: High-Level Aspects for UML State Machines.- Workshop — Model@run.time.- 4th International Workshop on Models@run.time.- Incremental Model Synchronization for Efficient Run-Time Monitoring.- Generating Synchronization Engines between Running Systems and Their Model-Based Views.- Workshop — MoDeVVa.- MoDeVVa Workshop Summary.- From UML to Alloy and Back Again.- Generating Class Contracts from Deterministic UML Protocol Statemachines.- Workshop — MoDSE-MCCM.- “Models and Evolution”: Joint MoDSE-MCCM 2009 Workshop on Model-Driven Software Evolution (MoDSE) Model Co-Evolution and Consistency Management (MCCM).- Model Patches in Model-Driven Engineering.- Limitations of Automating Model Migration in Response to Metamodel Adaptation.- Workshop — MPM.- Recent Advances in Multi-paradigm Modeling.- Deriving Correspondence Relationships to Guide a Multi-view Heterogeneous Composition.- Explicit Transformation Modeling.- Workshop — OCL.- Ninth International Workshop on the Pragmatics of OCL and Other TextualSpecification Languages.- Extending OCL with Null-References.- On Better Understanding OCL Collections or An OCL Ordered Set Is Not an OCL Set.- Workshop — NFPinDSML.- The 2nd International Workshop on Non-functional System Properties in Domain Specific Modeling Languages (NFPinDSML2009).- On the Specification of Non-functional Properties of Systems by Observation.- Modeling Heterogeneous Points of View with ModHel’X.- Workshop — TWOMDE.- Second Workshop on Transforming and Weaving Ontologies in Model Driven Engineering (TWOMDE 2009).- Towards Semantic Modeling of Network Physical Devices.- Using Ontology Reasoning for Reverse Engineering Design Patterns.