Modelling Foundations and Applications

7th European Conference, ECMFA 2011, Birmingham, UK, June 6 - 9, 2011 Proceedings

  • Robert B. France
  • Jochen M. Kuester
  • Behzad Bordbar
  • Richard F. Paige
Conference proceedings ECMFA 2011

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

Table of contents

  1. Front Matter
  2. Keynote

    1. Wilhelm Schäfer
      Pages 1-2
  3. Model Execution

    1. Eric Cariou, Cyril Ballagny, Alexandre Feugas, Franck Barbier
      Pages 3-18
    2. Ralf Ellner, Samir Al-Hilank, Johannes Drexler, Martin Jung, Detlef Kips, Michael Philippsen
      Pages 19-34
    3. Benoît Combemale, Laure Gonnord, Vlad Rusu
      Pages 35-51
  4. Model Analysis

    1. Jan Jürjens, Loïc Marchal, Martín Ochoa, Holger Schmidt
      Pages 52-68
    2. Ragnhild Van Der Straeten, Jorge Pinna Puissant, Tom Mens
      Pages 69-84
    3. Jerome Le Noir, Olivier Delande, Daniel Exertier, Marcos Aurélio Almeida da Silva, Xavier Blanc
      Pages 85-96
  5. Methodology

  6. Model Management (1)

    1. Joel Greenyer, Sebastian Pook, Jan Rieke
      Pages 144-159
    2. Guillaume Doux, Patrick Albert, Gabriel Barbier, Jordi Cabot, Marcos Didonet Del Fabro, Scott Uk-Jin Lee
      Pages 160-171
    3. Thomas Goldschmidt, Axel Uhl
      Pages 172-188
  7. Transformations

    1. Xavier Dolques, Aymen Dogui, Jean-Rémy Falleri, Marianne Huchard, Clémentine Nebut, François Pfister
      Pages 189-204
    2. Dominik Gessenharter, Martin Rauscher
      Pages 205-220
    3. Martin Gogolla, Antonio Vallecillo
      Pages 221-235
  8. Variability Analysis and ADLs

    1. Razieh Behjati, Tao Yue, Shiva Nejati, Lionel Briand, Bran Selic
      Pages 236-252
    2. Andreas Svendsen, Øystein Haugen, Birger Møller-Pedersen
      Pages 253-269
    3. Marie Ludwig, Nicolas Farcet, Jean-Philippe Babau, Joël Champeau
      Pages 270-281
  9. Domain-Specific Modelling

    1. Maged Elaasar, Lionel Briand, Yvan Labiche
      Pages 282-298
    2. Vaibhav Jain, Anshul Kumar, Preeti R. Panda
      Pages 299-311
    3. Rolf-Helge Pfeiffer, Andrzej Wąsowski
      Pages 312-328
  10. Model Management (2)

    1. Stephen C. Barrett, Patrice Chalin, Greg Butler
      Pages 329-344
    2. Antonio Vallecillo
      Pages 345-360
    3. Mauricio Alférez, Nuno Amálio, Selim Ciraci, Franck Fleurey, Jörg Kienzle, Jacques Klein et al.
      Pages 361-376
  11. Workshop Summaries

    1. Jordi Cabot, Patrick Albert, Grégoire Dupé, Marcos Didonet del Fabro, Scott Lee
      Pages 379-380
    2. Ella Roubtsova, Ashley McNeile, Ekkart Kindler, Mehmet Aksit
      Pages 381-382
    3. Reda Bendraou, Redouane Lbath, Bernard Coulette, Marie-Pierre Gervais
      Pages 383-384
    4. Goetz Botterweck, Andreas Pleuss, Julia Rubin, Christa Schwanninger
      Pages 385-386
  12. Tutorial Summaries

    1. Bernhard Rumpe, Martin Schindler, Steven Völkel, Ingo Weisemöller
      Pages 387-388
    2. Gábor Bergmann, Ákos Horváth, István Ráth, Dániel Varró
      Pages 389-390
    3. Dimitrios S. Kolovos, Richard F. Paige, Louis M. Rose, James Williams
      Pages 391-392
  13. Back Matter

About these proceedings


This book constitutes the refereed proceedings of the 7th European Conference on Modelling Foundations and Applications, held in Birmingham, UK, in June 2011.

The 19 revised full foundations track papers and 5 revised full applications track papers presented were carefully reviewed and selected from 61 submissions; also included are 5 workshop summaries and abstracts of 4 tutorials. The papers are organized in topical sections on model execution, model analysis, methodology, model management, model transformation, variability analysis and ADLs, and domain-specific modeling.


UML model consistency model verification model-based systems design model-driven software engineering requirements engineering software process modelling

Editors and affiliations

  • Robert B. France
    • 1
  • Jochen M. Kuester
    • 2
  • Behzad Bordbar
    • 3
  • Richard F. Paige
    • 4
  1. 1.Computer Science DepartmentColorado State UniversityUSA
  2. 2.IBM Research ZürichRüschlikonSwitzerland
  3. 3.University of BirminghamUK
  4. 4.University of York Department of Computer Science YorkUK

Bibliographic information