Analyzing process models using graph reduction techniques

被引:458
作者
Sadiq, W [1 ]
Orlowska, ME [1 ]
机构
[1] Univ Queensland, Dept Comp Sci & Elect Engn, Distributed Syst Technol Ctr, St Lucia, Qld 4067, Australia
关键词
business process modeling; verification of process models; workflow management systems;
D O I
10.1016/S0306-4379(00)00012-0
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 [计算机科学与技术];
摘要
The foundation of a process model lies in its structural specifications. Using a generic process modeling language for workflows, we show how a structural specification may contain deadlock and lack of synchronization conflicts that could compromise the correct execution of workflows. In general, identification of such conflicts is a computationally complex problem and requires development of effective algorithms specific for the target modeling language. We present a visual verification approach and algorithm that employs a set of graph reduction rules to identify structural conflicts in process models for the given workflow modeling language. We also provide insights into the correctness and complexity of the reduction process. Finally, we show how the reduction algorithm may be used to count possible instance subgraphs of a correct process model. The main contribution of the paper is a new technique for satisfying well-defined correctness criteria in process models. (C) 2000 Published by Elsevier Science Ltd. All rights reserved.
引用
收藏
页码:117 / 134
页数:18
相关论文
共 18 条
[1]
[Anonymous], LECT NOTES COMPUTER
[2]
*BUTL GROUP, 1996, WORKSL INT ENT
[3]
CARLSEN S, 1997, THESIS NORWEGIAN U S
[4]
Casati F., 1995, OOER '95: Object-Oriented and Entity-Relationship Modeling. 14th International Conference. Proceedings, P341, DOI 10.1007/BFb0020545
[5]
Desel J., 1995, CAMBRIDGE TRACTS THE
[6]
AN OVERVIEW OF WORKFLOW MANAGEMENT - FROM PROCESS MODELING TO WORKFLOW AUTOMATION INFRASTRUCTURE [J].
GEORGAKOPOULOS, D ;
HORNICK, M ;
SHETH, A .
DISTRIBUTED AND PARALLEL DATABASES, 1995, 3 (02) :119-153
[7]
KUO D, 1996, P INT WORKSH ADV T M, P18
[8]
RAJAPAKSE J, 1996, THESIS U QUEENSLAND
[9]
ADEPTflex -: Supporting dynamic changes of workflows without losing control [J].
Reichert, M ;
Dadam, P .
JOURNAL OF INTELLIGENT INFORMATION SYSTEMS, 1998, 10 (02) :93-129
[10]
Sadiq W, 1999, BIS'99: 3RD INTERNATIONAL CONFERENCE ON BUSINESS INFORMATION SYSTEMS, P281