An automated reasoning method used in workflow management system

被引：0

作者：

Qiu, XP ^{[1
]}

Du, YJ ^{[1
]}

Zheng, FB ^{[1
]}

机构：

[1] SW Jiaotong Univ, Dept Appl Math, Chengdu, Peoples R China

来源：

2003 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN AND CYBERNETICS, VOLS 1-5, CONFERENCE PROCEEDINGS | 2003年

关键词：

workflow; workflow management system; automated reasoning; clause set; complementary pair;

D O I：

暂无

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

In the workflow management system, the process definition is finished by the process definition tools and explained and enacted by the work-flow enactment service. The method that the application logic and the process logic are separated improves the reuse rate of the software and the efficiency of the system by modifying the process model rather than the material functions. We propose an automated reasoning method to validate the process definition in this paper. The method includes two steps. In the first step, the typical relationship between the activities is discussed, and then the transformation rules from the relevant activities to a clause set is given; The automated reasoning based on path searching is proposed for judging the satisfiability of the clause set and finding out the validation of the process definition in the second step. Experimental results show that this method is effective for WfMS.

引用

页码：5016 / 5021

页数：6

共 21 条

[1]

[Anonymous], FUNDAMENTALS WORKFLO

[2]

Baumann S., 1996, Proceedings First IFCIS International Conference on Cooperative Information Systems, P135, DOI 10.1109/COOPIS.1996.555005

[3]

Baumann S, 1997, PROC INT CONF DOC, P1055, DOI 10.1109/ICDAR.1997.620670

[4] Solving multi-granularity temporal constraint networks [J].

Bettini, C ;

Wang, XS ;

Jajodia, S .

ARTIFICIAL INTELLIGENCE, 2002, 140 (1-2) :107-152

[5]

COMPTON MM, 1994, TENTH CONFERENCE ON ARTIFICIAL INTELLIGENCE FOR APPLICATIONS, PROCEEDINGS, P125, DOI 10.1109/CAIA.1994.323683

[6]

Dengel A, 1997, IEEE SYS MAN CYBERN, P3540, DOI 10.1109/ICSMC.1997.633204

[7]

FAN YS, 2002, P MAN INN MAN MILW S, P125

[8]

Kwan MM, 1998, P ANN HICSS, P312, DOI 10.1109/HICSS.1998.655287

[9]

Lai J., 2002, P EDCIS BEIJ OCT, P16

[10]

LI HM, 2001, P 6 INT C YOUNG COMP, P318

← 1 2 3 →