计算机科学 ›› 2008, Vol. 35 ›› Issue (7): 191-194.
• • 上一篇 下一篇
出版日期:
发布日期:
Online:
Published:
摘要: 工作流模式包含了业务流程的基本特征和共性,其实现依赖于具体的流程建模语言或方法。Pi-演算是一种进程代数,可以应用于业务流程的形式化建模。本文使用Pi-演算作为业务流程形式化的工具,对存在多种BPMN表示的工作流模式进行形式化建模,以探究工作流模式Pi-演算的描述,检验Pi-演算对业务流程行为特征的表现能力。
关键词: 业务流程建模 工作流模式 Pi-演算
Abstract: Workflow patterns contain basic features of business process. How to implement these patterns depends on the modeling languages and methods. Pi-calculus, as a kind of process algebra, can be applied in business process model- ing. This paper uses Pi-calcu
Key words: Business process modeling, Workflow patterns, Pi-calculus
. 基于Pi-演算的工作流模式描述[J]. 计算机科学, 2008, 35(7): 191-194. https://doi.org/
0 / / 推荐
导出引用管理器 EndNote|Reference Manager|ProCite|BibTeX|RefWorks
链接本文: https://www.jsjkx.com/CN/
https://www.jsjkx.com/CN/Y2008/V35/I7/191
Cited