[aosd-announce] The Second Workshop on Behavioural Modelling - Foundations and Application

[webmaster at aosd.net]

Dear colleagues,

The CFP below might not immediately seem appropriate for the AOSD mailing list, but executable behavioral modelling of aspects is still a research challenge. We invite you to submit your approaches to behaviour modelling of aspects to the Second Workshop on Behaviour Modelling - Foundations and Applications.
..........................................................................

The Second Workshop on Behavioural Modelling - Foundations and Application
BM-FA 2010
http://www.ou.nl/eCache/DEF/2/17/059.html
15 June 2010
University of Pierre & Marie Curie, Paris, France
Proceedings will be published as a volume of the ACM DL, ISBN978-1-60558-961-9

The Model-driven Architecture (MDA) and other model driven approaches advocate the primacy of models and model transformations in the software development process. Ultimately, the goal is to generate the complete software fully automatically from these models.
To date, the fully automatic generation of the code from models is still a dream and, if it works at all, restricted to specific application areas. One of the main obstacles is the lack of adequate models for system behaviour and model integration mechanisms.
Behaviour modelling attracts more attention as the research community understands that behaviour modelling concepts are different from programming concepts. Modelling a complex system generally involves representing a combination of different types of behaviour including internal system behaviour, interaction with the environment, and collaboration between systems. Generally, different forms of model are needed for these different types of behaviour and many different approaches to modelling behaviour, based on
- state-transitions system,
- process algebras,
- constraints and business rules,
- partial behaviour;
- diagrammatic languages;
- UML;
- contracts and behavioural contracts,
have been proposed and discussed.

To cater for behavioural complexity we must be able to determine which 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.  However at present we have no generally accepted ontology that enables systematic analysis of complex situations so that multiple behaviour modelling techniques can be applied.

This workshop brings together people from academia and industry using MDA and related approaches and, in particular, is concerned with behaviour models and their integration with each other and with MDA. We are interested in submissions on topics relating to MDA and PIM level behaviour modelling, including:
- Foundations of behaviour modelling: semantics of modelling languages that aim to capture PIM level behaviour;
- Behavioural abstractions and their applicability;
- Behavioural contracts;
- Composition and decomposition of behavioural models;
- Applications of different behaviour modelling approaches and their combinations.
- Application of formal reasoning to PIM level behaviour models;
- Translation of PIM level behaviour to PSM and code;
- Method and tool support for building PIM level behavioural models;
- Case studies that relate to the use of PIM level behavioural modelling.

The purpose is to better understand the problem with behavioural models, what is needed to adequately model behaviour, and what is still lacking for modelling the behaviour in such a way that the code can automatically be generated from them. Based on that, the outcome of the workshop will be a clearer vision of how modelling notations for behaviour and the interfaces to structural models should look like.

We ask 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. Proceedings will be published as a volume of the ACM DL, ISBN978-1-60558-961-9

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

Program committee:
1. Mehmet Aksit. TU Twente, the Netherlands
2. Ekkart Kindler, Technical University of Denmark
3. Reiko Heckel, University of Leicester, UK
4. Louis Gomes, Universidade Nova de Lisboa, Portugal
5. Ashley McNeile, Metamaxim Leduc
6. Louis Birta, University of Ottawa, Canada
7. João M. Fernandes, Universidade do Minho, Portugal
8. Behzad Bordbar, University of Birmingham, UK
9. Ella Roubtsova, Open University of the Netherlands
10. Elvinia Riccobene, University of Milan, Italy.
11. Stefan Hanenberg  University of Duisburg-Essen, Germany
12. Haim Kilov, Stevens Institute of Technology; Merrill Lynch, USA
13. Dominik Stein, University of Duisburg-Essen, Germany