Conference announcements

Call for Workshop Papers -
8th European Conference on Modelling Foundations and Applications (ECMFA'2012)


Date: Fri, 17 Feb 2012 17:05:15 +0100
From: Harald Störrle <hsto@imm.dtu.dk>
To: seworld@sigsoft.org
Subject: [SEWORLD] Joint Call for Papers for Workshops at ECMFA 2012

Call for Contributions to Workshops associated with the
Eigth European Conference on Modelling Foundations and Applications (ECMFA)

Technical University of Denmark (DTU), Kongens Lyngby, Denmark
2nd & 3rd of July, 2012

http://www2.imm.dtu.dk/conferences/ECMFA-2012/workshops/
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

ECMFA is the premier European conference aimed at advancing research and
practice in Model Driven Engineering (MDE). As part of ECMFA, there will be
eight workshops in the general area of MDE:

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

All workshops accept submissions in LNCS format via EasyChair.

Dissemination:
~~~~~~~~~~~~~~~~~~~~~~~
Accepted papers of all workshops will be published locally and archived
at CEUR.
Best papers will be invited to re-submit extended versions for a special
issue
of the Journal of Object Technology (see www.jot.fm for more details)
after the
workshops.

Important Dates:
~~~~~~~~~~~~~~~~~~~~~~~
Papers: April, 16th, 2012
Notification: May, 14th, 2012
Final version: Jun 3rd, 2012 (hard)

Workshop Topics:
~~~~~~~~~~~~~~~~~~~~~~~

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)

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.
-------------------------------------------
Third Workshop on Model-Driven Product Line Engineering
Goetz Botterweck (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.
-------------------------------------------
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

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

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.
-------------------------------------------
First Workshop on Academics Modeling with Eclipse
Dimitris Kolovos, Louis Rose (University of York, UK), Davide Di Ruscio
(University of L'Aquila)

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.
-------------------------------------------
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.
-------------------------------------------
First Workshop on Modelling and Reasoning for Cyber-Physical Systems
Thomas Hildebrandt (IT University Copenhagen, Denmark), Flemming Nielson
(Technical University of Denmark)

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.

--
Prof. Dr. Harald Störrle                   Email: hsto@imm.dtu.dk
Technical University of Denmark            WWW:   www.imm.dtu.dk/~hsto/
Informatics and Mathematical Modelling     Room:  322.024
Richard Petersens Plads                    Skype: Harald.Stoerrle
DK-2800 Kgs. Lyngby                        Tel.:  +45 4525 3757

1st Call for Papers and Proposals -
8th European Conference on Modelling Foundations and Applications (ECMFA'2012)


Date: Wed, 26 Oct 2011 15:13:43 +0200
From: Ekkart Kindler <eki@imm.dtu.dk>
To: ecoop-info@ecoop.org
Subject: [ecoop-info] CfP: Modelling Foundations and Applications, July 2012

Dear all,

below, please, find the call for papers and call for satellite event
proposals for the

   Eight European Conference on Modelling Foundations and Applications

which will be held at the Technical University of Denmark in July
next year.

Best regards,
Ekkart Kindler
--
Ekkart Kindler                             Tel.:  +45 4525 3750
Technical University of Denmark            Fax.:  +45 4525 2673
Informatics and Mathematical Modelling     Room:  322.016
Richard Petersens Plads                    Email: eki@imm.dtu.dk
DK-2800 Kgs. Lyngby                        WWW:   www.imm.dtu.dk/~eki/
Denmark


********************************************************************************
FIRST CALL FOR PAPERS AND PROPOSALS -- ECMFA 2012

Eight European Conference on Modelling Foundations and Applications
2-5 July 2012, Kgs. Lyngby, Denmark

http://www.imm.dtu.dk/ECMFA-2012/

********************************************************************************
INVITED SPEAKERS

- Henrik Lönn, VOLVO Technology, Sweden
- Ed Seidewitz, Model Driven Solutions, USA

********************************************************************************
Deadlines for Contributions:

* Abstracts: 15 February 2012
* Paper Submission: 22 February 2012
* Notification to Authors: 10 April 2012

Deadlines for Satellite Events:

* Workshops and Tutorials Proposals: 12 December 2011
* Tools and Posters Proposals: 21 May 2012

********************************************************************************
BACKGROUND

Model-Based Engineering (MBE) is an approach to the design, analysis
and development of software and systems that relies on exploiting
high-level models and computer-based automation to achieve significant
boosts in both productivity and quality.

The ECMFA conference series (formerly known as the ECMDA-FA conference
series) is dedicated to advancing the state of knowledge and fostering
the industrial application of MBE and related approaches. Its focus is
on engaging the key figures of research and industry in a dialog which
will result in stronger and more effective practical application of MBE,
hence producing more reliable software based on state-of-the-art
research results.

CONTRIBUTIONS

ECMFA has two distinct Paper Tracks: one for research papers
(Track F) dealing with the foundations for MBE, and one for
industrial/applications papers (Track A) dealing with the applications
of MBE, including experience  reports on MBE tools.

In addition to the technical paper Tracks the conference will include
Workshops, Tutorials, Tool demonstrations and Poster exhibitions. The
deadline for submitting Workshops and Tutorial proposals is 12
Dec. 2012.  Tools and Posters Proposals are due before 21 May
2012. Detailed Calls for these contributions will be issued shortly.

RESEARCH PAPERS ON FOUNDATIONS OF MBE (ACADEMIC TRACK F)

In this track, we are soliciting papers presenting original research on
all aspects of MBE. Typical topics of interest include, among others:

- Metamodelling: Foundations and Tools
- Domain Specific Modelling Languages
- Reasoning about Models
- Model Transformation and Code Generation
- Model Evolution, Synchronization and Consistency
- Modelling of Requirements, Architectures, Platforms
- Reverse Engineering
- Modelling for Testing and Validation
- Model Execution and Simulation
- Modelling of Service Qualities, Safety, Security, etc.
- Software Process Modelling, Enactment and Execution
- Multimodeling Foundations

Research papers should be between 12 and 16 pages
long, in A4 size compliant with the LNCS paper style (see
http://www.springer.de/comp/lncs/authors.html) Failure to conform
to these guidelines may result in disqualification of the paper. In
particular, papers longer than 16 pages will be automatically rejected
without review. Papers will be evaluated on novelty and theoretical
contribution.

INDUSTRIAL PAPERS ON APPLICATIONS OF MBE (INDUSTRIAL TRACK A)

In this track, we are soliciting papers representing views, innovations
and experiences of industrial players in applying or supporting MBE. In
particular,we are looking for papers that set requirements on the
foundations, methods, and tools for MBE. We are also seeking experience
reports or case studies on the application, successes or current
shortcomings of MBE.  Quantitative results reflecting industrial
experience are particularly appreciated. All application areas of
MBE are welcomed including but not limited to any of the following:

- Comparative Studies of MBE Methods and Tools
- MBE Technology Adoption, Development and Roll-Out Processes
- Metrics for MBE Development
- MBE Training
- MBE for Legacy Systems
- MBE for Systems Engineering
- Model Verification and Quality-Driven System Development
- MBE and Domain-Specific (Modelling) Languages
- MBE and Component-Based Software Engineering
- MBE and Product Lines
- Model-based Testing
- MBE and Service Oriented Architectures
- MBE and Business Process Modelling
- Model-based Software Adaptation (Using Models at Runtime)
- Code Generation

Industrial papers should be between 6 and 12 pages
long, in A4 size compliant with the LNCS paper style (see
http://www.springer.de/comp/lncs/authors.html) Failure to conform
to these guidelines may result in disqualification of the paper. In
particular, papers longer than 12 pages will be automatically rejected
without review. Industrial papers will be evaluated on practical
feasibility, maturity, and industrial relevance.

SUBMISSION AND SELECTION

Manuscripts must be submitted as PDF files through the Easychair online
submission system: http://www.easychair.org/conferences/?conf=ecmfa2012

All contributions will be subject to a rigorous selection process by
the Program Committee. No simultaneous submission to other publication
outlets (either a conference or a journal) is allowed; any concurrent
submission will result in the immediate rejection of the paper.

As in previous years, the proceedings of the conference with the
accepted papers of both Tracks will be published in a dedicated
Springer LNCS volume (approval pending). If accepted, the paper
must be personally presented at the ECMFA 2012 Conference by one of
the authors.

A selection of the best papers of the conference will be invited
to submit extended versions to a special issue of the Software and
Systems Modeling journal, http://www.sosym.org/.

IMPORTANT DATES

* Abstract submission deadline: February 15, 2012
* Papers submission deadline: February 22, 2012
* Notification to authors: April 10, 2012
* Camera-ready version: April 23, 2012
* Conference: July 2-5, 2012

COMMITTEES

STEERING COMMITTEE

- Terry Bailey, Vicinay Cadenas, UK
- Reda Bendraou, University of Pierre & Marie Curie, France
- Behzad Bordbar, University of Birmingham, UK
- Philippe Desfray, Objecteering Software, France
- Sébastien Gérard, CEA LIST, France
- Richard Paige, University of York, UK
- Arend Rensink, University of Twente, Netherlands
- Julia Rubin, IBM Research, Israel
- Andy Schürr, Darmstadt University of Technology, Germany
- Regis Vogel, University of Michigan, US

ORGANISING COMMITTEE

- General Chairs: Ekkart Kindler & Harald Störrle (DTU Informatics, Denmark)
- Workshops and Tutorials Chairs: Harald Störrle and Hubert Baumeister
                                   (DTU Informatics, Denmark)
- Tools and Posters Chair: Julia Rubin (IBM Research, Israel)
- Publications Chairs: Dimitris Kolovos (University of York)
- Publicity Chairs: Richard Paige (University of York, UK) and
                     Ekkart Kindler (DTU Informatics, Denmark)

PROGRAMME COMMITTEE CHAIRS

FOUNDATIONS TRACK:

- Antonio Vallecillo, Universidad de Malaga, Spain

APPLICATIONS TRACK:

- Juha-Pekka Tolvanen, MetaCase, Finland

PROGRAMME COMMITTEE MEMBERS

FOUNDATIONS TRACK

Vasco Amaral, Universidade Nova de Lisboa, Portugal
Marco Bambrilla, Politecnico di Milano, Italy
Stephen C. Barrett, BNU-HKBU United International College, China
Reda Bendraou, University of Pierre & Marie Curie, France
Xavier Blanc, Université Pierre et Marie Curie, France
Behzad Bordbar, University of Birmingham, UK
Jordi Cabot, INRIA and Ecole des Mines de Nantes, France
Benoit Combemale, University of Rennes, France
Zinovy Diskin, McMaster University and University of Waterloo, Canada
Gregor Engels, University of Paderborn, Germany
Anne Etien, University of Lille and INRIA, France
Robert France, Colorado State University, USA
Jesus Garcia Molina, Universidad de Murcia, Spain
Sebastien Gerard, CEA LIST, France
Marie-Pierre Gervais, University of Paris Ouest Nanterre La Défense, France
Martin Gogolla, University of Bremen, Germany
Pieter van Gorp, University of Eindhoven, The Netherlands
Jeff Gray, University of Alabama, US
Esther Guerra, Universidad Autonoma de Madrid, Spain
Michael R. Hansen, Technical University Denmark, Denmark
Reiko Heckel, University of Leicester, UK
Gabor Karsai, Vanderbilt University, USA
Thomas Kühne, Victoria University of Wellington, Australia
Ivan Kurtev, University of Twente, The Netherlands
Roberto Lopez-Herrejon, Johannes Kepler, University Linz, Austria
Birger Møller-Pedersen, University of Oslo, Norway
Alfonso Pierantonio, University of L'Aquila, Italy
Ivan Porres, Abo Akademi University, Finland
Juan Antonio de la Puente, Universidad Politecnica de Madrid, Spain
Arend Rensink, University of Twente, The Netherlands
Louis Rose, University of York, UK
Bernhard Rumpe, Technical University of Braunschweig, Germany
Houari Sahraoui, University of Montreal, Canada
Doug Schmidt, Vanderbilt University, USA
Andy Schürr, Darmstadt University of Technology, Germany
Marten van Sinderen, University of Twente, The Netherlands
James Steel, University of Queensland, Australia
Ragnhild Van Der Straeten, Vrije Universiteit Brussel, Belgium
Gabriele Taentzer, Philipps-Universität Marburg, Germany
Francois Terrier, CEA LIST, France
Hans Vangheluwe, University of Antwerp, Belgium
Daniel Varró, Budapest UTE, Hungary
Cristina Vicente-Chicote, Universidad Politecnica de Cartagena, Spain
Edward D. Willink, Thales Research, UK
Manuel Wimmer, TU Vienn, Austria
Tao Yue, Simula Research Lab, Norway
Gefei Zhang, Arbato Systems, Germany
Steffen Zschaler, Kings College London, UK

APPLICATIONS TRACK

Jan Aagedal, Norse Solutions AS, Norway
Terry Bailey, Vicinay Cadenas SA, Spain
Michael von der Beeck, BMW Group, Germany
Mariano Belaunde, Orange Labs, France
Jorn Bettin, SoftMetaWare, New Zealand
Tony Clark, Thames Valley University, London, UK
Diarmuid Corcoran, Ericsson, Sweden
Zhen Ru Dai, Hamburg University of Applied Science (HAW), Germany
Stephan Flake, Orga Systems, Germany
Mathias Fritzsche, SAP AG, Germany
Markus Heller, SAP, Germany
Andreas Hoffmann, Fraunhofer, Germany
Teemu Kanstren, VTT, Finland
Jochen Kuester, IBM Research, Switzerland
Vinay Kulkarni, Tata Consultancy Services, India
Dragan Milicev, University of Belgrade, Serbia
Parastoo Mohagheghi, Sintef, Norway
Tor Neple, Norse Solutions AS, Norway
Olli-Pekka Puolitaival, F-Secure Corporation, Finland
Laurent Rioux, THALES, France
Tom Ritter, Frauenhofer FOKUS, Germany
Julia Rubin, IBM Research, Israel
Andrey Sadovykh, SOFTEAM, France
Bernhard Schätz, fortiss GmbH, Germany
Bran Selic, Malina Software, Canada
Renuka Sindghatta, IBM Research, India
John Slaby, Raytheon, USA
Alin Stefanescu, University of Pitesti, Romania
Salvador Trujillo, Ikerlan, Spain
Andreas Ulrich, Siemens AG, Germany
Markus Voelter, Independent/ itemis, Germany
Olaf Zimmermann, IBM Zurich, Switzerland

Call for Papers and Proposals -
8th European Conference on Modelling Foundations and Applications (ECMFA'2012)


From: Antonio Vallecillo <av@lcc.uma.es>
Date: Mon, 19 Sep 2011 18:17:03 +0200
Subject: [SEWORLD] ECMFA 2012: Call for Papers and Proposals
To: seworld@sigsoft.org

[ 263 lines deleted; see updated version above -- dc ]

--
Antonio Vallecillo.
Universidad de Malaga. ETSI Informatica.
Bulevar Louis Pasteur, 35. (29071) Malaga. Spain.
http://www.lcc.uma.es/~av
Voice: +34.95.213.2794. Twitter: @AVallecillo
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

[Ada-Belgium] To the Ada-Belgium home page.

Last update: 2012/03/13.

Dirk Craeynest