BM-FA 2012

CALL FOR PAPERS

The Fourth Workshop on Behavioural Modelling - Foundations and Applications
BM-FA 2012 http://www.ou.nl/eCache/DEF/2/38/333.html

In collaboration with the 8th European Conference on Modelling Foundations and Applications http://www2.imm.dtu.dk/conferences/ECMFA-2012

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

We ask for papers of maximum 15 pages in LNCS format. Submission will be administrated in Easy Chair. Each paper will be reviewed by three members of the program committee. The Proceedings will be published in the ACM DL ISBN 978-1-4503-1187-8. The best paper of the workshop will be invited by the OC of the ECMFA for publication in a journal.

Submission type: EasyChair.
Full paper submission  April 16, 2012
Notification of acceptance  May 14, 2012
Camera ready version June 11, 2012
Workshops  July 2-3, 2012