Software performance engineering using UML2SAN: Deadlock prediction of funds transfer

Author

Sbeity, I. ; Dbouk, M.

Author_Institution

Comput. Sci. Dept., Lebanese Univ., Beirut, Lebanon

fYear

2014

fDate

22-23 Dec. 2014

Firstpage

318

Lastpage

323

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.

Keywords

Unified Modeling Language; automata theory; bank data processing; software performance evaluation; SPE; UML specifications; UML2SAN; banking system; deadlock prediction; funds transfer; software design process; software designers; software performance engineering; stochastic automata network; unified modeling language; Analytical models; Automata; Banking; Information systems; Storage area networks; System recovery; Unified modeling language; Banking system; Information system; UML; UML2SAN; software performance engineering; transfer fund;

fLanguage

English

Publisher

ieee

Conference_Titel

Computer Engineering & Systems (ICCES), 2014 9th International Conference on

Conference_Location

Cairo

Print_ISBN

978-1-4799-6593-9

Type

conf

DOI

10.1109/ICCES.2014.7030978

Filename

7030978