|
|||||
|
|
| 工作流模式的π演算形式化 | |
| 引用本文： | 梁爱南,李长云,黄贤明.工作流模式的π演算形式化[J].计算技术与自动化,2007,26(1):90-93. |
| 作者姓名： | 梁爱南 李长云 黄贤明 |
| 作者单位： | 湖南工业大学,计算机系,湖南,株洲,412008;湖南工业大学,计算机系,湖南,株洲,412008;湖南工业大学,计算机系,湖南,株洲,412008 |
| 基金项目： | 湖南省教育厅青年基金 , 湖南省教育厅科研项目 , 湖南省自然科学基金 |
| 摘 要： | 为了实现工作流管理功能,必须将业务过程从现实世界中抽象出来,并用一种形式化方法对其进行描述.工作流模式是工作流建模的基本构造单元.π演算是一种移动进程代数,可用于对并发和动态变化的系统进行建模.首先提出以π演算作为工作流形式化的基础,然后利用π演算对工作流模式进行详细的描述. |
| 关 键 词： | π演算 ECA规则 工作流模式 |
| 文章编号： | 1003-6199（2007）01-0090-04 |
| 收稿时间： | 2006-07-10 |
| 修稿时间： | 2006年7月10日 |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |