基于Pi演算和EECA规则的跨组织工作流建模研究.pdfVIP

计算机工程与设计 Compuωr Engineering and Design 2010,31 (17) 3831 • ，良件岛 t怯· 基于Pi 横算和EECA 规则的路组织工作流建模研究 钟晓雄， 张远平 (兰州理工大学计算机与通仿学院，甘肃兰州 730050) 摘 要:钟对跨组织环境下的工作流形式化建模技术的不足问题，提出了一种暴于剧演j革和黑巴CA(Ex:阳ded-ECA)规则的跨 组织工作流建模方法.将ECA 规则在时间上进行扩展，解决了 ECA 规则在描述与时间相关的复杂过程时能力不足问题.利 用 Pi 波算技术，对跨组织的本地工作流的协同方式进行了形式化描述.分析了协同模型及其执行过程，并给出了一个应用 实例验证了提w 的模型具有较好的采性，可以有效用于本地，工作流间的协同工作，并且适合于对分布式协同环境下的工作 流进行建模. 关键询:跨组织工作流;巴巴，CA 规则; Pi 演算;本施工作流;桑性 中剧法分提号:TP311 Jt献标识码:A 文章编号: 1 删.7024 (2010) 17剖31-04 Modeling research for inter幽organizational workflow based on Pi-Calculus and 巴巴CArule ZHONG Xiao-xiong , ZHANG Yuan-ping (School of Computer and Communication, La皿hou Universíty ofTechnology, Lanzhou 730050, Ch讪a) Abstract: After analyzing some det1优ts in the existing modeling methods for in阳-organizational prl∞esses， a formal modeling method 加inter-organizationa1 workflow based on pi.calculus and EECA (Ex阳ded.ECA) rule is proposed. Firstly，伽EECA rule, which exωnds in time, resolves theproblems ofECA rule s deficient in desαibing complex prlωessrelatedωtime， is 伊esented. At the same time, the collaborated manner ofthe local workflow in the in阳帽org缸血ational w创kflow is described by using 也epi俐calculust创恤ology. Final1y, the implementation proc棚。fthe proposed model is analyzed and an example is provided to prove the f1e刽bility ofthe proposed method. The pJ1叩OSed method works well in the collaboration among local workflow and appr叩riates for 也e modeling of distributed C∞lperative workf1ow sy脚ms. Key words: in阳-org，刷刷tion wωkf1ow; EECA rule; Pi-calculus; 1创al workflow; f1exibility 子Pi 演算的弱互相似理论，验证了两个跨组织子流程外部行 o ijl 富 为的相等性。但是，都没有考虑到现实业务环境复杂多变，确 定组织之间及组织内部的工作流管理系统的哪些部分可以和 由于h阳曰网络服用和分布式计算环境的不断发展，跨