Skip to main content
SpringerLink
Log in

Modelling -- Foundation and Applications

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

  • Conference proceedings
  • © 2011

Overview

Editors:
  1. Robert B. France

    1. Computer Science Department, Colorado State University, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Jochen M. Kuester

    1. IBM Research Zürich, Rüschlikon, Switzerland

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Behzad Bordbar

    1. University of Birmingham, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Richard F. Paige

    1. University of York Department of Computer Science York, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • up-to-date results
  • fast track conference proceedings
  • state-of-the-art report

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

Part of the book sub series: Programming and Software Engineering (LNPSE)

Included in the following conference series:

Conference proceedings info: ECMFA 2011.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (34 papers)

  1. Front Matter

    Download chapter PDF

  2. Keynote

    1. Building Advanced Mechatronic Systems

      • Wilhelm Schäfer
      Pages 1-2

  3. Model Execution

    1. Contracts for Model Execution Verification

      • Eric Cariou, Cyril Ballagny, Alexandre Feugas, Franck Barbier
      Pages 3-18

    2. A FUML-Based Distributed Execution Machine for Enacting Software Process Models

      • Ralf Ellner, Samir Al-Hilank, Johannes Drexler, Martin Jung, Detlef Kips, Michael Philippsen
      Pages 19-34

    3. A Generic Tool for Tracing Executions Back to a DSML’s Operational Semantics

      • Benoît Combemale, Laure Gonnord, Vlad Rusu
      Pages 35-51

  4. Model Analysis

    1. Incremental Security Verification for Evolving UMLsec models

      • Jan Jürjens, Loïc Marchal, Martín Ochoa, Holger Schmidt
      Pages 52-68

    2. Assessing the Kodkod Model Finder for Resolving Model Inconsistencies

      • Ragnhild Van Der Straeten, Jorge Pinna Puissant, Tom Mens
      Pages 69-84

    3. Operation Based Model Representation: Experiences on Inconsistency Detection

      • Jerome Le Noir, Olivier Delande, Daniel Exertier, Marcos Aurélio Almeida da Silva, Xavier Blanc
      Pages 85-96

  6. Model Management (1)

    1. Preventing Information Loss in Incremental Model Synchronization by Reusing Elements

      • Joel Greenyer, Sebastian Pook, Jan Rieke
      Pages 144-159

    2. An MDE-Based Approach for Solving Configuration Problems: An Application to the Eclipse Platform

      • Guillaume Doux, Patrick Albert, Gabriel Barbier, Jordi Cabot, Marcos Didonet Del Fabro, Scott Uk-Jin Lee
      Pages 160-171

    3. Incremental Updates for View-Based Textual Modelling

      • Thomas Goldschmidt, Axel Uhl
      Pages 172-188

  7. Transformations

    1. Easing Model Transformation Learning with Automatically Aligned Examples

      • Xavier Dolques, Aymen Dogui, Jean-Rémy Falleri, Marianne Huchard, Clémentine Nebut, François Pfister
      Pages 189-204

    2. Code Generation for UML 2 Activity Diagrams

      • Dominik Gessenharter, Martin Rauscher
      Pages 205-220

    3. Tractable Model Transformation Testing

      • Martin Gogolla, Antonio Vallecillo
      Pages 221-235

  8. Variability Analysis and ADLs

    1. Extending SysML with AADL Concepts for Comprehensive System Architecture Modeling

      • Razieh Behjati, Tao Yue, Shiva Nejati, Lionel Briand, Bran Selic
      Pages 236-252

    2. Analyzing Variability: Capturing Semantic Ripple Effects

      • Andreas Svendsen, Øystein Haugen, Birger Møller-Pedersen
      Pages 253-269

    3. Integrating Design and Runtime Variability Support into a System ADL

      • Marie Ludwig, Nicolas Farcet, Jean-Philippe Babau, Joël Champeau
      Pages 270-281
Back to top

Other volumes

  1. Modelling Foundations and Applications

Keywords

About this book

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.

Editors and Affiliations

  • Computer Science Department, Colorado State University, USA

    Robert B. France

  • IBM Research Zürich, Rüschlikon, Switzerland

    Jochen M. Kuester

  • University of Birmingham, UK

    Behzad Bordbar

  • University of York Department of Computer Science York, UK

    Richard F. Paige

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation