Common use of Searching Clause in Contracts

Searching. The consumer is matched against each alternative of each rovider. By querying for isStronger and isEquivalent assertions for the Provider’s SLOs, the algorithm determines that Provider 1 is able to satisfy the consumer’s needs and the consumer can also satisfy the requirement expressed in G1. However, Provider 1 is dismissed as a potential match because one of the guarantees was asserted as notSuitable as highlighted in number 3 of Table 5. Provider 2’s first alternative is considered and the algorithm will determine that not all of the consumer’s guarantees are satisfied as the provider does not have an isStronger or isEquivalent assertion for each of them and as one of the SLOs is weaker than the consumer SLO as highlighted in number 9 from Table 5. The algorithm moves on to the next alternative of Provider 2 and determines that it is a match because all of the consumer’s guarantees are satisfied and none of the relevant provider guarantees have been asserted as notSuitable. The algorithm returns Provider 2 as the only match.

Searching. The consumer is matched against each alternative of each roviderprovider. By querying for isStronger and isEquivalent assertions for the Provider’s SLOs, the algorithm determines that Provider 1 Provider1 is able to satisfy the consumer’s needs and the consumer can also satisfy the requirement expressed in G1. However, Provider 1 Provider1 is dismissed as a potential match because one of the guarantees was asserted as notSuitable as highlighted in number 3 of Table 5. Provider 2’s first alternative is considered and the algorithm will determine that not all of the consumer’s guarantees are satisfied as the provider does not have an isStronger or isEquivalent assertion for each of them and as one of the SLOs is weaker than the consumer SLO as highlighted in number 9 from Table 5. The algorithm moves on to the next alternative of Provider 2 and determines that it is a match because all of the consumer’s guarantees are satisfied and none of the relevant provider guarantees have been asserted as notSuitable. The algorithm returns Provider 2 as the only match.