The Second Workshop on Behavioural Modelling - Foundations and Application ( BM-FA 2010)
15 June 2010, University of Pierre & Marie Curie, Paris, France
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;
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 abstractions and their applicability;
- Behavioural contracts; b 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