Method and apparatus for formally specifying application-specific read/write consistency
First Claim
1. A system for specifying consistency for an application, comprising:
- an application comprising a transaction, wherein the transaction comprises at least one of a plurality of states, at least one of a plurality of transitions, and at least one artifact; and
a database operatively connected to the application;
wherein the application accesses data from the database associated with the at least one artifact using a consistency specification when the application enters the at least one of the plurality of the states; and
wherein the consistency specification specifies at least one of a read consistency and a write consistency to apply to the at least one artifact.
2 Assignments
0 Petitions
Accused Products
Abstract
A system for specifying read/write consistency for an application including an application including at least one transaction, wherein the at least one transaction includes at least one of a plurality of states, at least one of a plurality of transitions, and at least one artifact; and a database operatively connected to the application, wherein the application accesses data associated with the at least one artifact using a read/write consistency specification; wherein the read/write consistency specification specifies at least one selected from the group consisting of a read consistency and a write consistency for the at least one artifact within the transaction.
10 Citations
17 Claims
-
1. A system for specifying consistency for an application, comprising:
-
an application comprising a transaction, wherein the transaction comprises at least one of a plurality of states, at least one of a plurality of transitions, and at least one artifact; and a database operatively connected to the application; wherein the application accesses data from the database associated with the at least one artifact using a consistency specification when the application enters the at least one of the plurality of the states; and wherein the consistency specification specifies at least one of a read consistency and a write consistency to apply to the at least one artifact. - View Dependent Claims (2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12)
-
-
13. A method for generating an application, comprising:
-
obtaining a business object specification that defines at least one artifact; obtaining an application usage specification that defines the application as a plurality of states and a plurality of transitions, wherein the at least one artifact is associated with one of the plurality of states; obtaining a consistency specification that corresponds to at least one transaction, wherein the at least one transaction comprises at least one of the plurality of states and one of the plurality of transitions and the consistency specification includes at least one of a read consistency and a write consistency to apply to the at least one artifact; and generating the application using a database schema, the application usage specification, and the consistency specification; wherein the artifact is one selected from the group consisting of a variable, a relationship, and an attribute wherein the application accesses data from a database associated with the at least one artifact using the consistency specification when the application enters the at least one of the plurality of the states. - View Dependent Claims (14, 15)
-
-
16. A computer-readable medium having recorded thereon instructions executable by a processor, the instructions for:
-
obtaining a database schema that defines at least one artifact; obtaining an application usage specification that defines the application as a plurality of states and a plurality of transitions, wherein the at least one artifact is associated with one of the plurality of states; obtaining a consistency specification that corresponds to at least one transaction, wherein the at least one transaction comprises at least one of the plurality of states and one of the plurality of transitions and the consistency specification includes at least one of a read consistency and a write consistency to apply to at least one artifact; and generating the application using the database schema, the application usage specification, and the consistency specification, wherein the application accesses data from a database associated with the at least one artifact using a consistency specification when the application enters the at least one of the plurality of the states.
-
-
17. An apparatus for generating an application, comprising:
-
means for obtaining a database schema that defines at least one artifact; means for obtaining an application usage specification that defines the application as a plurality of states and a plurality of transitions, wherein the at least one artifact is associated with one of the plurality of states; means for obtaining a consistency specification that corresponds to at least one transaction, wherein the at least one transaction comprises at least one of the plurality of states and one of the plurality of transitions and the consistency specification includes at least one of a read consistency and a write consistency to apply to the at least one artifact; and means for generating the application using the database schema, the application usage specification, and the consistency specification; wherein the artifact is one selected from the group consisting of a variable, a relationship, and an attribute, wherein the application accesses data from a database associated with the at least one artifact using a consistency specification when the application enters the at least one of the plurality of the states.
-
Specification