ECMFA 2011 - Call for Papers



ECMFA 2011 - Call for Papers

From: Behzad Bordbar <B.Bordbar_at_cs.bham.ac.uk>
Date: Sat, 16 Oct 2010 19:42:08 +0100
Message-ID: <4CB9F200.5060006@cs.bham.ac.uk>
Apologies for multiple copies

********************************************************************************
FIRST CALL FOR PAPERS
ECMFA 2011

Seventh European Conference on Modelling Foundations and Applications
6-9th of June 2011, Birmingham, UK

Deadline for abstracts: 20 January 2011
Deadline for Paper Submission: 27 January 2011
Notifications to Authors: 10 March 2011

http://www.ecmfa-2011.org/

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

Model-Based Engineering (MBE) is an approach to the design 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, producing thereby more reliable
software based on state-of-the-art research results.

TOPICS

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, tool demonstrations, and poster exhibitions on these topics.

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 but not exclusive topics of interest are:

– Metamodelling – foundations and tools
– Model Transformation and Code Generation
– Reasoning about Models
– Model Navigation
– Model Synchronization and Consistency
– Modelling of Requirements, Architectures, Platforms
– Reverse Engineering
– Modelling for Testing and Validation
– Model Execution and Simulation
– Modelling of Service Qualities and of Safety and Security
– Aspect Modelling
– Software Process Modelling, Enactment and Execution

Research papers should be between 12 and 16 pages long, in A4 size
compliant with the LNCS paper style and should be submitted as PDF
files. 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. They will be evaluated on novelty and theoretical contribution.
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 will be published in a dedicated Springer LNCS volume.

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:

– MBE for Complex Systems and Systems of Systems
– MBE for Embedded Systems and Real-Time Systems
– MBE for High-Integrity Systems, Safety-Critical, and Security-Critical
Systems
– MBE in Automotive, Aerospace, Telecommunications, Electronics Industries
– 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 Multi-Domain Modelling Languages
– MBE and Component-Based Software Engineering
– MBE and Service Oriented Architectures
– MBE and Business Process Modelling
– Multimodeling foundations
– Model-based software adaptation (using models at runtime)
– Defining and evolving domain specific modeling languages
– Modeling software product lines

Industrial papers should be between 6 and 12 pages long, in A4 size
compliant with the LNCS paper style and should be submitted as PDF.
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.  Industrial papers will be evaluated on practical feasibility,
maturity, and industrial relevance. No simultaneous submission to other
publication outlets (conference or journal) is allowed. The proceedings
will be published in the same Springer LNCS volume as the proceedings of
the Foundations track.

SUBMISSION AND SELECTION

Please submit an abstract of your contribution by January 20, 2010, and
a full version by January 27, 2010.
Received on Sat 16 Oct 2010 - 19:42:07 BST