Analyzing process models using graph reduction techniques

Sadiq, W. and Orlowska, M. E. (2000) Analyzing process models using graph reduction techniques. Information Systems, 25 2: 117-134. doi:10.1016/S0306-4379(00)00012-0

Author Sadiq, W.
Orlowska, M. E.
Title Analyzing process models using graph reduction techniques
Journal name Information Systems   Check publisher's open access policy
ISSN 0306-4379
Publication date 2000
Sub-type Article (original research)
DOI 10.1016/S0306-4379(00)00012-0
Volume 25
Issue 2
Start page 117
End page 134
Total pages 18
Place of publication Great Britain
Publisher Elsevier Science
Collection year 2000
Language eng
Subject C1
280111 Conceptual Modelling
700103 Information processing services
Abstract 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. © 2000 Published by Elsevier Science Ltd. All rights reserved.
Keyword Business process modeling and analysis
Verification of Process Models
Workflow Management Systems
Q-Index Code C1

Document type: Journal Article
Sub-type: Article (original research)
Collection: School of Information Technology and Electrical Engineering Publications
Version Filter Type
Citation counts: TR Web of Science Citation Count  Cited 203 times in Thomson Reuters Web of Science Article | Citations
Scopus Citation Count Cited 0 times in Scopus Article
Google Scholar Search Google Scholar
Created: Tue, 10 Jun 2008, 11:35:27 EST