By bridging the gap between formal specification and practical application of workflow environments,an approach to long transaction management in workflow environments is presented,which is based on the well-known notion of compensation,but extended to deal with both arbitrary process structures to allow cycles in processes and consistent points to allow partial compensation of processes.