您的位置： 专家智库 > >

国家教育部博士点基金(200801411060)

作品数：1 被引量：0H指数：0
相关作者：马俊锋叶鑫更多>>
相关机构：大连理工大学更多>>
发文基金：中央高校基本科研业务费专项资金国家教育部博士点基金国家自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

文献类型

  • 1篇中文期刊文章

领域

  • 1篇自动化与计算...

主题

  • 1篇业务流
  • 1篇业务流程分析
  • 1篇角色
  • 1篇角色模型
  • 1篇角色行为
  • 1篇PI演算

机构

  • 1篇大连理工大学

作者

  • 1篇叶鑫
  • 1篇马俊锋

传媒

  • 1篇计算机工程与...

年份

  • 1篇2011
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
面向跨组织业务流程的角色行为验证方法
2011年
为了更有效地保证跨组织业务流程模型的正确性和合理性,应用Pi演算提出了一种基于状态的角色行为的验证方法。基于Pi演算提出了跨组织业务协作中的角色模型,设计了角色描述表,以清晰、直观地描述角色的权利、职责和义务,进而应用Pi演算验证工具MWB(移动工作平台)的check和step命令提出了单角色验证方法,并在此基础上从业务对象状态和业务操作角度提出了多角色验证方法。实现了角色行为的验证,并为跨组织业务流程的可达性、一致性和死锁等分析奠定基础。
叶鑫马俊锋
关键词：角色模型业务流程分析PI演算
全选 清除 导出
共1页<1>
聚类工具0