Model Driven Engineering Languages and Systems

14th International Conference, MODELS 2011, Wellington, New Zealand, October 16-21, 2011. Proceedings

  • Jon Whittle
  • Tony Clark
  • Thomas Kühne
Conference proceedings MODELS 2011

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

Table of contents

  1. Front Matter
  2. Keynote 1

  3. Model Transformations 1

    1. Mauro Luigi Drago, Carlo Ghezzi, Raffaela Mirandola
      Pages 2-16
    2. Massimo Tisi, Salvador Martínez, Frédéric Jouault, Jordi Cabot
      Pages 32-46
  4. Model Complexity

    1. Arnaud Blouin, Benoît Combemale, Benoit Baudry, Olivier Beaudoux
      Pages 62-76
    2. Javier Espinazo Pagán, Jesúss Sánchez Cuadrado, Jesús García Molina
      Pages 77-92
  5. Aspect-Oriented Modeling

    1. Johan Fabry, Arturo Zambrano, Silvia Gordillo
      Pages 93-107
    2. Shaukat Ali, Lionel C. Briand, Andrea Arcuri, Suneth Walawege
      Pages 108-122
    3. Wisam Al Abed, Jörg Kienzle
      Pages 123-137
  6. Analysis and Comprehension of Models

    1. Gianna Reggio, Filippo Ricca, Giuseppe Scanniello, Francesco Di Cerbo, Gabriella Dodero
      Pages 138-152
    2. Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe
      Pages 153-167
    3. Gabriele Bavota, Carmine Gravino, Rocco Oliveto, Andrea De Lucia, Genoveffa Tortora, Marcela Genero et al.
      Pages 168-182
  7. Domain-Specific Modeling

  8. Models for Embedded Systems

    1. Ali Koudri, Arnaud Cuccuru, Sebastien Gerard, François Terrier
      Pages 243-257
    2. Bakr Al-Batran, Bernhard Schätz, Benjamin Hummel
      Pages 258-272
  9. Model Synchronization

    1. Hui Song, Gang Huang, Franck Chauvel, Wei Zhang, Yanchun Sun, Weizhong Shao et al.
      Pages 273-288
    2. Mickael Clavreul, Sébastien Mosser, Mireille Blay–Fornarino, Robert B. France
      Pages 289-303
    3. Zinovy Diskin, Yingfei Xiong, Krzysztof Czarnecki, Hartmut Ehrig, Frank Hermann, Fernando Orejas
      Pages 304-318
  10. Model-Based Resource Management

    1. Brahim Hamid, Sigrid Gürgens, Christophe Jouvray, Nicolas Desnos
      Pages 319-333
    2. Franck Fleurey, Brice Morin, Arnor Solberg, Olivier Barais
      Pages 349-363
  11. Analysis of Class Diagrams

    1. Maged Elaasar, Yvan Labiche
      Pages 364-378
    2. Ingo Feinerer, Gernot Salzer, Tanja Sisel
      Pages 379-393
  12. Keynote 2

  13. Verification and Validation 1

    1. Antonio García-Domínguez, Dimitrios S. Kolovos, Louis M. Rose, Richard F. Paige, Inmaculada Medina-Bulo
      Pages 395-409
    2. Yann Moffett, Alain Beaulieu, Juergen Dingel
      Pages 410-424
    3. Harald Cichos, Sebastian Oster, Malte Lochau, Andy Schürr
      Pages 425-439
  14. Refactoring Models

    1. Friedrich Steimann
      Pages 440-454
    2. Motohiro Akiyama, Shinpei Hayashi, Takashi Kobayashi, Motoshi Saeki
      Pages 455-469
  15. Modeling Visions

    1. Dmitrijs Zaparanuks, Matthias Hauswirth
      Pages 470-479
    2. Claas Wilke, Sebastian Götz, Jan Reimann, Uwe Aßmann
      Pages 480-489
    3. Uli Fahrenberg, Axel Legay, Andrzej Wąsowski
      Pages 490-500
  16. Logics and Modeling

    1. Andres J. Ramirez, Betty H. C. Cheng
      Pages 501-516
    2. Mira Balaban, Michael Kifer
      Pages 517-532
    3. Kurt Stenzel, Nina Moebius, Wolfgang Reif
      Pages 533-547
  17. Development Methods

    1. Mehdi Iraqi-Houssaini, Mathias Kleiner, Lionel Roucoules
      Pages 548-562
    2. Sayaka Izukura, Kazuo Yanoo, Takao Osaki, Hiroshi Sakaki, Daichi Kimura, Jianwen Xiang
      Pages 563-577
    3. Vinay Kulkarni, Souvik Barat, Uday Ramteerthkar
      Pages 578-590
  18. Keynote 3

    1. Wolfram Schulte, Ethan K. Jackson
      Pages 591-591
  19. Model Transformations 2

    1. Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe
      Pages 592-607
    2. Antoine Floch, Tomofumi Yuki, Clement Guy, Steven Derrien, Benoit Combemale, Sanjay Rajopadhye et al.
      Pages 608-622
    3. Dennis Wagelaar, Massimo Tisi, Jordi Cabot, Frédéric Jouault
      Pages 623-637
  20. Verification and Validation 2

    1. Martin Fagereng Johansen, Øystein Haugen, Franck Fleurey
      Pages 638-652
    2. Ethan K. Jackson, Tihamér Levendovszky, Daniel Balasubramanian
      Pages 653-667
    3. Frank Hermann, Hartmut Ehrig, Fernando Orejas, Krzysztof Czarnecki, Zinovy Diskin, Yingfei Xiong
      Pages 668-682

Other volumes

  1. Model Driven Engineering Languages and Systems
    14th International Conference, MODELS 2011, Wellington, New Zealand, October 16-21, 2011. Proceedings
  2. Workshops and Symposia at MODELS 2011, Wellington, New Zealand, October 16-21, 2011, Reports and Revised Selected Papers

About these proceedings


This book constitutes the refereed proceedings of the 14th International Conference on Model Driven Engineering Languages and Systems, MODELS 2011, held in Wellington, New Zealand, in October 2011. The papers address a wide range of topics in research (foundations track) and practice (applications track). For the first time a new category of research papers, vision papers, are included presenting "outside the box" thinking. The foundations track received 167 full paper submissions, of which 34 were selected for presentation. Out of these, 3 papers were vision papers. The application track received 27 submissions, of which 13 papers were selected for presentation. The papers are organized in topical sections on model transformation, model complexity, aspect oriented modeling, analysis and comprehension of models, domain specific modeling, models for embedded systems, model synchronization, model based resource management, analysis of class diagrams, verification and validation, refactoring models, modeling visions, logics and modeling, development methods, and model integration and collaboration.


aspect-oriented modeling computer supported cooperative work formal modeling model checking software product lines

Editors and affiliations

  • Jon Whittle
    • 1
  • Tony Clark
    • 2
  • Thomas Kühne
    • 3
  1. 1.School of Computing and CommunicationsLancaster UniversityLancasterUK
  2. 2.School of Engineering and Information SciencesMiddlesex UniversityLondonUK
  3. 3.School of Engineering and Computer ScienceVictoria UniversityWellingtonNew Zealand

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag GmbH Berlin Heidelberg 2011
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-642-24484-1
  • Online ISBN 978-3-642-24485-8
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Chemical Manufacturing
Finance, Business & Banking
IT & Software
Consumer Packaged Goods
Energy, Utilities & Environment