Systems and methods that employ process algebra to specify contracts and utilize performance prediction implementations thereof to measure the specifications
First Claim
1. A system that employs process algebra and performance predicting techniques to specify and check contracts, comprising:
- a first component that employs the process algebra to specify a contract in at least a fragment of the process algebra, and a second component that compares the specified contract with an implementation generated via the performance predicting techniques, wherein a result of the comparison determines whether the implementation satisfies the contract.
3 Assignments
0 Petitions
Accused Products
Abstract
The systems and methods of the present invention utilize stochastic calculus (e.g., pi calculus) to determine (e.g., specify, predict, etc.) quality of service that includes at least one of rate, uptime and capacity. The quality of service can be indicative of a level of service provided and/or required by an agent (e.g., a web service). The quality of service can be obtained by representing an agent'"'"'s contract via a model (e.g., state diagram or mathematical algorithm) 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 uptime and employed to determine channel capacity. In general, the quality service of a 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.
-
Citations
36 Claims
-
1. A system that employs process algebra and performance predicting techniques to specify and check contracts, comprising:
-
a first component that employs the process algebra to specify a contract in at least a fragment of the process algebra, and a second component that compares the specified contract with an implementation generated via the performance predicting techniques, wherein a result of the comparison determines whether the implementation satisfies the contract. - View Dependent Claims (2, 3, 4, 5, 6, 7)
-
-
8. A method that employs process algebra and performance predicting techniques to specify and check contracts, comprising:
-
specifying a contract in at least a fragment of the process algebra;
employing the performance predicting techniques to predict an implementation of the contract; and
measuring the implementation of the contract against the specified contract to determine whether the specified contract and implementation thereof satisfy each other. - View Dependent Claims (9, 10, 11, 12)
-
-
13. A system that expresses a quality of service, comprising:
-
a description component that stores a definition of a level of performance for a first entity; and
a service manager that utilizes the definition to determine whether a second entity satisfies the level of performance of the first entity. - View Dependent Claims (14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27)
-
-
28. A method that utilizes a level of performance to facilitate selecting a service, comprising:
-
employing a stochastic math-based algorithm to predict a performance rate for an agent; and
comparing the predicted performance rate with an advertised performance rate of a service providing agent to determine whether the service providing agent is capable of satisfying the predicted rate. - View Dependent Claims (29, 30, 31, 32, 33)
-
-
34. A data packet transmitted between two or more computer components that facilitates service related negotiations between agents, comprising:
a quality of performance, wherein the quality of performance includes rate, uptime and capacity metrics for the first agent that is compared with rate, uptime and capacity metrics of a second agent to determine whether the first agent satisfies the quality of performance of second first agent.
-
35. A computer readable medium storing computer executable components that facilitate specifying a level of performance, comprising:
-
a component that represents a web service as states;
a component that decorates associated state transitions with cost functions;
a component that utilizes the cost functions to predict a rate for respective state transitions; and
a component that compares the predicted rates to offered rates to determine whether an offered rate satisfies the predicted rate.
-
-
36. A system that employs a quality of performance as a negotiation tool between agents, comprising:
-
means for determining a quality of performance for respective agents;
means for comparing the quality of performance of the respective agents; and
means for matching at least two agents based on the comparison.
-
Specification