CALL FOR PAPERS The Fourth Workshop on Behavioural Modelling - Foundations and Applications BM-FA 2012 http://www.ou.nl/eCache/DEF/2/38/333.html In collaboration with the 8th European Conference on Modelling Foundations and Applications http://www2.imm.dtu.dk/conferences/ECMFA-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 modeling. We ask for papers of maximum 15 pages in LNCS format. Submission will be administrated in Easy Chair. Each paper will be reviewed by three members of the program committee. The Proceedings will be published in the ACM DL ISBN 978-1-4503-1187-8. The best paper of the workshop will be invited by the OC of the ECMFA for publication in a journal. Submission type: EasyChair. Full paper submission April 16, 2012 Notification of acceptance May 14, 2012 Camera ready version June 11, 2012 Workshops July 2-3, 2012 ________________________________ 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] ]]
