Graph-based negotiation system with encapsulated constraint solver
First Claim
1. In a system having a processor for carrying out a negotiation concerning a set of actions to be performed by selected ones of a plurality of participants, a method for carrying out the negotiation with at least one of the plurality of participants encapsulating a constraint solver in a service, comprising:
- defining processing instructions in a memory of the system for carrying out the negotiation using the service encapsulating the constraint solver; and
executing the processing instructions for carrying out the negotiation with the service encapsulating the constraint solver;
wherein said executing the processing instructions for carrying out the negotiation with the service encapsulating the constraint solver further comprises;
(A) establishing encapsulation input in the memory that includes;
(a) a mapping between aspects of parameters of the service and corresponding variables of the constraint solver, (b) a translation between negotiation statements on the aspects of the parameters of the service and domain constraints imposed on the corresponding variables of the constraint solver, and (c) a set of semantic constraints of the service on variables of the constraint solver;
(B) constructing a graph in the memory for negotiating the set of actions to be performed;
each node of the graph defining a negotiation context that has associated therewith a constraint store with at least a set of domain constraints stored therein;
(C) propagating constraints defined by the set of semantic constraints and the set of domain constraints associated with nodes of the graph to other participants in the negotiation as domain constraints augment the set of semantic constraints during the negotiation.
1 Assignment
0 Petitions
Accused Products
Abstract
A constraint solver is encapsulated in a service adapted to participate in a negotiation. In operation, the system constructs a graph in its memory for negotiating a set of actions to be performed by selected ones of a plurality of participants. Each node of the graph defines a negotiation context that has associated therewith a constraint store with at least a set of domain constraints stored therein that limit during the negotiation a set of semantic constraints of the service on variables of the constraint solver.
-
Citations
21 Claims
-
1. In a system having a processor for carrying out a negotiation concerning a set of actions to be performed by selected ones of a plurality of participants, a method for carrying out the negotiation with at least one of the plurality of participants encapsulating a constraint solver in a service, comprising:
-
defining processing instructions in a memory of the system for carrying out the negotiation using the service encapsulating the constraint solver; and
executing the processing instructions for carrying out the negotiation with the service encapsulating the constraint solver;
wherein said executing the processing instructions for carrying out the negotiation with the service encapsulating the constraint solver further comprises;
(A) establishing encapsulation input in the memory that includes;
(a) a mapping between aspects of parameters of the service and corresponding variables of the constraint solver, (b) a translation between negotiation statements on the aspects of the parameters of the service and domain constraints imposed on the corresponding variables of the constraint solver, and (c) a set of semantic constraints of the service on variables of the constraint solver;
(B) constructing a graph in the memory for negotiating the set of actions to be performed;
each node of the graph defining a negotiation context that has associated therewith a constraint store with at least a set of domain constraints stored therein;
(C) propagating constraints defined by the set of semantic constraints and the set of domain constraints associated with nodes of the graph to other participants in the negotiation as domain constraints augment the set of semantic constraints during the negotiation. - View Dependent Claims (2, 3, 4, 5, 6, 7, 8)
-
-
9. A system having a processor for carrying out a negotiation concerning a set of actions to be performed by selected ones of a plurality of participants, the negotiation being carried out with at least one of the plurality of participants encapsulating a constraint solver in a service, comprising:
-
a memory for storing processing instructions for carrying out the negotiation using the service encapsulating the constraint solver; and
a processor for executing the processing instructions for carrying out the negotiation using the service encapsulating the constraint solver;
the processor in executing the processing instructions for carrying out the negotiation using the service encapsulating the constraint solver;
(A) establishing encapsulation input in the memory;
(a) a mapping between aspects of parameters of the service and corresponding variables of the constraint solver, (b) a translation between negotiation statements on the aspects of the parameters of the service and domain constraints imposed on the corresponding variables of the constraint solver, and (c) a set of semantic constraints of the service on variables of the constraint solver;
(B) constructing a graph in the memory for negotiating the set of actions to be performed;
each node of the graph defining a negotiation context that has associated therewith a constraint store with at least a set of domain constraints stored therein;
(C) propagating constraints defined by the set of semantic constraints and the set of domain constraints associated with nodes of the graph to other participants in the negotiation as domain constraints augment the set of semantic constraints during the negotiation. - View Dependent Claims (10, 11, 12, 13, 14, 15, 16)
-
-
17. An article of manufacture for use in a machine comprising:
-
a memory;
processing instructions stored in the memory for carrying out a negotiation concerning a set of actions to be performed by selected ones of a plurality of participants, the negotiation being carried out with at least one of the plurality of participants encapsulating a constraint solver in a service;
wherein the processing instructions in carrying out the negotiation with at least one of the plurality of participants encapsulating a constraint solver in a service;
defining processing instructions in a memory of the system for carrying out the negotiation using the service encapsulating the constraint solver; and
executing the processing instructions with the processor for carrying out the negotiation with the service encapsulating the constraint solver;
the processor in executing the processing instructions for carrying out the negotiation with the service encapsulating the constraint solver;
(A) establishing encapsulation input in the memory;
(a) a mapping between aspects of parameters of the service and corresponding variables of the constraint solver, (b) a translation between negotiation statements on the aspects of the parameters of the service and domain constraints imposed on the corresponding variables of the constraint solver, and (c) a set of semantic constraints of the service on variables of the constraint solver;
(B) constructing a graph in the memory for negotiating the set of actions to be performed;
each node of the graph defining a negotiation context that has associated therewith a constraint store with at least a set of domain constraints stored therein;
(C) propagating constraints defined by the set of semantic constraints and the set of domain constraints associated with nodes of the graph to other participants in the negotiation as domain constraints augment the set of semantic constraints during the negotiation. - View Dependent Claims (18, 19, 20, 21)
-
Specification