Twotowers 3.0: enhancing usability

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.