Abstract: A workflow application is represented by a graph comprising a plurality of components, some of which may be processes. At least two of the processes are interpreted according to different respective sets of rules. The sets of rules are implemented in either a plurality of respective navigation engines or in a single engine implementing multiple sets of rules.

Abstract: A workflow application is represented by a graph comprising a plurality of components, some of which may be processes. At least two of the processes are interpreted according to different respective sets of rules. The sets of rules are implemented in either a plurality of respective navigation engines or in a single engine implementing multiple sets of rules.

Abstract: Compensation of workflow applications represented by a graph is achieved by including graphical representations of paired primary and compensation tasks and of completion steps indicating success or failure of a process. Execution of a completion step indicating failure of the process causes one or more compensation tasks to run and execution of a completion step indicating success causes commitment of the results of previously executed primary tasks. By associating both a successful and an unsuccessful completion step with a process end point, a compensation group is defined. By associating only an unsuccessful completion step with an inner process within a compensation group, compensation tasks within the inner process whose primary tasks have executed are run if the unsuccessful completion step is reached. Otherwise compensation is deferred pending the outcome of the completion steps of the compensation group.