In this paper the software architecture of the OsMoSys Multi-solution Framework (OMF) is presented. OMF was born to provide the support needed to a 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; F., Flammini; G., DI LORENZO; Vittorini, Valeria; S., Marrone; M., Iacono. - ELETTRONICO. - ACM International Conference Proceeding Series 321:(2007), pp. Article n. 51-Article n. 51. (Intervento presentato al convegno Second International Conference on Performance Evaluation Methodologies and Tools tenutosi a Nantes, Francia nel 23-25 ottobre 2007).
The software architecture of the OsMoSys Multisolution Framework
MOSCATO, FRANCESCO;VITTORINI, VALERIA;
2007
Abstract
In this paper the software architecture of the OsMoSys Multi-solution Framework (OMF) is presented. OMF was born to provide the support needed to a 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.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
