应用Pi演算描述工作流高级模式

• 作者: 张晓雯 李占峻 黄永忠
• 来源期刊: 信息工程大学学报
• 学科: 工学
• 关键词: 工作流 工作流高级模式 Pi演算 形式化描述
• 年，卷（期）: 2009,（4）
• 所属期刊栏目: 计算机技术及应用
• 页码范围: 537-541,556
• 页数: 6页
• 分类号: TP301.2
• 字数: 4711字
• 语种: 中文
• DOI: 10.3969/j.issn.1671-0673.2009.04.026

摘要

分析了对工作流进行形式化建模的意义,应用Pi演算对工作流高级模式进行了形式化描述.在深入研究工作流过程基本结构特征与Pi演算基本理论的基础上,提出了一种语义清晰的描述方法,该方法相比以前的方法可以更好地描述工作流的动态改变,为进一步形式化分析、描述工作流奠定了基础.最后以旅游预订业务系统为实例进行了业务过程建模.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	黄永忠	信息工程大学信息工程学院	41	315	11.0	16.0
2	李占峻	信息工程大学信息工程学院	3	15	2.0	3.0
3	张晓雯	信息工程大学信息工程学院	3	15	2.0	3.0