loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Second International Conference on the Quantitative Evaluation of Systems (QEST'05)
Multisolution of Complex Performability Models in the OsMoSys/DrawNET Framework
Torino, Italy
September 19-September 22
ISBN: 0-7695-2427-3
ASCII Text
x 
 
Gribaudo Marco, Moscato Francesco, Nicola Mazzocca, Valeria Vittorini, "Multisolution of Complex Performability Models in the OsMoSys/DrawNET Framework," Quantitative Evaluation of Systems, International Conference on, pp. 85-94, Second International Conference on the Quantitative Evaluation of Systems (QEST'05), 2005.
 
 
BibTex
x
 
@article{ 10.1109/QEST.2005.22,
author = {Gribaudo Marco and Moscato Francesco and Nicola Mazzocca and Valeria Vittorini},
title = {Multisolution of Complex Performability Models in the OsMoSys/DrawNET Framework},
journal ={Quantitative Evaluation of Systems, International Conference on},
volume = {0},
year = {2005},
isbn = {0-7695-2427-3},
pages = {85-94},
doi = {http://doi.ieeecomputersociety.org/10.1109/QEST.2005.22},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Quantitative Evaluation of Systems, International Conference on
TI - Multisolution of Complex Performability Models in the OsMoSys/DrawNET Framework
SN - 0-7695-2427-3
SP85
EP94
A1 - Gribaudo Marco,
A1 - Moscato Francesco,
A1 - Nicola Mazzocca,
A1 - Valeria Vittorini,
PY - 2005
KW - null
VL - 0
JA - Quantitative Evaluation of Systems, International Conference on
ER -
 
Gribaudo Marco, Universita di Torino, Italy
Moscato Francesco, Universita di Napoli, Italy
Nicola Mazzocca, Universita di Napoli, Italy
Valeria Vittorini, Universita di Napoli, Italy
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.
Citation:
Gribaudo Marco, Moscato Francesco, Nicola Mazzocca, Valeria Vittorini, "Multisolution of Complex Performability Models in the OsMoSys/DrawNET Framework," qest, pp.85-94, Second International Conference on the Quantitative Evaluation of Systems (QEST'05), 2005
Usage of this product signifies your acceptance of the Terms of Use.