| 应用Pi 演算描述工作流高级模式 |
| |
| 引用本文： | 李占峻,黄永忠,张晓雯. 应用Pi 演算描述工作流高级模式[J]. 信息工程大学学报, 2009, 10(4): 537-541,556 |
| |
| 作者姓名： | 李占峻 黄永忠 张晓雯 |
| |
| 作者单位： | 信息工程大学信息工程学院,河南郑州,450002 |
| |
| 摘 要： | 分析了对工作流进行形式化建模的意义，应用Pi演算对工作流高级模式进行了形式化描述。在深入研究工作流过程基本结构特征与Pi演算基本理论的基础上，提出了一种语义清晰的描述方法，该方法相比以前的方法可以更好地描述工作流的动态改变，为进一步形式化分析、描述工作流奠定了基础。最后以旅游预订业务系统为实例进行了业务过程建模。
|
| 关 键 词： | 工作流 工作流高级模式 Pi演算 形式化描述 |
Application of Pi-Calculus in Formalizing Workflow Advanced Patterns |
| |
| LI Zhan-jun,HUANG Yong-zhong,ZHANG Xiao-wen. Application of Pi-Calculus in Formalizing Workflow Advanced Patterns[J]. , 2009, 10(4): 537-541,556 |
| |
| Authors: | LI Zhan-jun HUANG Yong-zhong ZHANG Xiao-wen |
| |
| Affiliation: | Institute of Information Engineering , Information Engineering University |
| |
| Abstract: | The paper analyzes the significance of formalizing workflow pattern and uses the Pi calculationto formalize advanced workflow patterns , and proposes an accurate semantics workflow formalizingmethod on the foundation of lucubrating basic framework characteristics of workflow and Pi calculationtheory. This method is favorable compared with former ways in describing dynamic changesof the workflow process. Finally , the validity of the formalizing method with the tour-book system instanceis proved. |
| |
| Keywords: | |
| 本文献已被 维普 万方数据 等数据库收录！ |
| 点击此处可从《信息工程大学学报》浏览原始摘要信息 |
|
点击此处可从《信息工程大学学报》下载免费的PDF全文 |
|
