基于π演算的工作流建模方法研究

• 作者: 李长云 梁爱南 黄贤明
• 来源期刊: 湖南工业大学学报
• 学科: 工学
• 关键词: 业务流程 工作流建模 π演算
• 年，卷（期）: 2009,（4）
• 所属期刊栏目: 计算机技术
• 页码范围: 45-48
• 页数: 4页
• 分类号: TP391
• 字数: 3632字
• 语种: 中文
• DOI: 10.3969/j.issn.1673-9833.2009.04.011

摘要

工作流模型缺乏一种支持过程定义以及过程分析的形式化数学模型,而π演算是一种移动进程代数运算,可用于对并发和动态变化的系统进行建模.首先提出了基于兀演算的工作流建模方法,然后经过对多种建模工具的比较和分析后,利用π演算对业务流程结构进行了形式化定义,详细地阐述了各种活动和依赖关系在π演算中的表示.该方法是完全形式化的方法,具有较强的语义表达能力,便于工作流的执行、推理和仿真等.

作者信息

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