2nd International ICST Conference on Performance Evaluation Methodologies and Tools

Research Article

The software architecture of the OsMoSys Multisolution Framework

Download797 downloads
  • @INPROCEEDINGS{10.4108/valuetools.2007.1913,
        author={F. Moscato and F. Flammini and G. Di Lorenzo and V. Vittorini and S. Marrone and M. Iacono},
        title={The software architecture of the OsMoSys Multisolution Framework},
        proceedings={2nd International ICST Conference on Performance Evaluation Methodologies and Tools},
        proceedings_a={VALUETOOLS},
        year={2010},
        month={5},
        keywords={SystemModeling Multiformalism Multisolution Orchestration},
        doi={10.4108/valuetools.2007.1913}
    }
    
  • F. Moscato
    F. Flammini
    G. Di Lorenzo
    V. Vittorini
    S. Marrone
    M. Iacono
    Year: 2010
    The software architecture of the OsMoSys Multisolution Framework
    VALUETOOLS
    ICST
    DOI: 10.4108/valuetools.2007.1913
F. Moscato1,*, F. Flammini1,*, G. Di Lorenzo1,*, V. Vittorini1,*, S. Marrone2,*, M. Iacono3,*
  • 1: Dip. di Informatica e Sistemistica Univ. di Napoli Federico II
  • 2: Dip. di Ingegneria della Informazione Seconda Univ. di Napoli
  • 3: Dip. di Studi Europei e Mediterranei Seconda Univ. di Napoli
*Contact email: francesco.moscato@unina.it, frflammi@unina.it, giusy.dilorenzo@unina.it, vittorin@unina.it, stefano.marrone@unina2.it, mauro.iacono@unina2.it

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 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.