Models in Software Engineering: Workshops and Symposia at MoDELS 2007, Nashville, TN, USA, September 30 - October 5, 2007, Reports and Revised Selected Papers

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 -