The software architecture of the OsMoSys Multisolution Framework

The use of multi-formalism techniques is very appealing in modeling complex systems since they allow for building of complex models by integrating or composing sub-models specified by different formalisms. Hence, the most suitable formalism may be used according to the evaluation goals, the level of abstraction of the sub-models and the nature of the sub-systems. Each formalism is usually coupled with efficient solution methods, thus multi-solution approaches are needed to solve multi-formalism models whose analysis involves different techniques and tools. In this paper the software architecture of the OsMoSys Multi-solution Framework (OMF) is presented. OMF was born to provide the support needed to allow for loosely coupled cooperation among heterogeneous analysis techniques and tools, and automates the tasks that must be performed to solve complex multiformalism models. OMF does not require that heterogeneous models are translated into a common formalism in order to be solved, nor that the available tools are modified to be integrated in the framework, but it achieves multisolution by orchestration.