Method and apparatus for formally specifying application-specific read/write consistency

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.

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.

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.