Automated Transformation of Distributed Software Architectural Models to Finite State Process

Software Performance Engineering (SPE) represents the collection of software engineering activities with the purpose of identification, prediction and also improvement of software performance parameters in the early stages of software development life cycle. Various models such as queuing networks, layered queues, Petri Nets and Stochastic Process Algebras are suggested for modeling distributed systems. Particular ability of a model is the prediction and estimation of non-functional characteristic of one system before it has been made. The main problem is a method by which we can easily transform architectural software models into formal simulate able models. In this paper a method for automatic transformation of UML deployment and sequence diagrams into FSP(finite state process) model is presented, so that we can analyze the resulting model through discrete event simulation tools from the performance perspective. In the proposed transformation algorithm, different aspects of a software system such as: communication model of software objects, synchronization and physical deployment of objects are considered. Keywords-performance engineering – distributed systems – finite state process – simulation – performance evaluation