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 multi-formalism 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 multi-solution by orchestration.

The software architecture of the OsMoSYS Multisolution Framework

MOSCATO, Francesco;MARRONE, Stefano;IACONO, Mauro
2007

Abstract

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 multi-formalism 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 multi-solution by orchestration.
Moscato, Francesco; Flammini, Francesco; Di Lorenzo, Giusy; Vittorini, Valeria; Marrone, Stefano; Iacono, Mauro
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: http://hdl.handle.net/11591/179053
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 24
  • ???jsp.display-item.citation.isi??? ND
social impact