面向跨组织业务流程的角色行为验证方法

摘要

为了更有效地保证跨组织业务流程模型的正确性和合理性,应用Pi演算提出了一种基于状态的角色行为的验证方法.基于Pi演算提出了跨组织业务协作中的角色模型,设计了角色描述表,以清晰、直观地描述角色的权利、职责和义务,进而应用Pi演算验证工具MWB(移动工作平台)的check和step命令提出了单角色验证方法,并在此基础上从业务对象状态和业务操作角度提出了多角色验证方法.实现了角色行为的验证,并为跨组织业务流程的可达性、一致性和死锁等分析奠定基础.%A state based verification method of role's behavior is proposed using Pi-calculus to guarantee the correctness and justifiability of inter-organizational business process. Firstly, a Pi-calculus based role model is presented for the cooperation of multi-organizations. Secondly, the role description table is designed to describe the obligation and right of role clearly. Thirdly, the verification method of single role's behavior is proposed by using check, and step commands of MWB, which is a Pi-calculus based on verification tool. And then, the verification method of multi-role's behaviors is proposed based on the state and business operation of business object The proposed verification method is based on other business process analysis, such as reachability, consistency and deadlock.