马俊锋
- 作品数：2 被引量：0H指数：0
- 供职机构：大连理工大学管理科学与工程学院信息与决策技术研究所更多>>
- 发文基金：中央高校基本科研业务费专项资金国家教育部博士点基金国家自然科学基金更多>>
- 相关领域：自动化与计算机技术经济管理更多>>
- 面向跨组织业务流程的角色行为验证方法
- 2011年
- 为了更有效地保证跨组织业务流程模型的正确性和合理性,应用Pi演算提出了一种基于状态的角色行为的验证方法。基于Pi演算提出了跨组织业务协作中的角色模型,设计了角色描述表,以清晰、直观地描述角色的权利、职责和义务,进而应用Pi演算验证工具MWB(移动工作平台)的check和step命令提出了单角色验证方法,并在此基础上从业务对象状态和业务操作角度提出了多角色验证方法。实现了角色行为的验证,并为跨组织业务流程的可达性、一致性和死锁等分析奠定基础。
- 叶鑫马俊锋
- 关键词：角色模型业务流程分析PI演算
- 面向跨组织业务协作的角色网络模型研究
- 随着竞争环境的不断变化、互联网等信息技术的高速发展,跨组织的业务协作日趋频繁和紧密,越来越多的业务流程跨越组织边界,跨组织业务流程正成为组织生存和发展的基础。跨组织业务流程具有动态性、不确定性等特征,目前相关研究难以满足...
- 马俊锋
- 关键词：PI演算
- 文献传递
