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.
In Proceedings of the ICLP 2001 workshop on Specification, Analysis and Validation for Emerging Technologies in Computational Logic (SAVE 2001)