Login| Sign Up| Help| Contact|

Patent Searching and Data


Title:
SYSTEM AND METHOD THAT EMPLOY PROCESS ALGEBRA TO SPECIFY CONTRACT AND UTILIZE PERFORMANCE PREDICTION IMPLEMENTATION THEREOF TO MEASURE THE SAME SPECIFICATION
Document Type and Number:
Japanese Patent JP2005182788
Kind Code:
A
Abstract:

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.


Inventors:
BROWN JR ALLEN L
RICHTER DAVID
MEREDITH LUCIUS G
Application Number:
JP2004358959A
Publication Date:
July 07, 2005
Filing Date:
December 10, 2004
Export Citation:
Click for automatic bibliography generation   Help
Assignee:
MICROSOFT CORP
International Classes:
G06F9/50; G06F7/38; G06F17/00; G06F17/30; H04L12/24; H04L12/44; H04L12/56; (IPC1-7): G06F9/50; H04L12/56
Other References:
JPN7010003264, Andrew Phillips Luca Cardelli, "Simulating Biological Systems in theStochastic Pi−Calculus", Microsoft Research 2004, 20040728
JPN7010003265, Borgstrom, J., "Process Calculi for the Foundations of Peer−to−Peer Systems", Research plan, Ecole polytechnique federale de Lausanne, 2003
Attorney, Agent or Firm:
Yoshikazu Tani
Kazuo Abe