工作流建模语言XPDL到CSP进程的转化研究

• 作者: 吕钊 郭李华 顾君忠
• 来源期刊: 计算机应用
• 学科: 工学
• 关键词: 工作流 XPDL CSP进程
• 年，卷（期）: 2008,（5）
• 所属期刊栏目: 软件过程技术
• 页码范围: 1295-1299
• 页数: 5页
• 分类号: TP301.2
• 字数: 4681字
• 语种: 中文

摘要

针对工作流定义标准语言XPDL缺乏形式化语义,提出了将XPDL描述转化为通信顺序进程(CSP)的方法,从而可以利用进程代数CSP理论以加强对工作流模型的语义描述分析检测.通过实例分析具体说明转化方法的有效性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	顾君忠	华东师范大学信息科学技术学院	158	1926	22.0	37.0
2	吕钊	华东师范大学信息科学技术学院	29	154	7.0	11.0
3	郭李华	华东师范大学信息科学技术学院	1	2	1.0	1.0