product iamge

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

This document was uploaded by one of our users. The uploader already confirmed that they had the permission to publish it. If you are author/publisher or own the copyright of this documents, please report to us by using this DMCA report form.

Download
Search on Amazon

Simply click on the Download Book button.

Yes, Book downloads on Ebookily are 100% Free.

Sometimes the book is free on Amazon As well, so go ahead and hit "Search on Amazon"

This book constitutes a collection of the best papers selected from 9 workshops and 2 symposia held in conjunction with MODELS 2009, the 12 International Conference on Model Driven Engineering Languages and Systems, in Denver, CO, USA, in October 2009. The first two sections contain selected papers from the Doctoral Symposium and the Educational Symposium, respectively. The other contributions are organized according to the workshops at which they were presented: 2nd International Workshop on Model Based Architecting and Construction of Embedded Systems (ACES-MB'09); 14th International Workshop on Aspect-Oriented Modeling (AOM); [email protected] ([email protected]); Model-driven Engineering, Verification, and Validation: Integrating Verification and Validation in MDE (MoDeVVa09); Models and Evolution (MoDSE-MCCM); Third International Workshop on Multi-Paradigm Modeling (MPM09); The Pragmatics of OCL and Other Textual Specification Languages (OCL); 2nd International Workshop on Non-Functional System Properties in Domain Specific Modeling Languages (NFPinDSML); and 2nd Workshop on Transformation and Weaving OWL Ontologies and MDE/MDA (TWOMDE2009). Each section includes a summary of the workshop.

Author(s): Juergen Dingel (auth.), Sudipto Ghosh (eds.)
Series: Lecture Notes in Computer Science 6002 : Programming and Software Engineering
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2010

Language: English
Pages: 360
Tags: Software Engineering; Programming Languages, Compilers, Interpreters; Logics and Meanings of Programs; Management of Computing and Information Systems; Simulation and Modeling

Front Matter....Pages -
The Doctoral Symposium at MODELS 2009....Pages 1-4
Catch Me If You Can – Debugging Support for Model Transformations....Pages 5-20
A Coordination-Based Model-Driven Method for Parallel Application Development....Pages 21-35
Essentials of the 5th Educators’ Symposium at MODELS 2009....Pages 36-39
Teaching Object-Oriented Modeling and UML to Various Audiences....Pages 40-54
Teaching Modeling: Why, When, What?....Pages 55-62
Model Based Architecting and Construction of Embedded Systems (ACES-MB 2009)....Pages 63-67
Using Higher-Order Transformations to Derive Variability Mechanism for Embedded Systems....Pages 68-82
Model-Based Extension of AUTOSAR for Architectural Online Reconfiguration....Pages 83-97
Report of the 14th International Workshop on Aspect-Oriented Modeling....Pages 98-103
HiLA: High-Level Aspects for UML State Machines....Pages 104-118
4 th International Workshop on [email protected] 119-123
Incremental Model Synchronization for Efficient Run-Time Monitoring....Pages 124-139
Generating Synchronization Engines between Running Systems and Their Model-Based Views....Pages 140-154
MoDeVVa Workshop Summary....Pages 155-157
From UML to Alloy and Back Again....Pages 158-171
Generating Class Contracts from Deterministic UML Protocol Statemachines....Pages 172-185
“Models and Evolution”: Joint MoDSE-MCCM 2009 Workshop on Model-Driven Software Evolution (MoDSE) Model Co-Evolution and Consistency Management (MCCM)....Pages 186-189
Model Patches in Model-Driven Engineering....Pages 190-204
Limitations of Automating Model Migration in Response to Metamodel Adaptation....Pages 205-219
Recent Advances in Multi-paradigm Modeling....Pages 220-224
Deriving Correspondence Relationships to Guide a Multi-view Heterogeneous Composition....Pages 225-239
Explicit Transformation Modeling....Pages 240-255
Ninth International Workshop on the Pragmatics of OCL and Other Textual Specification Languages....Pages 256-260
Extending OCL with Null-References....Pages 261-275
On Better Understanding OCL Collections or An OCL Ordered Set Is Not an OCL Set....Pages 276-290
The 2 nd International Workshop on Non-functional System Properties in Domain Specific Modeling Languages (NFPinDSML2009)....Pages 291-295
On the Specification of Non-functional Properties of Systems by Observation....Pages 296-309
Modeling Heterogeneous Points of View with ModHel’X....Pages 310-324
Second Workshop on Transforming and Weaving Ontologies in Model Driven Engineering (TWOMDE 2009)....Pages 325-328
Towards Semantic Modeling of Network Physical Devices....Pages 329-343
Using Ontology Reasoning for Reverse Engineering Design Patterns....Pages 344-358
Back Matter....Pages -