Model Driven Engineering Languages and Systems : 13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010, Proceedings, Part I

by Petriu, Dorina C.; Rouquette, Nicolas; Haugen, ?stein

• ISBN13: 9783642161445
• ISBN10: 3642161448
• Format: Paperback
• Copyright: 2010-10-17
• Publisher: Springer Verlag

Summary

This book is part I of a two-volume work that contains the refereed proceedings of the 13th International Conference on Model Driven Engineering Languages and Systems, MODELS 2010, held in Oslo, Norway, during October 3-8, 2010.The 54 revised full papers presented were carefully reviewed and selected from 252 submissions. The papers are organized in topical sections on genericity and generalization, model migration and incremental manipulation, modeling model transformations, verifying consistency and conformance, taming modeling complexity, modeling user-system interaction, model-driven quality assurance, managing variability, multi-modeling approaches, distributed/embedded software development, (de)composition and refactoring, model change, (meta)models at runtime, requirements engineering, slicing and model transformations, incorporating quality concerns in MDD, model-driven engineering in practice, and modeling architecture.

Table of Contents

Keynote 1
A Unified Approach to Modeling and Programming	p. 1
Genericity and Generalization
Generic Meta-modelling with Concepts, Templates and Mixin Layers	p. 16
An Observer-Based Notion of Model Inheritance	p. 31
MDE-Based Approach for Generalizing Design Space Exploration	p. 46
Model Migration and Incremental Manipulation
A Comparison of Model Migration Tools	p. 61
Incremental Evaluation of Model Queries over EMF Models	p. 76
Active Operations on Collections	p. 91
Modeling Model Transformations
transML: A Family of Languages to Model Model Transformations	p. 106
Henshin: Advanced Concepts and Tools for In-Place EMF Model Transformations	p. 121
A Technique for Automatic Validation of Model Transformations	p. 136
Verifying Consistency and Conformance
Static- and Dynamic Consistency Analysis of UML State Chart Models	p. 151
Verifying Semantic Conformance of State Machine-to-Java Code Generators	p. 166
A Dynamic-Priority Based Approach to Fixing Inconsistent Feature Models	p. 181
Taming Modeling Complexity
Taming Graphical Modeling	p. 196
Taming EMF and GMF Using Model Transformation	p. 211
A Visual Traceability Modeling Language	p. 226
Modeling User-System Interaction
Application Logic Patterns - Reusable Elements of User-System Interaction	p. 241
A Metamodel-Based Approach for Automatic User Interface Generation	p. 256
Rapid UI Development for Enterprise Applications: Combining Manual and Model-Driven Techniques	p. 271
Model-Driven Quality Assurance
Environment Modeling with UML/MARTE to Support Black-Box System Testing for Real-Time Embedded Systems: Methodology and Industrial Case Studies	p. 286
Improving Test Models for Large Scale Industrial Systems: An Inquisitive Study	p. 301
Automatically Discovering Properties That Specify the Latent Behavior of UML Models	p. 316
Managing Variability
Towards a Semantics of Activity Diagrams with Semantic Variation Points	p. 331
An AADL-Based Approach to Variability Modeling of Automotive Control Systems	p. 346
Extending Variability for OCL Interpretation	p. 361
Multi-Modeling Approaches
Inter-Modelling: From Theory to Practice	p. 376
Consistent Modeling Using Multiple UML Profiles	p. 392
A Systematic Review on the Definition of UML Profiles	p. 407
Author Index	p. 423
Table of Contents provided by Ingram. All Rights Reserved.