| 工作流模式的π演算建模研究 |
| |
| 引用本文： | 黄贤明,李长云,梁爱南.工作流模式的π演算建模研究[J].计算机工程与应用,2007,43(17):66-68. |
| |
| 作者姓名： | 黄贤明 李长云 梁爱南 |
| |
| 作者单位： | 湖南工业大学 计算机系，湖南 株洲 412008 |
| |
| 摘 要： | π演算是一种移动进程代数，可用于对并发和动态变化的系统进行建模。根据π演算的语法，提出了一种新的用于工作流模式的形式化建模方法，以π演算作为工作流形式化的基础，并利用π演算对工作流模式进行了建模。
|
| 关 键 词： | π演算 ECA规则 工作流模式 |
| 文章编号： | 1002-8331（2007）17-0066-03 |
| 修稿时间： | 2006-11 |
Modeling research for workflow patterns based on pi-calculus |
| |
| HUANG Xian-ming,LI Chang-yun,LIANG Ai-nan.Modeling research for workflow patterns based on pi-calculus[J].Computer Engineering and Applications,2007,43(17):66-68. |
| |
| Authors: | HUANG Xian-ming LI Chang-yun LIANG Ai-nan |
| |
| Affiliation: | Department of Computer，Hunan University of Technology，Zhuzhou，Hunan 412008，China |
| |
| Abstract: | The π-calculus is a kind of mobile process algebra which can be used to model concurrent and dynamic systems.According to the syntax of π-calculus，a novel formal modeling method of workflow patterns has been proposed.The π-calculus has been regarded as a formal foundation for workflow，furthermore models workflow patterns by using the π-calculus. |
| |
| Keywords: | π-calculus ECA rule workflow patterns |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机工程与应用》浏览原始摘要信息 |
|
点击此处可从《计算机工程与应用》下载全文 |
