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