Models in software engineering : workshops and symposia at MODELS 2010, Oslo, Norway, October 2-8, 2010, reports and revised selected papers

This book presents a comprehensive documentation of the scientific outcome of 14 satellite events held at the 13th International Conference on Model-Driven Engineering, Languages and Systems, MODELS 2010, held in Oslo, Norway, in October 2010. Besides the 21 revised best papers selected from 12 topically focused workshops, the post-proceedings also covers the doctoral symposium and the educators symposium; each of the 14 satellite events covered is introduced by a summary of the respective organizers. All relevant current aspects in model-based systems design and analysis are addressed. This book is the companion of the MODELS 2010 main conference proceedings LNCS 6394/6395. Front Matter....Pages - The Doctoral Symposium at MODELS 2010....Pages 1-3 ReuseMe - Towards Aspect-Driven Reuse in Modelling Method Development....Pages 4-18 A Model-Based Framework for Software Performance Feedback....Pages 19-34 Software Modeling in Education: The 6th Educators’ Symposium at MODELS 2010....Pages 35-39 Novel Communication Channels in Software Modeling Education....Pages 40-54 Implementation of the Concept-Driven Approach in an Object-Oriented Analysis and Design Course....Pages 55-69 Model Based Architecting and Construction of Embedded Systems (ACES-MB 2010)....Pages 70-74 Virtual Verification of System Designs against System Requirements....Pages 75-89 From Interaction Overview Diagrams to Temporal Logic....Pages 90-104 Report of the 15th International Workshop on Aspect-Oriented Modeling....Pages 105-109 Aspect-Oriented Feature Models....Pages 110-124 Mapping Aspect-Oriented Models to Aspect-Oriented Code....Pages 125-139 Equation-Based Object-Oriented Modeling Languages and Tools....Pages 140-144 Model-Driven Interoperability: MDI 2010....Pages 145-149 From the Heterogeneity Jungle to Systematic Benchmarking....Pages 150-164 Specifying Overlaps of Heterogeneous Models for Global Consistency Checking....Pages 165-179 Models and Evolution - ME2010....Pages 180-183 Conflicts as First-Class Entities: A UML Profile for Model Versioning....Pages 184-193 A Manifesto for Semantic Model Differencing....Pages 194-203 Summary of the 5th International Workshop on Models@run.time....Pages 204-208 Meta-modeling Runtime Models....Pages 209-223 The Role of Models and Megamodels at Runtime....Pages 224-238 MoDeVVa 2010 Workshop Summary....Pages 239-243 Efficient Test Suite Reduction by Merging Pairs of Suitable Test Cases....Pages 244-258 Traceability for Mutation Analysis in Model Transformation....Pages 259-273 Summary of the Workshop on Multi-Paradigm Modelling: Concepts and Tools....Pages 274-278 Model-Based System Verification: A Formal Framework for Relating Analyses, Requirements, and Tests....Pages 279-292 Simplifying Model Transformation Chains by Rule Composition....Pages 293-307 The 3 rd International Workshop on Non-functional System Properties in Domain Specific Modeling Languages (NFPinDSML2010)....Pages 308-311 Integration of Component Fault Trees into the UML....Pages 312-327 QVTR 2 : A Rational and Performance-Aware Extension to the Relations Language....Pages 328-328 Tenth International Workshop on OCL and Textual Modelling....Pages 329-333 A Specification-Based Test Case Generation Method for UML/OCL....Pages 334-348 Integrating OCL and Textual Modelling Languages....Pages 349-363 Quality of Service-Oriented Software Systems (QUASOSS 2010)....Pages 364-368 An Accuracy Information Annotation Model for Validated Service Behavior Specifications....Pages 369-383 Focussing Multi-Objective Software Architecture Optimization Using Quality of Service Bounds....Pages 384-399 First International Workshop on Model Based Engineering for Robotics (RoSym’10)....Pages 400-400 Integrating Ontological Domain Knowledge into a Robotic DSL....Pages 401-414 Back Matter....Pages -