Call for papers The 6th Workshop on Behavior Modelling - Foundations and Applications BM-FA 2014; http://www.openuniversiteit.nl/eCache/DEF/2/61/552.html
Organizing Committee: Ella Roubtsova, Open University of the Netherlands Ashley McNeile, Metamaxim Ltd, UK Ekkart Kindler, Technical University of Denmark Christian Gerth, University of Paderborn, Germany Mehmet Aksit, University of Twente, the Netherlands Full paper submission April 22, 2014 Notification of acceptance May 22, 2014 Camera ready version June 22, 2014 Workshop July 22, 2014 Model-based Software Engineering (MBSE), best known in the form of MDA, 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. Restricting of MDA to the structural modelling limits the possibilities of MDA and sometimes prevents the success of MDA. The workshop on Behaviour Modelling - Foundations and Applications attracts attention to the role of behaviour modelling. In 2014, we propose the 6th edition of a BM-FA workshop, which has the goal to focus on possibilities and advantages of the practical use of behavior models for MDA. In order to show the value created by behaviour models, we would like to focus the workshop on success stories and on experience reports, which identify the pressing issues in the practical use of behaviour model in industrial-scale projects. Therefore, we announce a special format for participation of industrial participants. The focus of the BM-FA workshop this year is the applications of different behaviour models in different domains. The questions to be answered are: - what is the problem that is solved with behaviour modelling; - what is the domain of the chosen modelling approach; - what kind of behaviour modelling techniques is applied; - why the chosen behaviour modelling approach works for the given problem. - what is important for application of behaviour models in practice and theory. The answer to each of those questions is important contribution to bring behaviour modelling to the next level of maturity both in theory and in applications. We shall accept industrial participants who submit a one page abstract about the application of behaviour models and will present their work at the workshop. We call for academic papers of minimum four pages and maximum 12 pages in the ACM format. Each paper will be reviewed by three members of the program committee. Proceedings: The ISBN number assigned to the proceedings of BM-FA 2014 is ACM DL 978-1-4503-2791-6. The papers will be reviewed by at least three members of the Program Committee and get the valuable feedback. All accepted papers will be published in the workshop proceedings. Post proceedings of 6 workshops: All potential participants from academia and industry may find attractive a challenge to be published in the post proceedings of the workshop, in a volume of LNCS. The agreement with the Springer publisher has been received. The possible topics of the workshop are: 1. Application of behaviour modelling for functional and non-functional requirements, including their refinement into design models; 2. Lessons learned from case studies that involve behaviour modelling; 3. Prospects and challenges in behaviour modelling; 4.Approaches to the definition of behavioural interfaces and contracts; including approaches to discover and compose components specified with behavioural interfaces; 5. Quality of behavioural models, e.g. approaches to control-flow or data-flow analysis in business process modelling; 6. Implementation, direct execution, and code generation of/from behavioural models; 7. Usability results of different modelling techniques; 8. Composition and decomposition of behavioural models; 9. Combination of different behaviour modelling approaches; 10. Computation of differences between behavioural models; 11. Merging of behavioural models, including dependency and conflict analysis; 12. Application of formal reasoning to behavioural models; 13. Application of behavioural modelling in software quality assurance, e.g., in model-based testing; 14. Behaviour models and their relationship to other artefacts, e.g. structure models, but also arbitrary other code; 15. The applicability of different behaviour model types in different domains. E.g. what kind of behaviour is more feasible in embedded systems, what kind in information systems, what kind in games, etc. Program committee: 1. Mehmet Aksit, University of Twente, The Netherlands 2. Moussa Amrani, University of Luxembourg 3. Joao Paulo Barros, Inst. Politecnico Beja, Portugal 4. Behzad Bordbar, University of Birmingham, UK 5. Ghizlane El Boussaidi, cole de technologie suprieure, Canada 6. Joao M. Fernandes, Universidade do Minho, Portugal 7. Christian Gerth, University of Paderborn, Germany 8. Luis Gomes, Universidade Nova de Lisboa, Portugal 9. Reiko Heckel, University of Leicester, UK 10. Ekkart Kindler, Technical University of Denmark 11. Marco Konersmann, University of Duisburg-Essen, Germany 12. Lvi Lucio, McGill University,Montreal,Canada 13. Ashley McNeile, Metamaxim, UK 14. Artem Polyvyanyy, QUT in Brisbane, Australia 15. Michel Reniers, TU Eindhoven, The Netherlands 16. Ella Roubtsova, Open University of the Netherlands 17. Bernhard Rumpe, Aachen University, Germany 18. Javier Troya, Vienna University of Technology, Austria 19. Antonio Vallecillo, Universidad de Mlaga, Spain 20. Matthias Weidlich, Imperial College London, UK 21. Gefei Zhang, Celonis GmbH, Munich, Germany Dr. Ella Roubtsova Assistant Professor Open University of The Netherlands http://www.open.ou.nl/elr/ ________________________________ 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] ]]
