Shadow satisfiability modulo theories solver systems
US-2024330709-A1 · Oct 3, 2024 · US
US9342353B2 · US · B2
| Field | Value |
|---|---|
| Publication number | US-9342353-B2 |
| Application number | US-201213646700-A |
| Country | US |
| Kind code | B2 |
| Filing date | Oct 6, 2012 |
| Priority date | Oct 6, 2012 |
| Publication date | May 17, 2016 |
| Grant date | May 17, 2016 |
A practical reading order for non-experts. Skip the full description unless you need deep technical detail.
What the patent document calls the invention.
A short plain-language summary of the technical disclosure.
Who owns or filed the patent and who is credited as inventor.
Filing, priority, publication, and grant dates set the timeline.
The legal scope of protection — read this for what is actually claimed.
Technology tags used to group this patent with similar filings.
Prior art links and similar publications in this corpus.
Official abstract text for this publication.
A technique for selecting an information service implementation includes receiving a service request that includes a tenant identifier that uniquely identifies a calling tenant. Transformation logic to service the service request is selected based on the received tenant identifier. One or more data sources and one or more data targets are selected for the service request based on the received tenant identifier. Data from the selected data sources is processed using the selected transformation logic and the processed data is stored at the selected data targets.
Opening claim text (preview).
What is claimed is: 1. A method for selecting an information service implementation, comprising: receiving, at a data processing system that functions as a shared interface for multiple tenants, a service request that includes a tenant identifier that uniquely identifies a calling tenant; selecting, by the data processing system, transformation logic provided by a specific virtual machine to service the service request based on the received tenant identifier to implement a tenant specific service level agreement for the calling tenant; selecting, by the data processing system, one or more data sources and one or more data targets for the service request based on the received tenant identifier to implement the tenant specific service level agreement for the calling tenant; processing, by the data processing system, data from the selected data sources using the selected transformation logic, wherein the selected transformation logic implements one or more algorithms that are used to transform the data; and storing, by the data processing system, the processed data at the selected data targets. 2. The method of claim 1 , wherein the tenant identifier corresponds to a user identifier, a user password, a security token, or a certificate. 3. The method of claim 1 , wherein the tenant identifier is derived from a payload or context of the service request or a mapping of a user to the calling tenant. 4. The method of claim 1 , wherein the transformation logic to service the service request is selected at runtime. 5. The method of claim 1 , wherein the selecting, by the data processing system, transformation logic to service the service request based on the received tenant identifier further comprises: selecting, by the data processing system, a specific agent to process the service request based on the received tenant identifier. 6. The method of claim 1 , wherein the selecting, by the data processing system, one or more data sources and one or more data targets for the service request based on the received tenant identifier further comprises: selecting, by the data processing system, one of a shared database for multiple tenants, a shared database with separate schemas for different tenants, or a shared database with shared schema for multiple tenants for the service request based on the received tenant identifier. 7. The method of claim 1 , wherein the selecting, by the data processing system, one or more data sources and one or more data targets for the service request based on the received tenant identifier further comprises: selecting, by the data processing system, one of a shared database for multiple tenants, a shared database with separate schemas for different tenants, or a shared database with shared schema for multiple tenants for the service request based on the received tenant identifier and a service level agreement for the calling tenant. 8. A computer program product for selecting an information service implementation, the computer program product comprising: a computer-readable storage device having computer-readable program code embodied thereon, wherein the computer-readable program code, when executed by a data processing system that functions as a shared interface for multiple tenants, causes the data processing system to: receive a service request that includes a tenant identifier that uniquely identifies a calling tenant; select transformation logic provided by a specific virtual machine to service the service request based on the received tenant identifier to implement a tenant specific service level agreement for the calling tenant; select one or more data sources and one or more data targets for the service request based on the received tenant identifier to implement the tenant specific service level agreement for the calling tenant; process data from the selected data sources using the selected transformation logic, wherein the selected transformation logic implements one or more algorithms that are used to transform the data; and store the processed data at the selected data targets. 9. The computer program product of claim 8 , wherein the tenant identifier corresponds to a user identifier, a user password, a web services security (WSS) token, or a certificate. 10. The computer program product of claim 8 , wherein the tenant identifier is derived from a payload or context of the service request or a mapping of a user to the calling tenant. 11. The computer program product of claim 8 , wherein the transformation logic to service the service request is selected at runtime. 12. The computer program product of claim 8 , wherein the computer-readable program code, when executed by a data processing system, further causes the data processing system to: select a specific agent to process the service request based on the received tenant identifier. 13. The computer program product of claim 8 , wherein the computer-readable program code, when executed by a data processing system, further causes the data processing system to: select one of a shared database for multiple tenants, a shared database with separate schemas for different tenants, or a shared database with shared schema for multiple tenants for the service request based on the received tenant identifier. 14. The computer program product of claim 8 , wherein the computer-readable program code, when executed by a data processing system, further causes the data processing system to: select one of a shared database for multiple tenants, a shared database with separate schemas for different tenants, or a shared database with shared schema for multiple tenants for the service request based on the received tenant identifier and a service level agreement for the calling tenant. 15. A data processing system that functions as a shared interface for multiple tenants, comprising: a memory; and a processor core coupled to the memory, wherein the processor core is configured to: receive a service request that includes a tenant identifier that uniquely identifies a calling tenant; select transformation logic provided by a specific virtual machine to service the service request based on the received tenant identifier to implement a tenant specific service level agreement for the calling tenant; select one or more data sources and one or more data targets for the service request based on the received tenant identifier to implement the tenant specific service level agreement for the calling tenant; process data from the selected data sources using the selected transformation logic, wherein the selected transformation logic implements one or more algorithms that are used to transform the data; and store the processed data at the selected data targets. 16. The data processing system of claim 15 , wherein the tenant identifier corresponds to a user identifier, a user password, a web services security (WSS) token, or a certificate. 17. The data processing system of claim 15 , wherein the tenant identifier is derived from a payload or context of the service request or a mapping of a user to the calling tenant. 18. The data processing system of claim 15 , wherein the transformation logic to service the service request is selected at runtime. 19. The data processing system of claim 15 , wherein the processor core is further configured to: select a specific agent to process the service request based on the received tenant identifier. 20. The data processing system of claim 15 , wherein the processor core is further configured to: select o
wherein the managed service relates to distributed or central networked applications · CPC title
Service on demand, e.g. definition and deployment of services in real time · CPC title
Specific access rights for resources, e.g. using capability register · CPC title
Related publications grouped by family.
Answers are generated from the same data shown on this page.