Twotowers 3.0: enhancing usability

Author

Bernardo, Marco

Author_Institution

Ist. di Scienze e Tecnologie de l´´Informazione, Univ. di Urbino, Italy

fYear

2003

fDate

12-15 Oct. 2003

Firstpage

188

Lastpage

193

Abstract

TwoTowers is a software tool for the functional verification and performance evaluation of computer, communication and software systems represented through stochastic process algebra (SPA). In this paper we describe a novel version (3.0), in which the modeling language is no longer a pure SPA, but a SPA-based architectural description language called AEmilia. We show that Two Towers 3.0 improves on the previous version in terms of usability, because AEmilia hides most of the technicalities of SPA, and also in terms of efficiency, because a new algorithm for state space generation has been implemented.

Keywords

performance evaluation; software tools; stochastic processes; systems software; AEmilia; architectural description language; computer performance evaluation; functional verification; software systems; software tool; state space generation; stochastic process algebra; twotowers; Algebra; Analytical models; Architecture description languages; Computational modeling; Computer simulation; Graphical user interfaces; Performance analysis; Software tools; Stochastic processes; Usability;

fLanguage

English

Publisher

ieee

Conference_Titel

Modeling, Analysis and Simulation of Computer Telecommunications Systems, 2003. MASCOTS 2003. 11th IEEE/ACM International Symposium on

ISSN

1526-7539

Print_ISBN

0-7695-2039-1

Type

conf

DOI

10.1109/MASCOT.2003.1240656

Filename

1240656