The new harbour (Ny Havn)  
   DTU Logo


Programme (overview)
 Monday, July 2 (overview)
 Tuesday, July 3 (overview)

Programme (tutorials)
 Tutorial 1 (Monday morning)
 Tutorial 2 (Monday afternoon)

Programme (main conference)

Follow us on twitter

Workshop Overview

The following workshops have been accepted to be co-located with ECMFA 2012. Unless otherwise stated, all workshops have the same important dates, format requirements, publication mode, and so on, as stated below. Beware of the exceptions!

Important dates

Paper submission April 16, 2012 (expired)
Notification of acceptance May 14, 2012 (expired)
Final version (hard) June 3, 2012 (expired)
Workshops July 2-3, 2012 (passed)

Local Organization

Workshop Day Room
MDPLE Monday, 2.7.2012 cancelled
CloudMDE Monday, 2.7.2012 S4
EIAC-RTESMA Monday, 2.7.2012 S12
ACME Monday, 2.7.2012 S10
BMFA Tuesday, 3.7.2012 S4
PMDE Tuesday, 3.7.2012 S12
GMLD Tuesday, 3.7.2012 S10
MoRe4CPS Tuesday, 3.7.2012 cancelled

Submission procedure

We will use EasyChair to track submissions. Prepare your submission using the Springer LNCS formatting guidelines. For the review, we generally accept papers in PDF format of up to 15 pages. However, some workshops may offer other formats, or impose tighter space restrictions. If in doubt, contact the organizers of the workshop you are interested in.

For the final version, most workshops accept only papers prepared with LaTeX, though some workshops may also accept MS Word format. All papers submitted to the workshop must be unpublished original work and must not have been submitted anywhere else for publication.


The proceedings of all workshops will be available as a printed report upon registration. These proceedings will be archived at CEUR (and possibly at ACM Digital Library, confirmation pending). The workshop organizers may select best papers and invite extended versions of them for a JOT special issue.

Paper will only be published if at least one of its authors has registered for therespective workshop or for ECMFA as a whole by the time the final versions of papers are due.

The proceedings of all other workshops will be published by the workshop organizers as described below.


Please register for the workshops of your choice through the ECMFA registration page.


If you have any further questions, do not hesitate to contact the organisers of the workshop you are interested in.

Frequently Asked Questions

Is it enough to simply say "LNCS"?
Yes, that should really be anough. Have a look at Springer's author guidelines. But just to be perfectly clear: When we say LNCS, that includes of course all the details LNCS defines, such as page and font size, line distances and so on. If you are using LaTeX with the LLNCS class and do not fiddle around with it, you are fine automatically.
But I'm using Word rather than LaTeX, and the organizers of my workshop said its ok - how do I format my paper to be compliant with "LNCS"?
Well, again: there's Springer's author guidelines, and there's also a Word-template you should probably use. Of course, it is slightly easier to deviate, on purpose or by accident, and we may not spot your manipulations so you might possibly get away with cramming in miniscule fonts, say. Then again, if we spot you, we may kick you out on these grounds, so it's best to stay well clear of meddling with the style.
Can I get an extension for submitting my paper?
that is up to the respective workshop organizers, and they may be excessively nice to you. However, we really are on a tight schedule, so don't rely on it.
Can I then get an extension for submitting my final version?
Not even a slight one?!
No. Full Stop.
I have found an error/typo on the web page, who do I talk to?
Probably best to send an email with the offending HTML snippet to the workshops chair (Harald Störrle).
I have another question which is not answered here - who do I ask?
Do not hesitate to contact the organisers of the workshop you are interested in. If the question occurs repeatedly, it will beincluded in this list.

Monday, 2.7.2012

Third Workshop on Model-Driven Product Line Engineering (cancelled)

Goetz Botterweck (goetz.botterweck (-at-), Lero, University of Limerick, Ireland), Andreas Pleuss (Lero, University of Limerick, Ireland), Julia Rubin (IBM Research, Israel), Andreas Rummler (SAP, Germany)

The fundamental premise of product line engineering (PLE) is that the investment in a family of products pays off later by allowing systematic, efficient derivation of products. This should be automated as much as possible, which can be achieved via model-driven engineering (MDE) techniques. Research in PLE and MDE has many intersections. PLE leverages MDE to specify variability, domain concepts, configurations and more. (Semi-)automated product derivation requires mappings between the models on different abstraction layers and model transformations to derive an implementation from a configuration. In addition, latest research shows the increasing need for concepts to deal with very large and evolving systems. Product lines can no longer rely on an immutable scope but need to be considered as evolving systems which can span over organizational boundaries. Thus, there is a need to investigate latest concepts from MDE like model-driven evolution and co-evolution, consistency management, multi-paradigm modelling, etc.

