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

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

About these proceedings

Introduction

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.

Keywords

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

  • DOI https://doi.org/10.1007/978-3-642-21470-7
  • Copyright Information Springer Berlin Heidelberg 2011
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-21469-1
  • Online ISBN 978-3-642-21470-7
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book