Ensuring atomicity for a collection of transactional work items in a workflow management system

Claim 2

A computer-based method of defining and executing at least one atomic-sphere, said atomic sphere comprising a collection of transactional-work items with a common commit scope representing a global transaction, in order to ensure atomicity of a collection of transactional-work items by at least one computer system, said computer system storing a process-model, said process-model comprising one or more activities being represented as nodes of an arbitrary flow graph, and directed edges of said graph being control-connectors defining a potential flow of control between nodes within said process-model and one or more of said activities being transactional-work items which change resources and data of said computer system, said method of defining and executing comprising: defining said atomic-sphere as a subgraph of said process-model said subgraph containing a subset of said activities and potential flow of control which provides a recoverable consistent state of the process, further determining portions of said potential flow of control of said subgraph which contain at least one activity outside the boundary of said atomic sphere, and wherein during execution said at least one activity outside said boundary of said atomic sphere are processed after the flow of control within said boundary of said atomic-sphere is completed.

Claim 3

A computer-based method of defining at least one atomic-sphere as per claim 1, further comprising: determining sink-activities of said atomic-sphere with no outgoing control-connector, and if at least one sink-activity is determined, adding a no-op-activity to said process-model being outside of said atomic-sphere and connecting said sink-activity to that no-op-activity with a virtual-control-connector, said no-op-activity implementing a dummy activity.

Claim 4

A computer-based method of defining at least one atomic-sphere as per claim 2, wherein said control-connectors are associated with transition-conditions said method further comprising adding a TRUE-transition-condition always being true to said virtual-connectors.

Claim 5

A computer-based method of defining at least one atomic-sphere as per claim 1, further comprising being executed by a control-instance controlling execution of said process-model.

Claim 6

A computer-based method of defining at least one atomic-sphere as per claim 4, wherein said control-instance is one of a workflow-management-system or a transaction-processing-system.

Claim 7

A computer-based method of atomically executing an atomic-sphere as per claim 1, further comprising the steps of: creating an atomic-sphere-transaction-context for said atomic-sphere, if the control-flow along said control-connectors enters said atomic-sphere the first time, and ensuring that the control-flow will not leave said atomic-sphere until the complete control-flow reaches the boundary of said atomic-sphere by postponing navigation along control-connectors leaving said atomic-sphere until all leaving control-connectors are evaluated.

Claim 8

A computer-based method of atomically executing an atomic-sphere as per claim 6, further comprising ending said atomic-sphere-transaction-context, when the complete control-flow reaches said boundary of said atomic-sphere by committing all transactional-work items processed as part of said atomic-sphere.

Claim 9

A computer-based method of atomically executing an atomic-sphere as per claim 6 further comprising using an existing atomic-sphere-transaction-context, if the control-flow enters an atomic-sphere for which an atomic-sphere-transaction-context has been established already because the control-flow entered said atomic-sphere before.

Claim 10

A computer-based method of atomically executing an atomic-sphere as per claim 6, further comprising: wherein said transactional-work items may either never committing said ending said atomic-sphere-transaction-context of said atomic-sphere, or wherein said transactional-work items may committing said ending of said atomic-sphere-transaction-context of said atomic-sphere only, if no atomic-sphere-transaction-context has been established yet.

Claim 11

A computer-based method of atomically executing an atomic-sphere as per claim 6, further comprising one or more of the following steps: determining a potential existence of an atomic-sphere-transaction-context by an activity by either calling a query-transaction-service (GetRoot); passing said potential existing atomic-sphere-transaction-context to an activity when invoking said activity; or passing a transaction-identifier to an activity when invoking said activity said transaction-identifier allowing to determine said atomic-sphere-transaction-context.

Claim 12

A computer-based method of atomically executing an atomic-sphere as per claim 10, further encompassing at least one input-container associated with said activity and further comprising the step of passing said atomic-sphere-transaction-context to an activity within said atomic-sphere as part of said input-container.

Claim 13

A computer-based method of atomically executing an atomic-sphere as per claim 6, further comprising: ensuring that the control-flow will not leave said atomic-sphere (S) until the complete control-flow reaches the boundary of said atomic-sphere by administrating a set of actual-obstructions (OBST(S)) comprising the set of all control-connectors originating from activities within said atomic-sphere directed to target-activities outside said atomic-sphere and which control-connectors have not been reached so far by the current process instance; and delaying execution of said target-activities until all obstructions of said set of actual-obstructions have been reached.

Claim 14

A computer-based method of atomically executing an atomic-sphere as per claim 6, further comprising being executed by a control-instance controlling execution of said process-model.

Claim 15

