Specification of constraints in business flow

The paper proposes an approach which generates alternative flows and cancel flows necessary in exceptional conditions automatically with transactional constraint rules in business flow. In our approach, modification of a business flow is easier than current workflow systems because modification of the transactional constraint rule is not necessary unless constraints among the services change. The paper shows the effectiveness of our approach with a travel reservation example.