BM-FA 2013- deadline has been extended to April 26

The topic of this workshop does not contain the word “aspect”, but modelling and implementation of protocols and service contracts is impossible without aspects.

NB. The paper deadline has been extended to April 26.

     Final Call for Papers
BM-FA 2013
The 5th Workshop on Behavioural Modelling - Foundations and Applications
http://www.openuniversiteit.nl/eCache/DEF/2/51/593.html
In collaboration with ECOOP/ECSA/ECMFA 2013
http://www.lirmm.fr/ec-montpellier-2013/
The 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. These trends require suitable semantics for the composition and combination of behavioural models and modelling techniques so that the various models used to describe the behaviour of a complex system can be put together.
BM-FA 2013 invites submissions of high-quality papers reporting results and indicating problems in one of the following topics:
•        Semantics and application area of different behaviour modelling techniques;
•        Meta modelling of behavioural semantics;
•        Approaches to the definition of behavioural interfaces and contracts;
•        Direct execution of, and code generation from, behavioural models;
•        Application of behaviour modelling for functional requirements
•        Behaviour modelling and non-functional requirements
•        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;
•        Compositional approaches, whereby multiple partial models of behaviour are combined;
•        Prospects and challenges in behaviour modelling.

We ask for papers of minimum 4 to maximum 12 pages in the ACM format http://www.acm.org/publications/gi-proceedings
We use Easychair for submission
https://www.easychair.org/conferences/?conf=bmfa2013


Organising committee
Ella Roubtsova, Open University of the Netherlands
Ashley McNeile, Metamaxim Ltd, UK
Ekkart Kindler, Technical University of Denmark
Mehmet Aksit. TU Twente, the Netherlands


________________________________
Deze e-mail is uitsluitend bestemd voor de geadresseerde(n). Verstrekking aan en gebruik door anderen is niet toegestaan. Open Universiteit sluit iedere aansprakelijkheid uit die voortvloeit uit elektronische verzending. Aan de inhoud van deze e-mail en/of eventueel toegevoegde bijlagen kunnen geen rechten worden ontleend.

This e-mail is intended exclusively for the addressee(s), and may not be passed on to, or made available for use by any person other than the addressee(s). Open Universiteit rules out any and every liability resulting from any electronic transmission. No rights may be derived from the contents of this message.

__________________________________________________
Announce mailing list    -    [email protected]

To unsubscribe and change options, go to:
http://aosd.net/mailman/listinfo/announce_aosd.net

Check out the AOSD.net Wiki: http://aosd.net/wiki