O. Garcia, M.; R. Braghetto, K.; Pu, C.; Ferreira, J. E. An Implementation of a Transaction Model for Business Process Systems. JIDM 2012, 3, 271.