Kianoosh Sadeghi - Islamic Azad University, Ravansar Branch, Department of computer, Ravansar, Iran

Software architecture plays an important role in the success of modern, large and distributed software systems. For many of the software systems – especially safety-critical ones – it is important to specify their architectures using formal modeling notations. In this case, it is possible to assess different functional and nonfunctional properties on the designed models. Therewith e-commerce in today's conditions has the highest dependence on network infrastructure of banking. However, when the possibility of communicating with the Banking network is not provided, business activities will suffer. In this paper, we present an approach to performance analysis of two-phase commit protocol. To do so, performance models are generated in PEPA (Performance Evaluation Process Algebra) – a formal language based on the stochastic process algebra –. Finally, we analyze different features like throughput, utilization of different software components, etc. on the generated performance models. All the main concepts are illustrated through a case study.

performance evaluation, PEPA, Digital Wallet, E- Payment System, Peer to Peer Communication &Security