Policy algebra and compatibility model

At a computing device in a distributed system, a method of determining policy expression commonality between a sender and a receiver the sender expressing message requirements in accordance with a sender policy expression and the receiver expressing message requirements in accordance with a receiver policy expression, the method comprising acts of:

• accessing the sender policy expression in normal form, the sender policy expression including a sender side group of one or more policy alternatives, each policy alternative in the sender side group including a combination of one or more policy assertions that will satisfy the message requirements expressed in the sender policy expression, each policy assertion in the sender side group including a root element name, having a namespace prefix and a corresponding local name and one or more other elements names;
• accessing the receiver policy expression in normal form, the receiver policy expression including a receiver side group of one or more policy alternatives, each policy alternative in the receiver side group including a combination of one or more policy assertions that will satisfy the message requirements expressed in the receiver policy expression, each policy assertion in the receiver side group including a root element name, having a namespace prefix and a corresponding local name, and one or more other element names;
• comparing each policy alternative in the sender side group to each policy alternative in the receiver side group;
• based on the comparison, determining that one or more policy alternatives in the sender side group have a common vocabulary with a corresponding one or more policy alternatives in the receiver side group respectively;
• and
• for each policy alternative from the sender group that has a common vocabulary with a policy alternative from the receiver group:
• creating an intersection policy expression from the policy alternative from the sender group and the policy alternative from the receiver group, the intersection policy representing the union of the policy alternative from the sender group and the policy alternative from the receiver group so as to indicate a single policy alternative that is admissible to both the sender and the receiver.

A computer program product for use at a computing device in a distributed system, the computer program product for implementing a method of applying an algebraic solution to convert a set form of a policy expression into a Boolean form of the policy expression to support versioning message requirements, and other capabilities at various endpoints within the distributed system, the computer program product comprising one or more computer readable media having stored thereon computer executable instructions that, when executed by a processor, cause the computing device to perform the following:

• access a set form of a policy expression, the set form of the policy expression defined by a plurality of policy assertions arbitrarily constrained by a first group of logical operators, the first group of logical operators configured for defining policy expressions in set form, the set form of the policy expression convertible to any of plurality of other forms of the policy expression, including other forms of the policy expression defined by a plurality of equivalent arbitrary constrained policy assertions, at least one of the other forms being the Boolean form of the policy expression, the Boolean form of the policy expression defined by the plurality of policy assertions arbitrarily constrained by a second different group of logical operators, the second different group of logical operators configured for defining policy expressions in Boolean form, the Boolean form of the policy expression convertible to the set form and any of the plurality of other forms, one or more lines of the Boolean form of the policy expression beginning with a logical operator selected from the second group of logical operators;
• utilize the policy algebra to convert the set form of the policy expression to the Boolean form of the policy expression by converting the plurality of policy assertions constrained by the first group of logical operators to an equivalent plurality of policy assertions constrained by the second group of logical operators, the equivalent plurality of policy assertions representing policy alternatives corresponding to each possible combination of one or more of the plurality of policy assertions that will satisfy the policy expression;
• expand the Boolean form of the policy expression into a semi-normal Boolean form of the policy expression including a top-level logical operator selected from among the second group of logical operators, the top-level logical operator enclosing one or more other logical operators selected from among the second group of logical operators;
• expand the semi-normal Boolean form into a disjunctive normal Boolean form of the policy expression, expanding into the disjunctive normal Boolean form including replacing elements indicated as optional in the semi-normal Boolean form with equivalent logical operators from the second group of logical operators;
• and
• present the disjunctive normal Boolean form of the policy expression to the communications endpoint such that the communications endpoint can identify one of the plurality of policy alternatives from the disjunctive normal Boolean form for use in complying with the policy expression.