[ecoop-info] CFP: The 7th Workshop on Behavioural Modelling - Foundations and Applications (BM-FA)

[Somayeh Malakuti]

---------------------------------------------------------------------

Call for Papers 

 

The 7th Workshop on Behavioural Modelling - Foundations and Applications
(BM-FA)

       

Co-located with Software Technologies: Applications and Foundations (STAF)
2015, L'Aquila, Italy

 

---------------------------------------------------------------------

BM-FA 2015: 7th International Workshop on 

Behavioural Modelling - Foundations and Applications

Monday, July 20th, 2015, L'Aquila, Italy

 <http://www.christiangerth.de/bm-fa-2015/>
http://www.christiangerth.de/bm-fa-2015/

 

Abstract submission April 24, 2015

Full paper submission May 8, 2015

Notification of acceptance June 5, 2015

Camera ready version June 19, 2015

 

Model-based Software Engineering (MBSE) is mostly used for the structural
parts of the software. Except for the Business Process Management areas,
models for the behaviour or the functional specification of the software are
not very often used for code generation or direct execution.

The complexity of today's software systems is increasing in various ways.
There is an increasing demand for smart and self-adaptive software systems,
which can effectively cope with changes in their execution environment.
Complex software systems are developed as systems of systems, which are
composed of many independently developed and managed software systems. Such
a composition leads to various kinds of emergent behavior, which must be
modelled and its impacts must be analyzed. Last but not least, software
engineers have to deal with massively parallel and distributed software
systems.

In this era, behavioral modelling is no longer a luxury; instead, it is a
necessity to facilitate comprehending the behavior of software systems and
reasoning about it. The 7th edition of workshop on Behaviour Modelling -
Foundations and Applications (BM-FA) attracts attention to the role of
behaviour modelling in development of today's complex software systems.

We welcome submissions that address the following topics:

*	Methods, techniques and applications of behaviour modelling in
engineering systems of systems
*	Methods, techniques and applications of behaviour modelling in
representing emergent behavior
*	Methods, techniques and applications of behaviour modelling in
self-adaptive software systems
*	Methods, techniques and applications of behaviour modelling in
hybrid systems
*	Application of behaviour modelling for functional and non-functional
requirements, including their refinement into design models;
*	Prospects and challenges in behaviour modelling;
*	Approaches to the definition of behavioural interfaces and
contracts; including approaches to discover and compose components specified
with behavioural interfaces;
*	Quality of behavioural models, e.g. approaches to control-flow or
data-flow analysis in business process modelling;
*	Implementation, direct execution, and code generation of/from
behavioural models;
*	Usability results of different modelling techniques;
*	Composition and decomposition of behavioural models;
*	Combination of different behaviour modelling approaches;
*	Computation of differences between behavioural models;
*	Applications of formal reasoning to behavioural models;
*	Application of behavioural modelling in software quality assurance,
e.g., in model-based testing;
*	Behavior models and their relationship to other artifacts, e.g.
structure models, but also arbitrary other code;
*	The applicability of different behavior model types in different
domains. E.g. what kind of behavior is more feasible in embedded systems,
what kind in information systems, what kind in games, etc.
*	Lessons learned from case studies that involve behaviour modelling;

 

Submission Guideline

------------------------------

All submitted papers must represent original and unpublished work. There is
a limit of 4 pages for short papers and 8 pages for full papers, in the ACM
SIG format.

 

Program Committee:

-----------------------------

*	Ella Roubtsova, Open university, the Netherlands
*	Silvia Abrahão, Universitat Politècnica de València
*	Steffen Zschaler, King's College London
*	Bedir Tekinerdogan, Wageningen University, the Netherlands
*	Nelly Bencomo, Aston University, UK
*	Shaukat Ali, Simula Lab, Norway
*	Omar Alam, McGill University, Canada

*	Ashley McNeile, Metamaxim Ltd,UK
*	Ekkart Kindler, Technical University of Denmark
*	Christian Gerth, Osnabruck University of Applied Sciences, Germany
*	Mehmet Aksit, University of Twente, Netherlands
*	Matthias Tichy, Gothenburg/Chalmers University, Sweden
*	Joel Greenyer, Hannover University, Germany

 

Organization Committee:

----------------------------------

*	Somayeh Malakuti (primary contact), Technical University of Dresden,
Germany
*	Ashley McNeile, Metamaxim Ltd,UK
*	Ekkart Kindler, Technical University of Denmark
*	Christian Gerth, Osnabruck University of Applied Sciences, Germany
*	Mehmet Aksit, University of Twente, Netherlands

 

 

 

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://web.satd.uma.es/pipermail/ecoop-info/attachments/20150409/ffb7f6a3/attachment.html>