Back to results
US 8,300,788 B2Granted
Registry of modular services and a method for automatically selecting an appropriate service to provide particular logical guarantees
AssigneeThe MITRE Corporation
InventorsJonathan Millen, Joshua Guttman, John Ramsdell, Justin Sheehy, Brian Sniffen
Life of this patent
Estimating the term…
Abstract
A system, method, and computer program product are provided for selecting a service to provide a service operation.
Claims13
A computer-implemented method for selecting a service to provide a service operation, comprising:
- identifying one or more sets of services, having a corresponding set of preconditions, that satisfy a set of caller post-conditions, comprising identifying post-conditions for each of the one or more sets of services and comparing the service post-conditions to the set of caller post-conditions according to a rule;
- identifying at least one of the one or more sets of services that has its corresponding set of preconditions satisfied by a set of disclosures available from the caller and subject to caller requirements;
- selecting one of the at least one of the one or more sets of services;
- providing the set of disclosures to the selected set of services;
- receiving a reply from the selected set of services;
- mapping the reply to the set of caller post-conditions;
- and
- sending the mapped reply to the caller.
5 more elements
A computer usable storage device having computer program logic recorded thereon for selecting a service to provide a service operation, execution of which, by a computing device, causes the computing device to perform operations comprising:
- identifying one or more sets of services, having a corresponding set of preconditions, that satisfy a set of caller post-conditions, comprising identifying post-conditions for each of the one or more sets of services and comparing the service post-conditions to the set of caller post-conditions according to a rule;
- identifying at least one of the one or more sets of services that has its corresponding set of preconditions satisfied by a set of disclosures available from the caller and subject to caller requirements;
- selecting one of the at least one of the one or more sets of services;
- providing the set of disclosures to the selected set of services;
- receiving a reply from the selected set of services;
- mapping the reply to the set of caller post-conditions;
- and
- sending the mapped reply to the caller.
5 more elements
A system for selecting a service to provide a service operation, comprising:
- a first identifying module configured to identify one or more sets of services, having a corresponding set of preconditions, that satisfy a set of caller post-conditions, further configured to identify post-conditions for each of the one or more sets of services and compare the service post-conditions to the set of caller post-conditions according to a rule;
- a second identifying module configured to identify at least one of the one or more sets of services that has its corresponding set of preconditions satisfied by a set of disclosures available from the caller and subject to caller requirements;
- a selecting module configured to select one of the at least one of the one or more sets of services;
- a providing module configured to provide the set of disclosures to the selected set of services;
- a receiving module configured to receive a reply from the selected set of services:
- a mapping module configured to map the reply to the set of caller post-conditions;
- and
- a sending module configured to send the mapped reply to the caller.
5 more elements
Dependencies are inferred from the claim text.