In this workshop we aim to bring together researchers and practitioners to foster the exchange of concepts and ideas between them to address these challenges. We are interested in the application of concepts from MDE to Product Line Engineering, including (but not limited to):

  • Modelling of software product lines
  • Variability modelling
  • Evolution of product lines
  • Complexity handling and scalability
  • Automated and interactive tool-support
  • Feature-oriented / Aspect-oriented approaches
  • Multiple binding time and run-time variability
  • Advanced approaches and process models (e.g. multiple product lines and organisations)
  • Integrated handling of multiple models
  • Variability-aware validation approaches
We explicitly encourage submission of case studies and experience reports from industry where such techniques have been applied in industrial practice and on a larger scale.

We are seeking for two types of submissions:

  • Regular papers (max. 12 pages) presenting original research and/or experience reports and
  • Short papers (max. 6 pages) describing ongoing research, new results, and future trends.
Submissions will be selected based on the relevance to the workshop topics and the suitability to trigger discussions.


First Workshop on MDE for and in the Cloud

Richard Paige (University of York, UK), Jordi Cabot, Marco Brambilla, Marsha Chechik, Parastoo Mohagheghi

Model Driven Engineering elevates models to first class artefacts of the software development process. MDE principles, practices and tools are also becoming more widely used in industrial scenarios. Many of these scenarios are traditional IT development (e.g., focusing on code generation), and emphasis on novel or evolving deployment platforms has yet to be seen.

Cloud computing is a computational model in which applications, data, and IT resources are provided as services to users over the Internet. Cloud computing exploits distributed computers to provide on-demand resources and services over a network (usually the Internet) with the scale and reliability of a data centre. Cloud computing is enormously promising in terms of providing scalable and elastic infrastructure for applications; MDE is enormously promising in terms of automating tedious or error prone parts of systems engineering. There is potential in identifying synergies between MDE and cloud computing; this is the focus of the workshop.

We aim to bring together researchers and practitioners working in MDE or cloud computing, who are interested in identifying, developing or building on existing synergies. We aim to identify opportunities for using MDE to support the development of cloud-based applications (MDE for the cloud), as well as opportunities for using cloud infrastructure to enable MDE in new and novel ways (MDE in the cloud). We also are interested in novel results of adoption of MDE in cloud-related domains, as well as work-in-progress or experience reports, that provide insight into early adoption of MDE for building cloud-based applications, or in terms of deploying MDE tools and infrastructure on ‘the cloud’.

Topics of relevance to the workshop include:

  • Metamodels and novel domain-specific languages to support development of cloud-based applications.
  • Modelling and metamodelling of cloud platforms.
  • Model transformation for cloud-based applications.
  • Model-to-text transformations for specific cloud platforms.
  • Experience reports of deploying MDE tools and technologies on the cloud.
  • Novel applications of MDE enabled by use of cloud platforms.
  • Approaches to enabling “modelling as a service”.
  • Semantic annotation techniques and descriptions of modelling services.
  • Approaches for modelling service matching.
  • Scalability issues for MDE in the cloud.
  • Methods and experience reports focusing on model-based interoperability between cloud platforms/vendors.
  • Cloud-specific development scenarios enabled by or enriched by use of MDE.
  • Specific non-functional cloud concerns (e.g., security, information governance) that may be addressed by MDE principles or practices.
  • Case studies and experience reports.
  • Position statements setting a research agenda for MDE in/for the cloud.


First Workshop on European Industrial & Academic Collaborations on Real Time and Embedded Systems Modeling and Analysis

Michel Bourdellès (Thales C&S, France), Laurent Rioux (Thales R&T, France), Sebastien Gerard (CEA-LIST, France)

Extended Submission deadline: May 3rd

A lot of European initiatives funded by the European Commission and/or directly by countries lead to experiment on the modelling of RTES from different industrial domains (Communications, Automotive, Space, Railway …), dealing with system modelling declined as formal, Component, Application/Platform allocation modelling, model transformation and analysis, process integration, test, functional & non functional properties verification, methodology adaptation, requirements traceability, real platform results confrontation.

