v1.0 October 29th 2011
v2.0 November 16th 2011
v3.0 January 3rd 2012
v4.0 February 10th 2012
v5.0 May 6th 2012

Based on the research made by

Dr. Sotiris Moschoyiannis
Prof. Paul Krause


The application demonstrates the forward execution of long-running transactions and the recovery execution that happens to recover all processed nodes done during the forward execution when an error occurs. This application takes as input the transaction tree. The transaction tree itself contains the required information on how the multiple services can be invoked in the transaction. There are three ways to do this. Services can be invoked sequentially meaning one after the other, alternatively, one or the other and in parallel all at the same time. To execute the transaction the tree is converted into a different form. This form is none other than the vector format.The vector format does some mathematical calculations to extract the service invocations into vectors that are ordered and executed one by one.
You can select a different path for the execution of the animation using found on the run button

Transaction Engine

Supported Browsers

File Input
No file chosen

Drop files here

No file chosen
Waiting for File
Transaction Tree
Vector Format
Num. of Participants Type Number of Vectors
Transaction Tree
Transaction Automaton


Shows a sequential execution
Shows an alternative execution
Shows a parallel execution
Shows a message sent, service invocation

How it works

Forward Execution

Press on a node to add error
Press again to remove the error

Recovery Execution

Press on green node to retry execution
Press again to remove retry


Cannot add error in recovery
Cannot retry in forward execution