(Apologies for multiple copies) First Call for Papers Workshop on Research and Use of Multiformalism Modeling Methods
WRUMMM 2012 http://www.dem.unina2.it/wrummm Imperial College London, Department of Computing 17th September, 2012, London, United Kingdom DEADLINES: Paper and tool submission by 1 July, 2012 Author notification by 14 August, 2012 NOTE: Publisher will be announced as soon as the agreements are established. SCOPE AND TOPICS Multiformalism modeling is an established theme in literature. Although there is not a commonly stated definition, it can be informally described as the analysis of models described using different techniques (high level formalisms as SPAs/Petri Nets/Automata/..., meta level formalisms as CME/LTS/... or low level formalisms as CTMCs/SMPs/..., or any other formalism example), to obtain advantages in the expression power, in the solution or in the modeling process. Many examples of multi-for- malism modeling techniques can be found in different application fields, each trying and catch issues of modelers, theorists and users. Usually multi-formalism models exploit different modeling paradigms, different model structures and different solution strategies. Multiformalism modeling is related to multi-solution, meta-mode- ling and model transformation. This workshop aims to gather ex- periences, theories, applications and solutions from all commu- nities, to allow a critical evaluation of the latest developments in multiformalism research, with regard to what it currently offers, where its limitations lie and further to identify future trends and research opportunities. Original papers related to theoretical and methodological issues as well as case studies and automated tool support are solicited in the following areas: - multiformalism theoretical foundations; - methodological approaches; - modeling techniques; - modeling experiences; - multisolution approaches; - heterogeneous models composition; - case studies from different disciplines; - tools integration; - results presentation and analysis; - standard interchange modeling language definitions. EVALUATION OF PAPERS All submitted papers will be thoroughly judged by at least three reviewers on the basis of their originality, technical quality, scientific or practical contribution to the state of the art, methodology, clarity, and adequacy of references. SUBMISSIONS We invite submissions of original papers related to the aforemen- tioned topics. Submissions must be in English, LNCS format. Sub- mission instructions can be found at www.dem.unina2.it/wrummm. Submitted papers should not exceed 15 pages. Additional material for the aid of the reviewers (e.g., proofs) can be sent in a clearly marked appendix. Papers must be unpublished and not be submitted for publication elsewhere. PC members, except program co-chairs, may submit papers. All accepted papers will be published in the Workshop Proceedings and must be presented at the workshop by one of the authors. The publisher of the proceedings will be announced as soon as possible. PROGRAM CHAIRS Marco Gribaudo (Politecnico di Milano, Italy) Mauro Iacono (Seconda Università degli Studi di Napoli, Italy) LOCAL CHAIR Marcel Chris Guenter (Imperial College London, UK) PROGRAM COMMITTEE MEMBERS Simona Bernardi (Centro Universitario de la Defensa, Academia General Militar, Zaragoza, Spain) Gianfranco Ciardo (University of California at Riverside, USA) Antinisca Di Marco (University of L'Aquila, Italy) Giuliana Franceschinis (University of Piemonte Orientale, Italy) Serge Haddad (ENS Cachan, France) Samuel Kounev (Karlsruhe Institute of Technology, Germany) William Knottenbelt (Imperial College London, UK) Catalina Llado (Universitat de les Illes Balears, Spain) Andrew Miner (Iowa State University, USA) Patrice Moreaux (Polytech Annecy-Chambéry, University of Savoie, France) Markus Siegle (University of the German Armed Forces, Munich, Germany) Hans Vangelhuve (McGill University, Canada and University of Antwerp, Belgium) Enrico Vicario (University of Firenze, Italy) Valeria Vittorini (University of Napoli "Federico II", Italy) Murray Woodside (Carleton University, Canada) Armin Zimmermann (TU Ilmenau, Germany) ---- ---- [[ 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] ]]
