pi-calculus as a Rapid Prototype Language for Performance

Abstract:

In this paper we propose a fully semantic-based framework for performance evaluation. This framework is intended to be used in early stages of system design, as a tool for taking decision.
More exactly, the idea is to sketch the system in a prototyping language, as $\pi$-calculus and then to use our framework to derive its performance, parameterized by the architecture. This can be very useful when a choice between two equivalent systems must be taken, and which one is the most performing is not so evident.

Back to the Homepage