Models in Software Engineering: Workshops and Symposia at MODELS 2007 Nashville, TN, USA, September 30 - October 5, 2007, Reports and Revised Selected Papers (Lecture Notes in Computer Science, 5002)

Annotation This book constitutes the thoroughly refereed post-workshop proceedings of 10 international workshops and 2 symposia held as satellite events of the 10th International Conference on Model Driven Engineering Languages and Systems, MoDELS 2007, in Nashville, TN, USA, in September/October 2007 (see LNCS 4735). The 29 revised full papers were carefully selected for inclusion in the book and are presented along with a doctoral and an educators' symposium section. The papers are organized in topical sections representing the various workshops: aspect-oriented modeling (AOM 2007), language engineering (ATEM2007), model driven development of advanced user interfaces (MDDAUI 2007), model size metrics (MSM 2007), model-based design of trustworthy health information systems (MOTHIS 2007), model-driven engineering, verification and validation (MoDeVVa 2007), modelling systems with OCL (Ocl4All 2007), Models@run.time, multi-paradigm modeling: concepts and tools (MPM 2007), quality in modeling, doctoral symposium, and educators' symposium Front Matter....Pages - 11th International Workshop on Aspect-Oriented Modeling....Pages 1-6 A Generic Approach for Automatic Model Composition....Pages 7-15 MATA: A Tool for Aspect-Oriented Modeling Based on Graph Transformation....Pages 16-27 4th International Workshop on Language Engineering (ATEM 2007)....Pages 28-33 Designing Syntax Embeddings and Assimilations for Language Libraries....Pages 34-46 A Comparison of Standard Compliant Ways to Define Domain Specific Languages....Pages 47-58 Third International Workshop on Model Driven Development of Advanced User Interfaces....Pages 59-64 Domain-Specific Methods and Tools for the Design of Advanced Interactive Techniques....Pages 65-76 Transforming Discourse Models to Structural User Interface Models....Pages 77-88 Second International Workshop on Model Size Metrics....Pages 89-92 On the Relation between Class-Count and Modeling Effort....Pages 93-104 Measuring the Level of Abstraction and Detail of Models in the Context of MDD....Pages 105-114 First International Workshop on the Model-Based Design of Trustworthy Health Information Systems....Pages 115-117 Rigorously Defining and Analyzing Medical Processes: An Experience Report....Pages 118-131 Modeling and Enforcing Advanced Access Control Policies in Healthcare Systems with Sectet ....Pages 132-144 4th International Workshop on Model Driven Engineering, Verification, and Validation: Integrating Verification and Validation in MDE....Pages 145-150 Deriving Input Partitions from UML Models for Automatic Test Generation....Pages 151-163 Putting Performance Engineering into Model-Driven Engineering: Model-Driven Performance Engineering....Pages 164-175 7th International Workshop on Ocl4All: Modelling Systems with OCL....Pages 176-181 Model-Level Integration of the OCL Standard Library Using a Pivot Model with Generics Support....Pages 182-193 Evaluation of OCL for Large-Scale Modelling: A Different View of the Mondex Purse....Pages 194-205 Second International Workshop on Models@run.time....Pages 206-211 AMOEBA-RT: Run-Time Verification of Adaptive Software....Pages 212-224 Model-Based Run-Time Error Detection....Pages 225-236 Second International Workshop on Multi-Paradigm Modeling: Concepts and Tools....Pages 237-246 ModHel’X: A Component-Oriented Approach to Multi-Formalism Modeling....Pages 247-258 Domain-Specific Model Editors with Model Completion....Pages 259-270 Third Intenational Workshop on Quality in Modeling....Pages 271-274 Developing a Quality Framework for Model-Driven Engineering....Pages 275-286 Doctoral Symposium....Pages 287-292 Models in Conflict – Towards a Semantically Enhanced Version Control System for Models....Pages 293-304 Aspect-Oriented User Requirements Notation: Aspects in Goal and Scenario Models....Pages 305-316 Educators’ Symposium....Pages 317-319 Back Matter....Pages -

this Book Constitutes The Thoroughly Refereed Post-workshop Proceedings Of 10 Internationl Workshops And 2 Symposia Held As Satellite Events Of The 10th International Conference On Model Driven Engineering Languages And Systems, Models 2007, In Nashville, Tn, Usa, In September/october 2007 (see Lncs 4735).

the 29 Revised Full Papers Were Carefully Selected For Inclusion In The Book And Are Presented Along With A Doctoral And An Educators' Symposium Section. The Papers Are Organized In Topical Sections Representing The Various Workshops: Aspect-oriented Modeling (aom 2007), Language Engineering (atem2007), Model Driven Development Of Advanced User Interfaces (mddaui 2007), Model Size Metrics (msm 2007), Model-based Design Of Trustworthy Health Information Systems (mothis 2007), Model-driven Engineering, Verification And Validation (modevva 2007), Modelling Systems With Ocl (ocl4all 2007), Models@run.time, Multi-paradigm Modeling: Concepts And Tools (mpm 2007), Quality In Modeling, Doctoral Symposium, And Educators' Symposium.

Covers aspect-oriented modeling, language engineering, model driven development of advanced user interfaces, model size metrics, model-based design of trustworthy health information systems, model-driven engineering, verification and validation, and modelling systems with OCL.