跨组织业务过程协同多视图模型  

Multi-view model for cross-organization business process collaboration

作　　者：笪建 莫启[2] 李彤[2,3] 代飞[2,3] 朱锐[2] 骆霄 林雷蕾 程耀坤 

机构地区：[1]淮安市高级职业技术学校信息工程系,江苏淮安223005 [2]云南大学软件学院,昆明650091 [3]云南大学云南省软件工程重点实验室,昆明650091 [4]云南大学昆明学院教务处,昆明650091

出　　处：《计算机应用研究》2015年第9期2687-2692,共6页Application Research of Computers

基　　金：国家自然科学基金资助项目(61379032;61262024);云南省应用基础研究计划项目(2012FD005);云南省软件工程重点实验室开放基金资助项目(2012SE307);云南省教育厅科学研究基金资助项目(2013Y365)

摘　　要：为了解决企业间业务过程协同的建模问题,特别是模型的验证效率及异步通信机制问题,结合Petri网和pi演算各自的优势,提出了一种多视图的建模方法。基于Petri网建模跨组织业务过程模型的内部视图,将通信接口抽取出来并通过映射将其与内部变迁关联起来得到公共视图,并对异步通信机制进行研究,运用pi演算对其通信过程进行建模得到通信行为视图,进而使得跨组织业务过程协同的验证转换成pi演算的推演;通过对通信机制的分析,给出了两个活动进行调整时所要满足的条件并证明了满足该条件的调整是上下文无关的,通过建模实例阐述了该方法的有效性。In order to solve the problem of model construction between the enterprise＇ s collaboration during business process, especially, its efficiency and the mechanism of asynchronous communication, this paper proposed a multi-view model which combined the respective strengths of Petri nets and the pi calculus. Firstly, this paper modeled the internal view of cross-or- ganization based on Petri nets and extracted the communication interface, mapping to internal transition to get the public view. Secondly, this paper investigated the mechanism of asynchronous communication and modeled the communication process by pi calculus to get the view of communication behavior, thus making the verification of collaboration convert to the pi calculus deri- vation. Thirdly, this paper provided two necessary conditions which must be satisfied in the adjustment of two activities and proved that it was context-free, by the analysis of communication mechanism. Finally, it illustrated its effectiveness of this ap- proach by establishing an example.

关 键 词：跨组织业务过程 协同 异步通信 上下文无关 PI演算 

分 类 号：TP311.5[自动化与计算机技术—计算机软件与理论]