摘要
为了解决企业间业务过程协同的建模问题,特别是模型的验证效率及异步通信机制问题,结合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.
出处
《计算机应用研究》
CSCD
北大核心
2015年第9期2687-2692,共6页
Application Research of Computers
基金
国家自然科学基金资助项目(61379032
61262024)
云南省应用基础研究计划项目(2012FD005)
云南省软件工程重点实验室开放基金资助项目(2012SE307)
云南省教育厅科学研究基金资助项目(2013Y365)
关键词
跨组织业务过程
协同
异步通信
上下文无关
PI演算
cross-organization business
collaboration
asynchronous communication
context-free
pi calculus
