Title :
XPRIT: an XML-based tool to translate UML diagrams into execution graphs and queueing networks
Author :
Cortellessa, Vittorio ; Gentile, Michele ; Pizzuti, Marco
Author_Institution :
Dipt. di Informatica, Univ. dell´´Aquila, Coppito, Italy
Abstract :
Various methodologies exist to annotate software models with data related to performance, and to translate the annotated models into performance models. A relevant objective is now at hand in this direction, that is to make these methodologies acceptable from the software engineering community. We present here the XPRIT tool that allows to annotate UML diagrams and translate them into models ready to performance validation, that are execution graphs and queueing networks. The translation is based on an existing methodology (PRIMA-UML), and the output models represent the inputs to a software performance engineering approach.
Keywords :
Unified Modeling Language; XML; formal verification; graph theory; queueing theory; software performance evaluation; software tools; UML diagram translation; XML-based tool; XPRIT; execution graphs; performance validation; queueing networks; software engineering; software models; Filters; Programming; Software engineering; Software performance; Software systems; Software tools; Stochastic processes; Time to market; Unified modeling language; XML;
Conference_Titel :
Quantitative Evaluation of Systems, 2004. QEST 2004. Proceedings. First International Conference on the
Print_ISBN :
0-7695-2185-1
DOI :
10.1109/QEST.2004.1348058
