Model Driven Engineering Languages and Systems

1. Front Matter

   PDF

2. Keynote 1

   1. A Unified Approach to Modeling and Programming

      • Ole Lehrmann Madsen, Birger Møller-Pedersen

      Pages 1-15

3. Session 1a: Genericity and Generalization

   1. Generic Meta-modelling with Concepts, Templates and Mixin Layers

      • Juan de Lara, Esther Guerra

      Pages 16-30

   2. An Observer-Based Notion of Model Inheritance

      • Thomas Kühne

      Pages 31-45

   3. MDE-Based Approach for Generalizing Design Space Exploration

      • Tripti Saxena, Gabor Karsai

      Pages 46-60

4. Session 1b: Model Migration and Incremental Manipulation

   1. A Comparison of Model Migration Tools

      • Louis M. Rose, Markus Herrmannsdoerfer, James R. Williams, Dimitrios S. Kolovos, Kelly Garcés, Richard F. Paige et al.

      Pages 61-75

   2. Incremental Evaluation of Model Queries over EMF Models

      • Gábor Bergmann, Ákos Horváth, István Ráth, Dániel Varró, András Balogh, Zoltán Balogh et al.

      Pages 76-90

   3. Active Operations on Collections

      • Olivier Beaudoux, Arnaud Blouin, Olivier Barais, Jean-Marc Jézéquel

      Pages 91-105

5. Session 1c: Modeling Model Transformations

   1. transML: A Family of Languages to Model Model Transformations

      • Esther Guerra, Juan de Lara, Dimitrios S. Kolovos, Richard F. Paige, Osmar Marchi dos Santos

      Pages 106-120

   2. Henshin: Advanced Concepts and Tools for In-Place EMF Model Transformations

      • Thorsten Arendt, Enrico Biermann, Stefan Jurack, Christian Krause, Gabriele Taentzer

      Pages 121-135

   3. A Technique for Automatic Validation of Model Transformations

      • Levi Lúcio, Bruno Barroca, Vasco Amaral

      Pages 136-150

6. Session 2a: Verifying Consistency and Conformance

   1. Static- and Dynamic Consistency Analysis of UML State Chart Models

      • Christian Schwarzl, Bernhard Peischl

      Pages 151-165

   2. Verifying Semantic Conformance of State Machine-to-Java Code Generators

      • Lukman Ab Rahim, Jon Whittle

      Pages 166-180

   3. A Dynamic-Priority Based Approach to Fixing Inconsistent Feature Models

      • Bo Wang, Yingfei Xiong, Zhenjiang Hu, Haiyan Zhao, Wei Zhang, Hong Mei

      Pages 181-195

7. Session 2b: Taming Modeling Complexity

   1. Taming Graphical Modeling

      • Hauke Fuhrmann, Reinhard von Hanxleden

      Pages 196-210

   2. Taming EMF and GMF Using Model Transformation

      • Dimitrios S. Kolovos, Louis M. Rose, Saad Bin Abid, Richard F. Paige, Fiona A. C. Polack, Goetz Botterweck

      Pages 211-225

   3. A Visual Traceability Modeling Language

      • Patrick Mäder, Jane Cleland-Huang

      Pages 226-240

8. Session 2c: Modeling User-System Interaction

   1. Application Logic Patterns – Reusable Elements of User-System Interaction

      • Albert Ambroziewicz, Michał Śmiałek

      Pages 241-255

   2. A Metamodel-Based Approach for Automatic User Interface Generation

      • António Miguel Rosado da Cruz, João Pascoal Faria

      Pages 256-270

   3. Rapid UI Development for Enterprise Applications: Combining Manual and Model-Driven Techniques

      • Arne Schramm, André Preußner, Matthias Heinrich, Lars Vogel

      Pages 271-285

The MODELS series of conferences is the premier venue for the exchange of - novative technical ideas and experiences focusing on a very important new te- nical discipline: model-driven software and systems engineering. The expansion ofthisdisciplineisadirectconsequenceoftheincreasingsigni?canceandsuccess of model-based methods in practice. Numerous e?orts resulted in the invention of concepts, languagesand tools for the de?nition, analysis,transformation, and veri?cationofdomain-speci?cmodelinglanguagesandgeneral-purposemodeling language standards, as well as their use for software and systems engineering. MODELS 2010, the 13th edition of the conference series, took place in Oslo, Norway, October 3-8, 2010, along with numerous satellite workshops, symposia and tutorials. The conference was fortunate to have three prominent keynote speakers: Ole Lehrmann Madsen (Aarhus University, Denmark), Edward A. Lee (UC Berkeley, USA) and Pamela Zave (AT&T Laboratories, USA). To provide a broader forum for reporting on scienti?c progress as well as on experience stemming from practical applications of model-based methods, the 2010 conference accepted submissions in two distinct tracks: Foundations and Applications. The primary objective of the ?rst track is to present new research results dedicated to advancing the state-of-the-art of the discipline, whereas the second aims to provide a realistic and veri?able picture of the current state-- the-practice of model-based engineering, so that the broader community could be better informed of the capabilities and successes of this relatively young discipline. This volume contains the ?nal version of the papers accepted for presentation at the conference from both tracks.

• Action
• BPM
• Factor
• Requirements Engineering
• architecture analysis
• architecture description language
• business process modeling
• code generation
• complexity
• component-based systems
• computational geometry
• constraint interpretation
• design language
• modeling
• quality assurance

• Department of Systems and Computer Engineering, Carleton University, Ottawa, Canada

  Dorina C. Petriu

• Jet Propulsion Laboratory, Flight Software Systems Engineering and Srchitecture Group, Pasadena, USA

  Nicolas Rouquette

• SINTEF IKT, Oslo, Norway

  Øystein Haugen