| 工作流建模语言XPDL到CSP进程的转化研究 |
| |
| 引用本文： | 郭李华,吕钊,顾君忠. 工作流建模语言XPDL到CSP进程的转化研究[J]. 计算机应用, 2008, 28(5): 1295-1299 |
| |
| 作者姓名： | 郭李华 吕钊 顾君忠 |
| |
| 作者单位： | 华东师范大学,信息科学技术学院,上海,200062 |
| |
| 基金项目： | 国家自然科学基金 , 上海市科学与技术发展基金 |
| |
| 摘 要： | 针对工作流定义标准语言XPDL缺乏形式化语义，提出了将XPDL描述转化为通信顺序进程(CSP)的方法，从而可以利用进程代数CSP理论以加强对工作流模型的语义描述分析检测。通过实例分析具体说明转化方法的有效性。
|
| 关 键 词： | 工作流 XPDL CSP进程 |
| 文章编号： | 1001-9081(2008)05-1295-05 |
| 收稿时间： | 2007-11-29 |
| 修稿时间： | 2007-11-29 |
Formal semantics of XPDL specification in CSP process |
| |
| GUO Li-hua,LV Zhao,GU Jun-zhong. Formal semantics of XPDL specification in CSP process[J]. Journal of Computer Applications, 2008, 28(5): 1295-1299 |
| |
| Authors: | GUO Li-hua LV Zhao GU Jun-zhong |
| |
| Abstract: | Aiming at that the notation specification of XPDL widely supported in practical workflow systems does not include a formal semantics, an approach of transforming XPDL to Communicating Sequential Process (CSP) process was proposed to enhance the formal semantic analysis of workflow process by the rigorous CSP theory. The effectiveness of the approach was verified through a case study. |
| |
| Keywords: | workflow XPDL CSP process |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机应用》浏览原始摘要信息 |
|
点击此处可从《计算机应用》下载全文 |
