基于π演算的工作流模型检验

• 作者: 刘峰 陈笑蓉
• 来源期刊: 计算机工程
• 学科: 地球科学
• 关键词: π演算 工作流模型 模型检验 时序逻辑
• 年，卷（期）: 2011,（23）
• 所属期刊栏目: 软件技术与数据库
• 页码范围: 60-62
• 分类号: N945.12
• 字数: 3830字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2011.23.020

摘要

为保证工作流模型语义的正确性,提出一种基于π演算的工作流模型语义性质检验方法.采用π演算的一个子集πN演算描述工作流模型,证明该模型的反应关系能够终止,构造有限反应迁移图算法,利用NuSMV检验工作流模型是否满足线性时序逻辑性质.实验结果证明了该检验方法的有效性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陈笑蓉	贵州大学计算机科学与信息学院	68	569	12.0	21.0
2	刘峰	贵州大学计算机科学与信息学院	5	41	2.0	5.0