针对BPEL（Business Process Execution Language）流程中出现的数据竞争和死锁问题,提出了一种基于图理论的检测方法.首先把BPEL流程......