The Third Workshop on Behavioural Modelling - Foundations and Application (BM-FA 2011)
2011, University of Birmingham, UK
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.
The purpose of the workshop is to better understand the challenges of behaviour modelling in todays demanding environment, and in particular to focus on:
- Ontologies and models of interactive computing;
- Formal reasoning about software behaviour;
- Approaches to the definition of behavioural interfaces and contracts;
- Compositional approaches, whereby multiple partial models of behaviour are combined;
- The possibilities and challenges of executing models.