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

fYear

2004

Firstpage

342

Lastpage

343

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Quantitative Evaluation of Systems, 2004. QEST 2004. Proceedings. First International Conference on the

Print_ISBN

0-7695-2185-1

Type

conf

DOI

10.1109/QEST.2004.1348058

Filename

1348058