工作流模式的π演算形式化

• 作者: 李长云 梁爱南 黄贤明
• 来源期刊: 计算技术与自动化
• 关键词: π演算 ECA规则 工作流模式
• 年，卷（期）: 2007,（1）
• 所属期刊栏目: 计算机软件及应用
• 页码范围: 90-93
• 页数: 4页
• 分类号: TP311
• 语种: 中文
• DOI: 10.3969/j.issn.1003-6199.2007.01.025

摘要

为了实现工作流管理功能,必须将业务过程从现实世界中抽象出来,并用一种形式化方法对其进行描述.工作流模式是工作流建模的基本构造单元.π演算是一种移动进程代数,可用于对并发和动态变化的系统进行建模.首先提出以π演算作为工作流形式化的基础,然后利用π演算对工作流模式进行详细的描述.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李长云	湖南工业大学计算机系	130	747	12.0	21.0
2	梁爱南	湖南工业大学计算机系	15	57	6.0	7.0
3	黄贤明	湖南工业大学计算机系	19	59	6.0	7.0