TITLE:
An Extension to Pi-Calculus for Performance Evaluation
AUTHORS:
Shahram Rahimi, Elham S. Khorasani, Yung-Chuan Lee, Bidyut Gupta
KEYWORDS:
Pi-calculus, Performance Evaluation, Multi-Agent Systems, System Modeling
JOURNAL NAME:
Journal of Software Engineering and Applications,
Vol.4 No.1,
January
27,
2011
ABSTRACT: Pi-Calculus is a formal method for describing and analyzing the behavior of large distributed and concurrent systems. Pi-calculus offers a conceptual framework for describing and analyzing the concurrent systems whose configuration may change during the computation. With all the advantages that pi-calculus offers, it does not provide any methods for performance evaluation of the systems described by it; nevertheless performance is a crucial factor that needs to be considered in designing of a multi-process system. Currently, the available tools for pi-calculus are high level language tools that provide facilities for describing and analyzing systems but there is no practical tool on hand for pi-calculus based performance evaluation. In this paper, the performance evaluation is incorporated with pi-calculus by adding performance primitives and associating performance parameters with each action that takes place internally in a system. By using such parameters, the designers can benchmark multi-process systems and compare the performance of different architectures against one another.