Model Driven Engineering Languages and Systems

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

  • Andy Schürr
  • Bran Selic
Conference proceedings MODELS 2009

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

  9. Scenario Modeling

    1. Petra Brosch, Philip Langer, Martina Seidl, Konrad Wieland, Manuel Wimmer, Gerti Kappel et al.
      Pages 271-285
    2. Gunter Mussbacher, Daniel Amyot, Jon Whittle
      Pages 286-300
    3. Shahar Maoz, Jani Metsä, Mika Katara
      Pages 301-306
  10. Business Application Development

  11. Model Synchronisation and Change Propagation

    1. István Ráth, Gergely Varró, Dániel Varró
      Pages 342-356
    2. Christopher Wolfe, T. C. Nicholas Graham, W. Greg Phillips
      Pages 357-371
    3. Jonas Helming, Maximilian Koegel, Helmut Naughton, Joern David, Aleksandar Shterev
      Pages 372-376
  12. Keynote 2

    1. Larry L. Constantine
      Pages 377-377
  13. Language Specification and Annotation

    1. Christian Soltenborn, Gregor Engels
      Pages 378-392
    2. Man-Kit Leung, Thomas Mandl, Edward A. Lee, Elizabeth Latronico, Charles Shelton, Stavros Tripakis et al.
      Pages 393-407
    3. Tobias Walter, Fernando Silva Parreiras, Steffen Staab
      Pages 408-422
  14. Domain-Specific Languages

    1. Felienne Hermans, Martin Pinzger, Arie van Deursen
      Pages 423-437
    2. Philippe Dhaussy, Pierre-Yves Pillain, Stephen Creff, Amine Raji, Yves Le Traon, Benoit Baudry
      Pages 438-452
  15. Model-Based Analysis

  16. Model (De-)Composition and Abstractio

    1. Jacques Klein, Jörg Kienzle, Brice Morin, Jean-Marc Jézéquel
      Pages 514-530
    2. Jon Oldevik, Massimiliano Menarini, Ingolf Krüger
      Pages 531-545
    3. Jendrik Johannes, Steffen Zschaler, Miguel A. Fernández, Antonio Castillo, Dimitrios S. Kolovos, Richard F. Paige
      Pages 546-550
    4. Andrés Yie, Rubby Casallas, Dennis Wagelaar, Dirk Deridder
      Pages 551-555
  17. Distributed Software Development

    1. Doron Drusinsky, Man-Tak Shing
      Pages 586-590
  18. Service and Business Process Integration

    1. Naeem Esfahani, Sam Malek, João P. Sousa, Hassan Gomaa, Daniel A. Menascé
      Pages 591-605
    2. Michael Shtelma, Mario Cartsburg, Nikola Milanovic
      Pages 622-626
  19. Keynote 3

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 Computer Science (R0)
  • Print ISBN 978-3-642-04424-3
  • Online ISBN 978-3-642-04425-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Chemical Manufacturing
IT & Software
Finance, Business & Banking
Energy, Utilities & Environment