Dear colleagues, We would like to invite your contributions for the 5th Workshop on Behavioural Modelling - Foundations and Applications (BM-FA 2013) http://www.openuniversiteit.nl/eCache/DEF/2/51/593.html The workshop will take place in Montpellier, France, co-located with ECMFA, ECOOP and ECSA 2013 http://www.lirmm.fr/ec-montpellier-2013/
The topics of interest of the workshop: • 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 Easy chair for submission. The proceedings will be published in ACM DL. Proceedings of the previous workshops are the volumes of ACM DL: 1. ISBN: 978-1-60558-503-1 2. ISBN 978-1-60558-961-9 3. ISBN 978-1-4503-0617-1 4. ISBN 978-1-4503-1187-8 The Organizing 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. ---- [[ Petri Nets World: ]] [[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]] [[ Mailing list FAQ: ]] [[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]] [[ Post messages/summary of replies: ]] [[ [email protected] ]]
