基于π演算的多实例工作流模式的建模方法

• 作者: 李长云 梁爱南 黄贤明
• 来源期刊: 计算机应用与软件
• 学科: 工学
• 关键词: 工作流建模 π演算 ECA规则 多实例工作流模式
• 年，卷（期）: 2008,（5）
• 所属期刊栏目: 基金项目论文
• 页码范围: 65-66,71
• 页数: 3页
• 分类号: TP3
• 字数: 2185字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-386X.2008.05.026

摘要

π演算是一种移动进程代数,可用于对并发和动态变化的系统进行建模.根据π演算的语法,利用π演算对多实例工作流模式进行了建模.提出的方法具有较强的语义表达能力,同时使过程模型的语义更加精确.

作者信息

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