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

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.