基于家态的多事务工作流完整性分析.pdfVIP

第6期 电 子 学 报 Vol. 34 No. 6 2006 年6 月 ACTA ELECTRONICA SINICA June 2006 基于家态的多事务工作流完整性分析 1,2 1 1, 2 , , ( 11 同济大学计算机科学 工程系, 上海200092; 21 山东科技大学信息科学 工程学院, 山东青岛266510) : 工作流技术是计算机应用领域的一个研究热点, 而行之有效的建模方法和分析工具是工作流系统的 关键, 也是研究人员的研究重点. 基于工作流的 etri 网结构化建模方法,研究了同一品质多事务工作流的 etri 网模 型, 分析了模型处理多种事务的能力, 对以往研究中的不足和错误进行了补充和更正, 给出了基于家态的模型结构完 整性验证的一个充要条件.所得结果为工作流模型分析和验证提供了理论基础和依据, 对于分析工作流系统处理事务 的能力, 提高事务处理效率有重要意义. : etri 网; 家态; 工作流; 多事务工作流网; 完整性 : T 302 : A : 037222112 ( 2006) 062 11632 06 Soundness An alysis of the Multi2cases Wor kflow Model Based on Home St at e 1, 2 1 1, 2 ANG Shan2chen , YAN Chun2gang , JIANG Chang2jun ( 1. Department of Computer Science and Engineering, Tongji Univer sity, Shanghai 200092, China ; 2. School of Information Science and Engineering, Shandong University of Science and Technology, Qingdao, Shandong 266510, China ) Abstr act : Workflow technology is a hotspot in the area of computer application, and the efficient modeling methods and application tools are important for workflow system, and are the emphases of re2 search for researchers. Based on the etri Nets modeling techniques, the workflow model of multi2cases having same characters be studied in this paper. Some properties of the multi2cases workflow net(MCWF2 net) are analyzed and verified. Some shortages and errors in before some studied results be covered or rec2 tified. Based on home state, a necessa