The 4th Workshop on Behavioural Modelling - Foundations and Application (BM-FA 2012)
2012, Technical University of Denmark
ACM DL proceedings ISBN 978-1-4503-1187-8
Dynamics of changes and trends of todays systems show the growing role of behaviour modelling in system life cycle. G rowing variety of E-businesses: E-commerce, E-logistics, E-procurement, E-government and collaborative services results in the consequent emphasis on well defined interaction between software components, importance of interfaces, contracts and service level agreements in defining and managing behavioural system integration both within and across organizational boundaries. New and new processes are covers by services accumulating business intelligence to work with Cloud.
To meet the challenges presented by these trends we must be able to determine which behaviour modeling 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
The goal of the BM-FA workshop is to make contributions in the area of software and systems behaviour modelling and address the demands of todays systems and applications requirements. For this purpose the workshop brings together people from academia and industry that are interested in and focus on
· 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 behavior 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.