The objective of this workshop is to present ongoing industrial/academic current work on the modelling and analysis of real time and embedded systems. A particular attention will be given on successful stories in the integration and assessment on the exploitation of R&D improvements on industrial designs. Partners from collaborative projects are solicited to present industrial experiences of collaborations with tools providers and academics.

The concrete topics of interest are:

  • Integration on industrial processes.
  • Modelling of RTES (Application and Platform),
  • Component modelling,
  • Model transformation,
  • Design Space Exploration,
  • Functional and non-functional properties specification and verification,
  • Analysis of RTES,
  • Host and platform experimentations
Authors have to apply for participation by sending a paper/abstract (4-10 pages) in PDF or PS.

First Workshop on Academics Modeling with Eclipse

Dimitris Kolovos, Louis Rose (University of York, UK), Davide Di Ruscio (University of L'Aquila)

Extended Submission deadline: April 23rd

The Eclipse platform has played a very significant role in the evolution of MDE over the last few years as it has provided mature infrastructure - predominately the Eclipse Modeling Framework - for the development of interoperable modelling and model management languages and tools. The academic community has in turn embraced Eclipse as the de-facto standard MDE environment and has contributed several modelling and model management tools back as open source projects - some of which have been brought under the umbrella of the Eclipse Foundation.

The aim of this workshop is to provide a venue where developers of research-oriented MDE tools built on top of Eclipse can demonstrate the most recent developments in their tools, provide insights on issues encountered when using these tools in practice, obtain feedback, exchange expertise, and engage in fruitful discussions with like-minded researchers. The workshop will also help bring together tool developers and existing or candidate users.

We advocate two types of papers:

  • 4-page tool-demonstration papers
  • 10-page regular papers (including all text, references, appendices and figures)

To maintain a strong Eclipse focus, all papers will need to provide an Eclipse update site (and possibly more detailed instructions) through which the presented tool can be installed on a clean Eclipse Modelling distribution. Moreover, all submissions must be accompanied by a link to a screencast demonstrating the tool presented.

Tuesday, 3.7.2012

Fourth Workshop on Behavioural Modelling: Foundations and Applications

Ella Roubtsova (Open University of the Netherlands), Ashley McNeile (Metamaxim Ltd, UK.), Ekkart Kindler (Technical University of Denmark), Mehmet Aksit (TU Twente, Netherlands)

Extended Submission deadline: April 25th

The growing variety of E-businesses: E-commerce, E-logistics, E-procurement, E-government and collaborative services require the integration of software components that interact at run time in accordance with contracts and service level agreements both within and across organizational boundaries. Designing the complex dynamics and of these systems requires that software engineers use sophisticated approaches to modelling and validating system interaction protocols. The capabilities offered by The Cloud to host large data volumes are enabling business intelligence applications that may require new thinking about behaviour and service modelling.

The goal of the BM-FA workshop is to make contributions in the area of software and systems behaviour modelling to help address the demands of today’s systems and applications requirements. For this purpose the workshop brings together people from academia and industry that interested in:

  • Semantics and application area of different modelling techniques;
  • Direct execution of, and code generation from, behavioural models;
  • Usability results of different modelling techniques;
  • Lessons learned from case studies that involve behaviour modelling;
  • Composition and decomposition of behavioural models;
  • Combination of different behaviour modelling approaches;
  • Application of formal reasoning to behavioural models;
  • Approaches to the definition of behavioural interfaces and contracts;
  • Compositional approaches, whereby multiple partial models of behaviour are combined;
  • Prospects and challenges in behaviour modelling.


Second Workshop on Process-based approaches for Model-Driven Engineering

Reda Bendraou (University of Pierre & Marie Curie, France), Lbath Redouane, Coulette Bernard, Gervais Marie-Pierre

Extended Submission deadline: April 26th

Building complex and trustworthy software systems in the shortest time-to-market remains the challenging objective that competitive companies are facing constantly. A more challenging objective for these companies is to be able to formalize their development processes in order to analyze them, to simulate and execute them, and to reason about their possible improvement. In the last decade, the Model-Driven Engineering approach has proven its effectiveness for the specification and realization of large and complex systems. However its use in the field of process modeling and execution is still not fully exploited. The PMDE Workshop aims to gather researchers and industrial practitioners working in the field of Model-Based Engineering, and more particularly on the use of processes to improve software reliability and productivity.

The PMDE workshop will invite papers presenting research results or work-in-progress in all areas of process-based approaches for model-driven engineering, including:

  • Modeling software and systems processes for model-driven engineering
  • Domain-Specific Languages (DSL) for modeling software and systems processes
  • Transformation-based process modeling: structural and behavioral aspects
  • MDE Process patterns: modeling and application
  • MDE Process patterns for reuse: definition, search methods, application of patterns
  • Process models refactoring and composition
  • Process lines and MDE
  • Verification of process models
  • MDE process enactment and simulation
  • MDE Process resource management
  • Process metrics for model-driven engineering
  • Management of distributed MDE processes
  • MDE process evolution: static evolution, process models refactoring, dynamic process evolution, process deviations management
  • Process-centered MDE tools
  • Description of case studies based on MDE processes, experimentations on real projects, empirical studies
We ask for papers in LaTeX or Word format and not exceeding 12 pages in the LNCS style (for instructions on the Springer LNCS format, please refer to Information for LNCS authors). The paper should present original research work related to the above-cited topics and should not be published or submitted simultaneously to other workshops, conferences or journals. Industrial papers are welcome.

First Workshop on Graphical Modeling Language Development

Heiko Kern (University of Leipzig), Juha-Pekka Tolvanen (MetaCase, Finland), Paolo Bottoni (University of Rome)

Models play an important role in software development. They not only support communication and understanding, but are increasingly used in automating software development tasks such as code generation, testing, simulation and analysis. While many languages are created for software developers others may be created for business analysts, interaction specialists, test engineers, or persons responsible for product configuration and deployment. Often these languages are domain-specific, created for a narrow application area or for use only inside one company. This workshop looks at principles of modeling language development, particularly graphical modeling languages for domain-specific needs. We seek contributions that are backed up by experiences on developing modeling languages. We do not focus on tools, but recognize the need for metamodel-based tools, which significantly ease the production of modeling environments. These tools also enable experimentation with the language as it is built, and remove the burden of tool creation and maintenance from the language creator. The workshop welcomes submissions that address the development of graphical modeling languages. We are looking for submissions that cover all the phases of language development, including definition, testing, evaluation, and maintenance of modeling languages. We also welcome papers that discuss challenges and new trends. Some of the issues that we would like to see addressed in this workshop are experience-based findings on:

  • Approaches to identify language concepts
  • Tradeoffs between different language structures
  • Processes for language definition
  • Language structures that minimize the modeling need (and modeling time)
  • Keeping models compact, consistent, reusable
  • Testing modeling languages
  • Creating notations for models, error annotation, different usage situations etc.
  • Ways to integrate modeling languages
  • Demonstration of modeling languages (and their related tooling, generators etc).
The maximum length of a submission is 12 pages. For the final versions, GMLD will accept submissions prepared both in LaTeX and MS Word.

First Workshop on Modelling and Reasoning for Cyber-Physical Systems (cancelled)

Thomas Hildebrandt (IT University Copenhagen, Denmark), Flemming Nielson (Technical University of Denmark)

Extended Submission deadline: May 5th

Cyber-physical systems are large-scale distributed systems, often viewed as networked embedded systems, where a large number of computational components are deployed in a physical environment. Each component collects information about and offers services to its environment. This information is processed either at the component, in the network or at a remote location, or in any combination of these.

This workshop aims at connecting researchers working on mathematically well-founded and coherent models, methods, and tools that may serve as the foundation of a model-driven design methodology for cyber-physical systems. This means that design decisions, analysis, simulation, testing, code generation, etc. are always based upon models that reflect the relevant aspects of the design. This requires methods to maintain, manipulate, analyse and transform models in a coherent and meaningful way.

All papers will be peer-reviewed and accepted papers will be published as a pre-proceeding appearing as a technical report. Selected papers will be invited to submission for subsequent publication in a journal (to be negotiated).

Two kinds of papers can be submitted:

  1. full papers up to 12 pages in easychair format presenting previously unpublished work
  2. short papers (2-3) pages in easychair format presenting work in progress, abstract of previously published work or overview of research programmes (position paper)

Topics of interest (in no particular order) include:

  • adaptivity
  • hybrid systems
  • embedded systems
  • distributed execution
  • spatial computation
  • declarative modelling
  • logics and logical frameworks
  • categorical models
  • event-based systems and models
  • context-awareness
  • pervasive computing
  • systems biology
  • healthcare systems
  • process calculi
  • static analysis
  • type systems
  • model checking
  • refinement
  • temporal properties with preferences
  • security
  • fractionated software