WRUMM 2012 - International Workshop on Research and Use of Multiformalism Modeling Methods

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-formalism 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-modeling and model transformation. This workshop aims to gather experiences, theories, applications and solutions from all communities, 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.