9Bhatacharya K, Cagdasgerede Evren, Hull R, et al. Towards formal analysis of artifact-centric business process models [ J ]. Computer Science, 2007,4714 : 288-304.
10Leymann F, Roller D, Schimidt M T. Web services and business process management [ J ]. IBM Systems Journal, 2002,41 (2) : 198-211.