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

摘要：

为了更有效地保证跨组织业务流程模型的正确性和合理性,应用Pi演算提出了一种基于状态的角色行为的验证方法.基于Pi演算提出了跨组织业务协作中的角色模型,设计了角色描述表,以清晰、直观地描述角色的权利、职责和义务,进而应用Pi演算验证工具MWB(移动工作平台)的check和step命令提出了单角色验证方法,并在此基础上从业务对象状态和业务操作角度提出了多角色验证方法.实现了角色行为的验证,并为跨组织业务流程的可达性、一致性和死锁等分析奠定基础.

关键词：跨组织业务流程管理、角色模型、业务流程分析、Pi演算、模型验证

所属期刊栏目：32

分类号：TP301(计算技术、计算机技术)

资助基金：国家自然科学基金项目71001013;教育部高等学校博士学科点专项科研基金项目200801411060;中央高校基本科研业务费基金项目DUT09RC3 060

在线出版日期：2012-03-16（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：3368-3373