global transaction support for workflow management systems : from formal specification to practical implementation the vldb journal -- the international journal on very large data bases 2001
paul grefen , jochem vonk , peter apers