Workshop Overview

• Third Workshop on Model-Driven Product Line Engineering (cancelled)
• First Workshop on MDE for and in the Cloud (see program)
• First Workshop on Eur. Industrial & Academic Collaborations on Real Time and Embedded Systems Modeling and Analysis (see program)
• First Workshop on Academics Modeling with Eclipse (see program)
• Fourth Workshop on Behavioural Modelling: Foundations and Applications (see program)
• Second Workshop on Process-based approaches for Model-Driven Engineering (see program)
• First Workshop on Graphical Modeling Language Development (see program)
• First Workshop on Modelling and Reasoning for Cyber-Physical Systems (cancelled)

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

Submission procedure

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.

Publication

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.

Registration

Contact

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?

No.

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

First Workshop on MDE for and in the Cloud

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

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

First Workshop on Academics Modeling with Eclipse

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.
top

Tuesday, 3.7.2012

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

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

First Workshop on Graphical Modeling Language Development

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).

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