基于π演算的工作流模型分析方法

• 作者: 李长云 梁爱南 黄贤明
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 工作流 合理性分析 π演算 懒惰合理性
• 年，卷（期）: 2010,（6）
• 所属期刊栏目: 软件技术与数据库
• 页码范围: 70-72
• 页数: 3页
• 分类号: TP311.5
• 字数: 3817字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2010.06.023

摘要

使用合理性、弱合理性和松合理性对π演算形式化的工作流模式进行合理性分析时,工作流都不符合这3种合理性.针对以上问题,提出懒惰合理性的概念,用于对工作流进行分析.通过考虑节点语义,扩展结构合理性.为了表达节点语义,用π演算表达过程图,使过程图具有形式化语义.

作者信息

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