Models in Software Engineering: Workshops and Symposia at MoDELS 2006, Genoa, Italy, October 1-6, 2006, Reports and Revised Selected Papers

Jörg Kienzle, Dominik Stein, Walter Cazzola, Jeff Gray, Omar Aldawud, Tzilla Elrad (auth.), Thomas Kühne (eds.)3540694889, 9783540694885

This book constitutes the thoroughly refereed post-proceedings of 11 international workshops held as satellite events of the 9th International Conference on Model Driven Engineering Languages and Systems, MoDELS 2006, in Genoa, Italy, in October 2006 (see LNCS 4199).The 32 revised full papers were carefully selected for inclusion in the book. They are presented along with a doctorial and an educators’ symposium section, as well as a symposium on UML semantics comprising additional 10 articles altogether.The papers are organized in topical sections representing the various workshops: aspect-oriented modeling (AOM 2006); critical systems development using modeling languages (CSDUML 2006); metamodels, schemas, grammars and ontologies for reverse of advanced user interfaces; modeling and analysis of real-time and embedded systems (MARTES 2006); OCL for (meta-) models in multiple application domains; perspectives on integrating MDA and V&V (MoDeV2a 21006); model size metrics; [email protected]; as well as multi-paradigm modeling: concepts and tools (MPM 2006).

---

Table of contents :
Front Matter….Pages –
9th International Workshop on Aspect-Oriented Modeling….Pages 1-5
Modeling Features in Aspect-Based Product Lines with Use Case Slices: An Exploratory Case Study….Pages 6-16
Join Point Patterns: A High-Level Join Point Selection Mechanism….Pages 17-26
Critical Systems Development Using Modeling Languages – CSDUML 2006 Workshop Report….Pages 27-31
Modeling an Electronic Throttle Controller Using the Timed Abstract State Machine Language and Toolset….Pages 32-41
Model Checking of UML 2.0 Interactions….Pages 42-51
3rd International Workshop on Metamodels, Schemas, Grammars and Ontologies….Pages 52-55
A Unified Ontology-Based Process Model for Software Maintenance and Comprehension….Pages 56-65
Formalizing the Well-Formedness Rules of EJB3QL in UML + OCL….Pages 66-75
The 1 st Workshop on Quality in Modeling….Pages 76-79
Consistency of Business Process Models and Object Life Cycles….Pages 80-90
A Qualitative Investigation of UML Modeling Conventions….Pages 91-100
Model Driven Development of Advanced User Interfaces (MDDAUI) – MDDAUI’06 Workshop Report….Pages 101-105
A Model-Driven Approach to the Engineering of Multiple User Interfaces….Pages 106-115
Model-Driven Dynamic Generation of Context-Adaptive Web User Interfaces….Pages 116-125
Modelling and Analysis of Real Time and Embedded Systems – Using UML….Pages 126-130
Time Exceptions in Sequence Diagrams….Pages 131-142
Applying Model Intelligence Frameworks for Deployment Problem in Real-Time and Embedded Systems….Pages 143-151
OCL for (Meta-)Models in Multiple Application Domains….Pages 152-158
OCL-Based Validation of a Railway Domain Profile….Pages 159-168
OCL Support in an Industrial Environment….Pages 169-178
Report on the 3rd MoDeVa Workshop – Model Design and Validation….Pages 179-181
Towards Model-Driven Unit Testing….Pages 182-192
Validation of Model Transformations – First Experiences Using a White Box Approach….Pages 193-204
Summary of the 2006 Model Size Metrics Workshop….Pages 205-210
Model Size Matters….Pages 211-216
On the Application of Software Metrics to UML Models….Pages 217-226
Summary of the Workshop [email protected] at MoDELS 2006….Pages 227-231
Using Runtime Models to Unify and Structure the Handling of Meta-information in Reflective Middleware….Pages 232-241
Applying OMG D&C Specification and ECA Rules for Autonomous Distributed Component-Based Systems….Pages 242-251
Summary of the Workshop on Multi-Paradigm Modeling: Concepts and Tools….Pages 252-262
Think Global, Act Local: Implementing Model Management with Domain-Specific Integration Languages….Pages 263-276
MoDELS 2006 Doctoral Symposium….Pages 277-277
Model Driven Security Engineering for the Realization of Dynamic Security Requirements in Collaborative Systems….Pages 278-287
Educators’ Symposium at MoDELS 2006….Pages 288-290
If You’re Not Modeling, You’re Just Programming: Modeling Throughout an Undergraduate Software Engineering Program….Pages 291-300
Teaching Software Modeling in a Simulated Project Environment….Pages 301-310
Repository for Model Driven Development (ReMoDD)….Pages 311-317
2 nd UML 2 Semantics Symposium: Formal Semantics for UML….Pages 318-323
A UML Simulator Based on a Generic Model Execution Engine….Pages 324-326
Queries and Constraints: A Comprehensive Semantic Model for UML2….Pages 327-328
Analysis of UML Activities with Dynamic Meta Modeling Techniques….Pages 329-330
Back Matter….Pages –