To provide a new approach for specifying and inspecting contracts regarding systems and methods for expressing a service request and/or announced rate, uptime and/or capacity of a service provider.
The systems and methods utilize stochastic calculus to determine quality of service that includes at least one of the rate, the uptime and the capacity. The quality of service can be indicative of a level of service provided and/or required by an agent and can be obtained by representing an agent's contract via a model and decorating the model with cost functions that are utilized to compute transition costs that are employed to predict associated rates for respective transitions. The model can further be decorated with error states to determine the uptime and employed to determine channel capacity. In general, the quality service of requesting agent and a providing agent can be compared to determine whether the providing agent can satisfy the level of performance of the requesting agent.
RICHTER DAVID
MEREDITH LUCIUS G
JPN7010003265, Borgstrom, J., "Process Calculi for the Foundations of Peer−to−Peer Systems", Research plan, Ecole polytechnique federale de Lausanne, 2003
Kazuo Abe