An analysis of transactional workflow support by J. Vonk & P. Grefen