基于语义推理的工作流结构验证方法

• 论文 •

基于语义推理的工作流结构验证方法

凌鸿，周江波，胥正川

复旦大学管理学院，上海 200433

收稿日期:2005-04-13 修回日期:2005-11-29 出版日期:2006-06-15 发布日期:2006-06-25
基金资助:
国家863/CIMS主题资助项目（2002AA413210）；国家自然科学基金资助项目(70572027)。F

Semantic deduction-based workflow structure verification method

LING Hong, ZHOU Jiang-bo, XU Zheng-chuan

Sch. of Management, Fudan Univ., Shanghai 200433, China

Received:2005-04-13 Revised:2005-11-29 Online:2006-06-15 Published:2006-06-25
Supported by:
Project supported by the National High-Tech.R&D Program for CIMS,China(No.2002AA413210)and the National Natural Science Foundation,China(No.70572027)

摘要/Abstract

摘要： 为了验证工作流结构方面的问题，提出和证明了过程结构验证等同定理和无环工作流结构验证定理，并在这两个定理的基础上，给出了基于语义推理的工作流结构验证算法。最后，在运算复杂程度、循环路由、死锁和同步丢失等4个方面，与其他验证方法进行了比较。

关键词: 工作流, 工作流验证, 过程

Abstract: To solve the verification problem of workflow structure, the process structure verification equal theorem and the acyclic workflow structure verification theorem were proposed and proved. Based on these two theorems and semantic tables, semantic deduction-based workflow verification algorithm was proposed. Finally comparisons with other verification methods were conducted from four aspects (computation complexity, iterative route, deadlock and lack of synchronization).

Key words: workflow, workflow verification, process

中图分类号:

C931

凌鸿，周江波，胥正川. 基于语义推理的工作流结构验证方法[J]. .

LING Hong, ZHOU Jiang-bo, XU Zheng-chuan. Semantic deduction-based workflow structure verification method[J]. .

[1]	王琦,闻立杰,邓雅方,钱忱,王建民. 基于过程模型约束的轨迹乱序事件修复方法[J]. 计算机集成制造系统, 2021, 27(9): 2491-2500.
[2]	唐玄昭,余阳,吴荆璞,潘茂林. 基于区块链的业务流程互操作服务框架[J]. 计算机集成制造系统, 2021, 27(9): 2508-2516.
[3]	莫启,向吉祥,汪煜祺,代飞,许小龙,齐连永. 基于流程抽象的协同业务过程符合性验证[J]. 计算机集成制造系统, 2021, 27(9): 2542-2555.
[4]	文一凭,王志斌,刘建勋,许小龙,康国胜. 云际协作环境下能耗与成本感知的工作流调度方法[J]. 计算机集成制造系统, 2021, 27(9): 2583-2591.
[5]	鲁法明,崔明浩,包云霞,曾庆田,段华. 基于程序运行轨迹Petri网模型挖掘的死锁检测方法[J]. 计算机集成制造系统, 2021, 27(9): 2611-2624.
[6]	倪维健,吉桂芳,曾庆田,刘彤,段华. 基于表示学习的业务过程模型匹配方法[J]. 计算机集成制造系统, 2021, 27(9): 2661-2669.
[7]	王丽丽,方贤文. 基于行为距离的带隐变迁过程模型挖掘方法[J]. 计算机集成制造系统, 2021, 27(9): 2670-2679.
[8]	汤雅惠,李彤,朱锐,南峰涛,付会林. 基于执行者过程树的双维度遗传过程挖掘方法[J]. 计算机集成制造系统, 2021, 27(9): 2680-2690.
[9]	蔡伟立,胡小锋,刘梦湘. 基于迁移学习的刀具剩余寿命预测方法[J]. 计算机集成制造系统, 2021, 27(6): 1541-1549.
[10]	袁友伟,黄锡恺,俞东进,李忠金. 移动边缘计算环境下服务工作流容错调度算法[J]. 计算机集成制造系统, 2021, 27(6): 1693-1702.
[11]	朱锐,黄月,李彤,马自飞,郑明,汤雅惠. 支持结构与行为融合的过程模型索引构建与检索[J]. 计算机集成制造系统, 2021, 27(5): 1447-1458.
[12]	赵小强,姚红娟. 改进邻域保持嵌入—独立元分析的间歇过程故障检测算法[J]. 计算机集成制造系统, 2021, 27(4): 1062-1071.
[13]	王琳涛,张先连,刘检华,孙清超. 机理与数据融合的螺栓连接松脱预测[J]. 计算机集成制造系统, 2021, 27(3): 692-700.
[14]	万峰,邢香园,吴剑锋,赵文浩,王治,陈瑞启. 基于数字孪生的卫星总装过程管控系统[J]. 计算机集成制造系统, 2021, 27(2): 631-641.
[15]	胡兴,刘检华,庄存波,武颖,张雷,熊辉. 基于数字孪生的复杂产品装配过程管控方法与应用[J]. 计算机集成制造系统, 2021, 27(2): 642-653.