A computer-based method of atomically executing an atomic-sphere as per claim 13, wherein said control-instance is one of a work-flow-management-system or wherein said control-instance is a transaction-processing-system.

Claim 16

An article of manufacture comprising a computer user medium having computer readable program code embodied therein for defining and executing at least one atomic-sphere, said atomic sphere comprising a collection of transactional-work items with a common commit scope representing a global transaction, in order to ensure atomicity of a collection of transactional-work items by at least one computer system, said computer system storing a process-model, said process-model comprising one or more activities being represented as nodes of an arbitrary flow graph, and directed edges of said graph being control-connectors defining a potential flow of control between nodes within said process-model and one or more of said activities being transactional-work items which change resources and data of said computer system, said method of defining and executing comprising: defining said atomic-sphere as a subgraph of said process-model said subgraph containing a subset of said activities and potential flow of control which provides a recoverable consistent state of the process, further determining portions of said potential flow of control of said subgraph which contain at least one activity outside boundary of said atomic sphere, and wherein during execution said at least one activity outside said boundary of said atomic sphere are processed after the flow of control within said boundary of said atomic-sphere is completed.

Claim 17

An article of manufacture comprising a computer user medium having computer readable program code embodied therein for defining and executing at least one atomic-sphere, said atomic sphere comprising a collection of transactional-work items with a common commit scope representing a global transaction, in order to ensure atomicity of a collection of transactional-work items by at least one computer system, said computer system storing a process-model, said process-model comprising one or more activities being represented as nodes of an arbitrary flow graph, and directed edges of said graph being control-connectors defining a potential flow of control between nodes within said process-model and one or more of said activities being transactional-work items which change resources and data of said computer system, said method of defining and executing comprising: defining said atomic-sphere as a subgraph of said process-model said subgraph containing a subset of said activities and potential flow of control which provides a recoverable consistent state of the process, further determining portions of said potential flow of control of said subgraph which contain at least one activity outside boundary of said atomic sphere, and wherein during execution said at least one activity outside said boundary of said atomic sphere are processed after the flow of control within said boundary of said atomic-sphere is completed.

Claim 18

An article of manufacture comprising a computer user medium having computer readable program code embodied therein defining at least one atomic-sphere as per claim 15, further comprising: determining sink-activities of said atomic-sphere with no outgoing control-connector, and if at least one sink-activity is determined, adding a no-op-activity to said process-model being outside of said atomic-sphere and connecting said sink-activity to that no-op-activity with a virtual-control-connector, said no-op-activity implementing a dummy activity.

Claim 19

A computer program product defining and executing at least one atomic-sphere, said atomic sphere comprising a collection of transactional-work items with a common commit scope representing a global transaction, in order to ensure atomicity of a collection of transactional-work items by at least one computer system, said computer system storing a process-model, said process-model comprising one or more activities being represented as nodes of an arbitrary flow graph, and directed edges of said graph being control-connectors defining a potential flow of control between nodes within said process-model and one or more of said activities being transactional-work items which change resources and data of said computer system, said method of defining and executing comprising: defining said atomic-sphere as a subgraph of said process-model said subgraph containing a subset of said activities and potential flow of control which provides a recoverable consistent state of the process, further determining portions of said potential flow of control of said subgraph which contain at least one activity outside said boundary of said atomic sphere, and wherein during execution said at least one activity outside the boundary of said atomic sphere are processed after the flow of control within said boundary of said atomic-sphere is completed.

Claim 20

A computer program product defining and executing at least one atomic-sphere, said atomic sphere comprising a collection of transactional-work items with a common commit scope representing a global transaction, in order to ensure atomicity of a collection of transactional-work items by at least one computer system, said computer system storing a process-model, said process-model comprising one or more activities being represented as nodes of an arbitrary flow graph, and directed edges of said graph being control-connectors defining a potential flow of control between nodes within said process-model and one or more of said activities being transactional-work items which change resources and data of said computer system, said method of defining and executing comprising: defining said atomic-sphere as a subgraph of said process-model said subgraph containing a subset of said activities and potential flow of control which provides a recoverable consistent state of the process, further determining portions of said potential flow of control of said subgraph which contain at least one activity outside said boundary of said atomic sphere, and wherein during execution said at least one activity outside the boundary of said atomic sphere are processed after the flow of control within said boundary of said atomic-sphere is completed.

Claim 21

A computer program product defining at least one atomic-sphere as per claim 17, further comprising: determining sink-activities of said atomic-sphere with no outgoing control-connector, and if at least one sink-activity is determined, adding a no-op-activity to said process-model being outside of said atomic-sphere and connecting said sink-activity to that no-op-activity with a virtual-control-connector, said no-op-activity implementing a dummy activity.