Performance Analysis of Distributed Systems Involving Loops

This paper analyzes the performance of a distributed global system, composed of subservices sequenced with strict and weak loop. We provide general formulas with which we calculate the performance of a composite service based on the performance of the constituent sub-services and the control operators. To do this, we model each sub-service as a Partially Ordered Specification (POS), where each sub-service is characterized by independent input and output events, and the minimum delays between these events. This technique allows two or more sub-services to be combined hierarchically. Proofs of correctness for these formulas are given with a discussion of an example throughout the paper.