Model Driven Engineering Languages and Systems

11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008. Proceedings

  • Editors
  • Krzysztof Czarnecki
  • Ileana Ober
  • Jean-Michel Bruel
  • Axel Uhl
  • Markus Völter
Conference proceedings MODELS 2008

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

Table of contents

  1. Front Matter
  2. Keynote I

    1. Don Batory, Maider Azanza, João Saraiva
      Pages 1-20
    2. Model Transformation: Foundations

      1. Jordi Cabot, Robert Clarisó, Esther Guerra, Juan de Lara
        Pages 37-52
      2. Enrico Biermann, Claudia Ermel, Gabriele Taentzer
        Pages 53-67
    3. Requirements Modeling

      1. Denis Hatebur, Maritta Heisel, Holger Schmidt
        Pages 68-82
      2. Javier J. Gutiérrez, Clémentine Nebut, María J. Escalona, Manuel Mejías, Isabel M. Ramos
        Pages 83-96
      3. Avik Sinha, Matthew Kaplan, Amit Paradkar, Clay Williams
        Pages 97-112
    4. Domain-Specific Modeling

      1. Zef Hemel, Ruben Verhaaf, Eelco Visser
        Pages 113-127
      2. Andreas Svendsen, Gøran K. Olsen, Jan Endresen, Thomas Moen, Erik Carlson, Kjell-Joar Alme et al.
        Pages 128-142
      3. Trip Denton, Edward Jones, Srini Srinivasan, Ken Owens, Richard W. Buskens
        Pages 143-157
  3. Keynote II

    1. Model Transformation: Techniques

      1. Marouane Kessentini, Houari Sahraoui, Mounir Boukadoum
        Pages 159-173
      2. Romain Robbes, Michele Lanza
        Pages 174-188
      3. Ghizlane El-Boussaidi, Hafedh Mili
        Pages 189-203
    2. Composition and Analysis of Behavioral Models

      1. Hongzhi Liang, Zinovy Diskin, Juergen Dingel, Ernesto Posse
        Pages 204-218
      2. Iulian Ober, Bernard Coulette, Younes Lakhrissi
        Pages 219-233
      3. Lijun Yu, Robert B. France, Indrakshi Ray
        Pages 234-248
    3. Model Comprehension

      1. Louis M. Rose, Richard F. Paige, Dimitrios S. Kolovos, Fiona A. C. Polack
        Pages 249-263
      2. Paul McIntosh, Margaret Hamilton, Ron van Schyndel
        Pages 264-279
      3. Marcela Genero, José A. Cruz-Lemus, Danilo Caivano, Silvia Abrahão, Emilio Insfran, José A. Carsí
        Pages 280-294
  4. Keynote III

    1. Model Management

      1. Daniel Lucrédio, Renata P. de M. Fortes, Jon Whittle
        Pages 296-310
      2. Antonio Cicchetti, Davide Di Ruscio, Alfonso Pierantonio
        Pages 311-325
      3. Jean-Rémy Falleri, Marianne Huchard, Mathieu Lafourcade, Clémentine Nebut
        Pages 326-340
    2. Behavioral Conformance and Refinement

      1. Stefan Jurack, Leen Lambers, Katharina Mehner, Gabriele Taentzer
        Pages 341-355
      2. Hong-Viet Luong, Thomas Lambolais, Anne-Lise Courbis
        Pages 356-370
      3. Guillaume Waignier, Prawee Sriplakich, Anne-Françoise Le Meur, Laurence Duchien
        Pages 371-385
    3. Metamodeling and Modularity

      1. Ingo Weisemöller, Andy Schürr
        Pages 386-400
      2. Anders Hessellund, Andrzej Wąsowski
        Pages 401-415
      3. Nikola Milanovic, Ralf Kutsche, Timo Baum, Mario Cartsburg, Hatice Elmasgünes, Marco Pohl et al.
        Pages 416-430
    4. Constraints

      1. Mikoláš Janota, Victoria Kuzina, Andrzej Wąsowski
        Pages 431-445
      2. Martin Gogolla, Mirco Kuhlmann, Fabian Büttner
        Pages 446-459
    5. Model Analysis

      1. Marwa Shousha, Lionel Briand, Yvan Labiche
        Pages 475-489
      2. Martin Monperrus, Jean-Marc Jézéquel, Joël Champeau, Brigitte Hoeltzener
        Pages 505-519
    6. Service-Oriented Architectures

      1. Judith E. Y. Rossebø, Ragnhild Kobro Runde
        Pages 520-536
      2. Tejeddine Mouelhi, Franck Fleurey, Benoit Baudry, Yves Le Traon
        Pages 537-552
      3. Bahman Zamani, Sahar Kayhani, Greg Butler
        Pages 553-567
    7. Adaptive and Autonomic Systems

      1. Benoît Combemale, Laurent Broto, Xavier Crégut, Michel Daydé, Daniel Hagimont
        Pages 584-599
    8. Empirical Studies

      1. Ariadi Nugroho, Bas Flaton, Michel R. V. Chaudron
        Pages 600-614
      2. Carmine Gravino, Giuseppe Scanniello, Genoveffa Tortora
        Pages 615-629
    9. Evolution and Reverse Engineering

      1. Sander Vermolen, Eelco Visser
        Pages 630-644
      2. Markus Herrmannsdoerfer, Sebastian Benz, Elmar Juergens
        Pages 645-659
      3. Andrea Brühlmann, Tudor Gîrba, Orla Greevy, Oscar Nierstrasz
        Pages 660-674
    10. Modeling Language Semantics

      1. Michelle L. Crane, Juergen Dingel
        Pages 675-689
      2. Adam Prout, Joanne M. Atlee, Nancy A. Day, Pourya Shaker
        Pages 705-720

Other volumes

  1. Model Driven Engineering Languages and Systems
    11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008. Proceedings
  2. Workshops and Symposia at MODELS 2008, Toulouse, France, September 28 - October 3, 2008. Reports and Revised Selected Papers

About these proceedings


This book constitutes the refereed proceedings of the 11th International Conference on Model Driven Engineering Languages and Systems, MoDELS 2008, held in Toulouse, France, during September 28-October 3, 2008.

The 58 revised full papers presented were carefully reviewed and selected from 271 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 Model Transformation: Foundations; Requirements Modeling; Domain-Specific Modeling; Model Transformation: Techniques, Composition and Analysis of Behavioral Models; Model Comprehension; Model Management; Behavioral Conformance and Refinement; Metamodeling and Modularity; Constraints; Model Analysis; Service-Oriented Architectures; Adaptive and Autonomic Systems; Empirical Studies; Evolution and Reverse Engineering; Modeling Language Semantics; Dependability Analysis and Testing; Aspect-Oriented Modeling; Structural Modeling;and  Embedded Systems.


3D software visualization Ada Constraint deontic constraints embedded system formal methods formal semantics metamodeling model model transformation model-based software architecture model-driven software development modeling multi-level modeling object technology

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2008
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-87874-2
  • Online ISBN 978-3-540-87875-9
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site