Software performance engineering using UML2SAN: Deadlock prediction of funds transfer

Abstract

In order to allow software designers to determine the performance of software during design, Connie Smith has introduced the concept of Software Performance Engineering (SPE). The idea is to bring performance evaluation into the software design process. Several approaches have been proposed to provide such techniques. Some of them propose to derive from a UML (Unified Modeling Language) model a performance model. UML2SAN is one of the most recent works in SPE, that permits to generate a performance model (SAN: Stochastic Automata Network) from UML specifications. In this paper, we verify the convenience of UML2SAN by predicting deadlock of transfer funds in a banking system during the design phase.