Multisolution of Complex Performability Models in the OsMoSys/DrawNET Framework

Authors:
Gribaudo Marco;Moscato Francesco;Nicola Mazzocca;Valeria Vittorini
Affiliations:
Universita di Torino, Italy;Universita di Napoli, Italy;Universita di Napoli, Italy;Universita di Napoli, Italy
Venue:
QEST '05 Proceedings of the Second International Conference on the Quantitative Evaluation of Systems
Year:
2005

Citing 0
Cited 2

The software architecture of the OsMoSys multisolution framework

Proceedings of the 2nd international conference on Performance evaluation methodologies and tools
INCOME2010 - a toolset for developing process-oriented information systems based on petri nets

Proceedings of the 1st international conference on Simulation tools and techniques for communications, networks and systems & workshops

Quantified Score

Hi-index	0.00

Visualization

Abstract

In the last years some infrastructures and frameworks have been proposed to enable the compositional development of multiformalism models. The OsMoSys/DrawNET framework allows to develop and analyze complex performability models which are composed by several submodels expressed by means of different formal languages. In this paper we describe the approach to multisolution of multiformalism models in the OsMoSys/DrawNET framework and we introduce the mechanisms used to define the performance indices and generate the required results.