|
|||||
|
|
| 工作流建模语言XPDL到CSP进程的转化研究 | |
| 作者姓名： | 郭李华 吕钊 顾君忠 |
| 作者单位： | 华东师范大学,信息科学技术学院,上海,200062 |
| 基金项目： | 国家自然科学基金 , 上海市科学与技术发展基金 |
| 摘 要： | 针对工作流定义标准语言XPDL缺乏形式化语义,提出了将XPDL描述转化为通信顺序进程(CSP)的方法,从而可以利用进程代数CSP理论以加强对工作流模型的语义描述分析检测。通过实例分析具体说明转化方法的有效性。 |
| 关 键 词： | 工作流 XPDL CSP进程 |
| 文章编号： | 1001-9081(2008)05-1295-05 |
| 收稿时间： | 2007-11-29 |
| 修稿时间： | 2007-11-29 |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |
| 点击此处可从《计算机应用》浏览原始摘要信息 | |
| 点击此处可从《计算机应用》下载全文 | |