Skip to main content
  • Conference proceedings
  • © 2010

Model Driven Engineering Languages and Systems

13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010, Proceedings, Part I

  • Fast track conference proceedings

  • Unique visibility

  • State-of-the-art research

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 6394)

Part of the book sub series: Programming and Software Engineering (LNPSE)

Conference series link(s): MODELS: International Conference on Model Driven Engineering Languages and Systems

Conference proceedings info: MODELS 2010.

Buying options

eBook USD 84.99
Price excludes VAT (USA)
  • ISBN: 978-3-642-16145-2
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 109.00
Price excludes VAT (USA)

This is a preview of subscription content, access via your institution.

Table of contents (28 papers)

  1. Front Matter

  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. 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. 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

Other Volumes

About this book

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

Editors and Affiliations

  • 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

Bibliographic Information

Buying options

eBook USD 84.99
Price excludes VAT (USA)
  • ISBN: 978-3-642-16145-2
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 109.00
Price excludes VAT (USA)