Model Driven Engineering Languages and Systems

15th International Conference, MODELS 2012, Innsbruck, Austria, September 30–October 5, 2012. Proceedings

  • Robert B. France
  • Jürgen Kazmeier
  • Ruth Breu
  • Colin Atkinson
Conference proceedings MODELS 2012

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

Table of contents

  1. Front Matter
  2. Keynote

    1. Thomas A. Henzinger
      Pages 1-2
  3. MetaModels and Domain Specific Modeling

    1. Jesús Sánchez-Cuadrado, Juan de Lara, Esther Guerra
      Pages 3-19
    2. Florian Noyrit, Sébastien Gérard, Bran Selic
      Pages 20-35
    3. Fazle Rabbi, Wendy MacCaull
      Pages 36-52
  4. Models at RunTime

    1. Andres J. Ramirez, Betty H. C. Cheng, Nelly Bencomo, Pete Sawyer
      Pages 53-69
    2. Germán H. Alférez, Vicente Pelechano
      Pages 70-86
    3. François Fouquet, Grégory Nain, Brice Morin, Erwan Daubert, Olivier Barais, Noël Plouzeau et al.
      Pages 87-101
  5. Model Management I

    1. Markus Scheidgen, Anatolij Zubow, Joachim Fischer, Thomas H. Kolbe
      Pages 102-118
    2. Benoit Combemale, Xavier Thirioux, Benoit Baudry
      Pages 119-133
    3. Ábel Hegedüs, Ákos Horváth, István Ráth, Dániel Varró
      Pages 134-150
  6. Modeling Methods and Tools I

    1. Jean-Marie Favre, Ralf Lämmel, Andrei Varanovich
      Pages 151-167
    2. Rolf-Helge Pfeiffer, Andrzej Wąsowski
      Pages 168-184
    3. Carmine Gravino, Michele Risi, Giuseppe Scanniello, Genoveffa Tortora
      Pages 185-201
  7. Consistency Analysis

    1. Kleinner Farias, Alessandro Garcia, Carlos Lucena
      Pages 219-234
    2. Lars Hamann, Oliver Hofrichter, Martin Gogolla
      Pages 235-251
  8. Software Product Lines I

    1. Julia Schroeter, Malte Lochau, Tim Winkelmann
      Pages 252-268
    2. Martin Fagereng Johansen, Øystein Haugen, Franck Fleurey, Anne Grete Eldegard, Torbjørn Syversen
      Pages 269-284
    3. Vinay Kulkarni, Souvik Barat, Suman Roychoudhury
      Pages 285-301
  9. Foundations of Modeling

    1. Chris Shaver, Edward A. Lee
      Pages 319-334
    2. Shahar Maoz, Yaniv Sa’ar
      Pages 335-351
  10. Model Management II

    1. Adrian Kuhn, Gail C. Murphy, C. Albert Thompson
      Pages 352-367
    2. Yu Sun, Jeff Gray, Karlheinz Bulheller, Nicolaus von Baillou
      Pages 368-382
    3. Rick Salay, Shige Wang, Vivien Suen
      Pages 383-398
  11. Static Analysis Techniques

    1. Ethan K. Jackson, Wolfram Schulte, Nikolaj Bjørner
      Pages 399-414
    2. Mirco Kuhlmann, Martin Gogolla
      Pages 415-431
    3. Fabian Büttner, Marina Egea, Jordi Cabot
      Pages 432-448
  12. Model Testing and Simulation

    1. Carlos A. González, Jordi Cabot
      Pages 449-464
    2. Donghwan Shin, Eunkyoung Jee, Doo-Hwan Bae
      Pages 465-479
    3. El Arbi Aboussoror, Ileana Ober, Iulian Ober
      Pages 480-496
  13. Software Product Lines II

    1. Razieh Behjati, Tao Yue, Lionel Briand
      Pages 497-513
    2. Michael Vierhauser, Paul Grünbacher, Wolfgang Heider, Gerald Holl, Daniela Lettner
      Pages 531-545
  14. Model Transformation

    1. Hajer Saada, Xavier Dolques, Marianne Huchard, Clémentine Nebut, Houari Sahraoui
      Pages 546-561
    2. Vincent Aranega, Anne Etien, Sebastien Mosser
      Pages 562-578
    3. Gerd Kainz, Christian Buckl, Alois Knoll
      Pages 579-594
  15. Model Matching, Tracing and Synchronization

    1. Gunnar Schulze, Joanna Chimiak-Opoka, Jim Arlow
      Pages 595-608
    2. Birgit Grammel, Stefan Kastenholz, Konrad Voigt
      Pages 609-625
    3. Moisés Castelo Branco, Javier Troya, Krzysztof Czarnecki, Jochen Küster, Hagen Völzer
      Pages 626-641
  16. Modeling Methods and Tools II

    1. Muhammad Zohaib Iqbal, Shaukat Ali, Tao Yue, Lionel Briand
      Pages 642-658
    2. Sagar Sunkle, Vinay Kulkarni
      Pages 659-675
    3. Kleinner Farias, Alessandro Garcia, Jon Whittle, Christina Chavez, Carlos Lucena
      Pages 676-691
  17. Modeling Practices and Experience I

    1. Jorge Aranda, Daniela Damian, Arber Borici
      Pages 692-708
    2. Zille Huma, Christian Gerth, Gregor Engels, Oliver Juwig
      Pages 709-725
  18. Model Analysis

    1. James R. Williams, Frank R. Burton, Richard F. Paige, Fiona A. C. Polack
      Pages 743-758
    2. Shiva Nejati, Stefano Di Alesio, Mehrdad Sabetzadeh, Lionel Briand
      Pages 759-775
  19. Modeling Practices and Experience II

    1. Galina Besova, Sven Walther, Heike Wehrheim, Steffen Becker
      Pages 776-792

About these proceedings


This book constitutes the refereed proceedings of the 15th International Conference on Model Driven Engineering Languages and Systems, MODELS 2012, held in Innsbruck, Austria, in September/October 2012.
The 50 papers presented in this volume were carefully reviewed and selected from a total of 181 submissions. They are organized in topical sections named: metamodels and domain specific modeling; models at runtime; model management; modeling methods and tools, consistency analysis, software product lines; foundations of modeling; static analysis techniques; model testing and simulation; model transformation; model matching, tracing and synchronization; modeling practices and experience; and model analysis.


OCL UML models large-scale software development model-driven development software modeling languages

Editors and affiliations

  • Robert B. France
    • 1
  • Jürgen Kazmeier
    • 2
  • Ruth Breu
    • 3
  • Colin Atkinson
    • 4
  1. 1.Department of Computer ScienceColorado State UniversityFort CollinsUSA
  2. 2.Healthcare Services International, Managed ServicesSiemens AGErlangenGermany
  3. 3.Institute of Computer ScienceUniversity of InnsbruckInnsbruckAustria
  4. 4.Software Engineering Group, A5, 6University of MannheimMannheimGermany

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2012
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-642-33665-2
  • Online ISBN 978-3-642-33666-9
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Finance, Business & Banking
IT & Software
Consumer Packaged Goods
Oil, Gas & Geosciences