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
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;
Conference_Titel :
Quantitative Evaluation of Systems, 2005. Second International Conference on the
Print_ISBN :
0-7695-2427-3
DOI :
10.1109/QEST.2005.10
