Model Driven Engineering Languages and Systems

12th International Conference, MODELS 2009, Denver, CO, USA, October 4-9, 2009. Proceedings

  • Andy Schürr
  • Bran Selic

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

Table of contents

  1. Front Matter
  2. Keynote 1

    1. Stephen J. Mellor
      Pages 1-1
  3. (Meta-)Model Modeling and Management

    1. Pierre-Alain Muller, Frédéric Fondement, Benoît Baudry
      Pages 2-16
    2. Thomas Aschauer, Gerd Dauenhauer, Wolfgang Pree
      Pages 17-31
    3. Sagar Sen, Naouel Moha, Benoit Baudry, Jean-Marc Jézéquel
      Pages 32-46
  4. Quantitative Modeling with UML

  5. Model Transformations and Constraints

    1. Raphaël Chenouard, Frédéric Jouault
      Pages 92-106
    2. Ákos Horváth, Dániel Varró
      Pages 107-121
    3. Mathias Kleiner, Patrick Albert, Jean Bézivin
      Pages 122-136
  6. Model Management

    1. Christian Thum, Michael Schwind, Martin Schader
      Pages 137-151
    2. Christian Gerth, Jochen M. Küster, Gregor Engels
      Pages 152-166
    3. Lars Bendix, Pär Emanuelsson
      Pages 167-180
  7. UML in Practice and Quality Assurance

  8. Formalization of Model Transformations

Other volumes

  1. Model Driven Engineering Languages and Systems
    12th International Conference, MODELS 2009, Denver, CO, USA, October 4-9, 2009. Proceedings
  2. Workshops and Symposia at MODELS 2009, Denver, CO, USA, October 4-9, 2009, Reports and Revised Selected Papers

About these proceedings


This book constitutes the refereed proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems, MoDELS 2009, held in Denver, CO, USA, during October 4-9, 2009.

The 45 revised full papers and 13 short papers presented were carefully reviewed and selected from 248 submissions. The book also contains three keynote speeches and contributions to workshops, symposia, tutorials and panels at the conference. The papers are organized in topical sections on (meta-)model Modeling and Management, quantitative modeling with UML, model transformations and contraints, model management, UML in practice and quality assurance, formalization of model transformations, scenario modeling, business application development, model synchronisation and change propagation, language specification and annotation, domain-specific languages, model-based analysis, model (de-)composition and abstraction, distributed software development, service and business process integration, genericity and constraints, variability management, and model transformation engineering.


Action Constraint UML modeling business process modeling collaborative modeling formal validation graph grammers meta modeling model transformations model-driven development modeling ontologies process models quality assurance structured analysis

Editors and affiliations

  • Andy Schürr
    • 1
  • Bran Selic
    • 2
  1. 1.Fachgebiet EchtzeitsystemeTechnische Universität DarmstadtDarmstadt,Germany
  2. 2.Malina Software CorporationOntarioCanada

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2009
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-04424-3
  • Online ISBN 978-3-642-04425-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book