Call for Papers

The Third Workshop on Behavioural Modelling - Foundations and Applications
BM-FA 2011 http://www.ou.nl/bm-fa

In collaboration with the Seventh European Conference on Modelling Foundations and Applications ECMFA 2011

Paper Submission: April 10, 2011 Authors Notification: May 4,
2011 Camera-ready copies of accepted papers: May 20, 2011
Workshop: June 6, 2011


We call for papers of minimum four pages and maximum 8 pages in the ACM format. Each paper will be reviewed by three members of the program committee. The printed version of the selected papers will be available at the conference. The accepted papers will be publishes in ACM DL, the ISBN number assigned to BM-FA 2011 is 978-1-4503-0617-1

The goal of the workshop is to make contributions in the area of software and systems behaviour modelling to address the demands of today’s systems and applications requirements.

Recent trends in software system development point to the growing importance of behaviour modelling.

These trends are:
·The growing role of business process management and workflow;
·The growing importance of Service-Orientation as an architectural principle, with the consequent emphasis on well defined interaction between software components;
·The importance of interfaces, contracts and service level agreements in defining and managing behavioural system integration both within and across organizational boundaries;
·The growing variety of business intelligence applications and their increasing complex behavioural requirements.

To meet the challenges presented by these trends we must be able to determine which behaviour modelling techniques are applicable to a given situation, and be able to use multiple techniques in combination. This requires suitable and simple compositional semantics so that the various models used to describe the behaviour of a complex system can be put together. This workshop brings together people from academia and industry who are interested in

·Evaluation of goals 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 with emphasis on what such cases show about how modelling can be improved;
·Composition and decomposition of behavioural models;
·Combination of different behaviour modelling approaches;
·Application of formal reasoning to behavioural models.

Organizing committee:
Mehmet Aksit. TU Twente, the Netherlands
Ekkart Kindler, Technical University of Denmark,
Ella Roubtsova, Open University of the Netherlands and University of Applied Sciences, Munich, Germany
Ashley McNeile, Metamaxim Ltd, UK.

Program committee
1.Mehmet Aksit. TU Twente, the Netherlands
2.Bernhard Rumpe, Aachen University, Germany
3.Behzad Bordbar, University of Birmingham, UK
4.Ekkart Kindler, Technical University of Denmark
5.Reiko Heckel, University of Leicester, UK
6.Louis Gomes, Universidade Nova de Lisboa, Portugal
7.Ashley McNeile, Metamaxim, UK
8.Louis Birta, University of Ottawa, Canada
9.João M. Fernandes, Universidade do Minho, Portugal
10.Ella Roubtsova, Open University of the Netherlands and University of Applied Sciences, Munich, Germany
11.Stefan Hanenberg , University of Duisburg-Essen, Germany
12.Michel Reniers, Eindhoven University of Technology. The Netherlands
13.Ivan Kurtev, University of Twente, The Netherlands
14.Joerg Kienzle, McGill University, Canada
15.Ghizlane El Boussaidi, École de technologie supérieure. Canada
16.Moussa Amrani, University of Luxembourg