DocumentCode
3281001
Title
Draw-Net, a customizable multi-formalism, multi-solution tool for the quantitative evaluation of systems
Author
Gribaudo, Marco ; Codetta-Raiteri, Daniele ; Franceschinis, Giuliana
Author_Institution
Dip. di Informatica, Univ. di Torino, Italy
fYear
2005
fDate
19-22 Sept. 2005
Firstpage
257
Lastpage
258
Abstract
This paper presents the last version of Draw-Net, a customizable tool for the design and solution of models expressed in any graph based formalism, including the possibility of representing complex models by means of multi-formalism and analyzing them by exploiting different solution modules. In particular, it focuses on the new tools and features available in the current version of the framework.
Keywords
formal verification; software performance evaluation; software tools; Draw-Net; graph based formalism; multiformalism multisolution tool; quantitative system evaluation; Buildings; Fault trees; Fluid dynamics; Graphical user interfaces; Libraries; Performance analysis; Performance evaluation; Petri nets; Stochastic processes; XML;
fLanguage
English
Publisher
ieee
Conference_Titel
Quantitative Evaluation of Systems, 2005. Second International Conference on the
Print_ISBN
0-7695-2427-3
Type
conf
DOI
10.1109/QEST.2005.10
Filename
1595808
Link To Document