BM-FA 2012 - The 4th Workshop on Behavioural Modelling - Foundations and Application (BM-FA 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 modelling.