| 多实例工作流模式的π演算形式化 |
| |
| 引用本文： | 梁爱南,李长云,黄贤明.多实例工作流模式的π演算形式化[J].计算机应用,2007,27(1):219-220. |
| |
| 作者姓名： | 梁爱南 李长云 黄贤明 |
| |
| 作者单位： | 湖南工业大学计算机科学与技术系 湖南株洲412008 |
| |
| 基金项目： | 湖南省自然科学基金
,
湖南省教育厅科研项目
,
湖南省教育厅青年基金
,
湖南工业大学博士基金 |
| |
| 摘 要： | 多实例工作流模式是一类重要的工作流模式。π演算是一种移动进程代数,可用于对并发和动态变化的系统进行建模。对π演算进行了研究，提出了以π演算作为工作流形式化的基础，利用π演算对多实例工作流模式进行了详细的描述。
|
| 关 键 词： | π演算 ECA规则 多实例工作流模式 |
| 文章编号： | 1001-9081（2007）01-0219-02 |
| 收稿时间： | 2006-07-24 |
| 修稿时间： | 2006-07-242006-12-07 |
Formalizing multiple instance workflow patterns based on the π-calculus |
| |
| LIANG Ai-nan,LI Chang-yun,HUANG Xian-ming.Formalizing multiple instance workflow patterns based on the π-calculus[J].journal of Computer Applications,2007,27(1):219-220. |
| |
| Authors: | LIANG Ai-nan LI Chang-yun HUANG Xian-ming |
| |
| Affiliation: | Department of Computer, Hunan university of Technology, Zhuzhou Hunan 412008, China |
| |
| Abstract: | Multiple instance workflow patterns are important workflow patterns. The π-calculus is a kind of mobile process algebra which can be used to model concurrent and dynamic systems. Having done the research of the π-calculus, the π-calculus was proposed as a formal foundation for workflow, furthermore multiple instance workflow patterns were described by using the π-calculus in detail. |
| |
| Keywords: | π-calculus ECA rule multiple instance workflow patterns |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机应用》浏览原始摘要信息 |
|
点击此处可从《计算机应用》下载全文 |
