CAJ | 학술논문

为了解决企业间业务过程协同的建模问题，特别是模型的验证效率及异步通信机制问题，结合Petri网和pi演算各自的优势，提出了一种多视图的建模方法。基于Petri网建模跨组织业务过程模型的内部视图，将通信接口抽取出来并通过映射将其与内部变迁关联起来得到公共视图，并对异步通信机制进行研究，运用pi演算对其通信过程进行建模得到通信行为视图，进而使得跨组织业务过程协同的验证转换成pi演算的推演；通过对通信机制的分析，给出了两个活动进行调整时所要满足的条件并证明了满足该条件的调整是上下文无关的，通过建模实例阐述了该方法的有效性。
위료해결기업간업무과정협동적건모문제，특별시모형적험증효솔급이보통신궤제문제，결합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.