Abstract
The foundation of a process model lies in its control flow specifications. Using a generic process modeling language for workflows, we show how a control flow specification may contain certain structural conflicts that could compromise its correct execution. In general, identification of such conflicts is a computationally complex problem and requires development of effective algorithms specific for target system 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 a generic workflow modeling language. We also provide insights into the correctness and complexity of the reduction process. The main contribution of the paper is a new technique for satisfying well-defined correctness criteria in process models.
*
The work reported in this paper has been funded in part by the Cooperative Research Centres Program through the Department of the Prime Minister and Cabinet of the Commonwealth Government of Australia.
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Aalst. WMP van der (1997). Verification of Workflow Nets. In P. Azema and G. Balbo, editors, Application and Theory of Petri Nets 1997, volume 1248 of Lecture Notes in Computer Science, pages 407–426. Springer-Verlag, Berlin, 1997.
Aalst. WMP van der (1998). The Application of Petri Nets to Workflow Management. The Journal of Circuits, Systems and Computers, 8(1):21–66, 1998.
Butler Report. Workflow: Integrating the Enterprise. The Butler Group, 1996.
Reichert M and Dadam P (1997). ADEPTflex–Supporting Dynamic Changes of Workflow without loosing control. Journal of Intelligent Information Systems (JIIS), Special Issue on Workflow and Process Management.
Carlsen S (1997). Conceptual Modeling and Composition of Flexible Workflow Models. PhD Thesis. Department of Computer Science and Information Science, Norwegian University of Science and Technology, Norway, 1997.
Casati F, Ceri S, Pernici B and Pozzi G (1995). Conceptual Modeling of Workflows. In M.P. Papazoglou, editor, Proceedings of the 14th In-ternational Object-Oriented and Entity-Relationship Modeling Conference, volume 1021 of Lecture Notes in Computer Science, pages 341–354. Springer-Verlag.
Ellis CA and Nutt GJ (1999). Modelling and Enactment of Workflow Systems. In M. Ajmone Marasan, editor, Application and Theory of Petri Nets, Lecture Notes in Computer Science 691, pages 1–16, Springer-Verleg, Berlin, 1993.
Georgakopoulos D, Hornick M and Sheth A (1995) An Overview of Workflow Management: From Process Modeling to Workflow Automation Infrastructure. Journal on Distributed and Parallel Databases, 3(2):119–153.
Hofstede, AHM ter, Orlowska ME and Rajapakse J (1998). Verification Problems in Conceptual Workflow Specifications. Data & Knowledge Engineering, 24(3):239–256, January 1998.
Kuo D, Lawley M, Liu C and Orlowska ME (1996). A General Model for Nested Transactional Workflow. In Proceedings of the International Workshop on Advanced Transaction Models and Architecture (ATMA'96), Bombay India, pp.18–35, 1996.
Rajapakse J (1996). On Conceptual Workflow Specification and Verification. MSc Thesis. Department of Computer Science, The University of Queensland, Australia, 1996.
Sadiq W and Orlowska ME (1997). On Correctness Issues in Conceptual Modeling of Workflows. In Proceedings of the 5th European Conference on Information Systems (ECIS ‘97), Cork, Ireland, June 19–21, 1997.
Sadiq W and Orlowska ME (1999). On Capturing Process Requirements of Workflow Based Information Systems. In Proceedings of the 3rd International Conference on Business Information Systems (BIS ‘99), Poznan, Poland, April 14–16, 1999.
Workflow Management Coalition (1996) The Workflow Management Coalition Specifications–Terminology and Glossary. Issue 2.0, Document Number WFMC-TC-1011.
Workflow Management Coalition (1998). Interface 1: Process Definition Interchange, Process Model, Document Number WfMC TC-1016-P.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Sadiq, W., Orlowska, M.E. (1999). Applying Graph Reduction Techniques for Identifying Structural Conflicts in Process Models. In: Jarke, M., Oberweis, A. (eds) Advanced Information Systems Engineering. CAiSE 1999. Lecture Notes in Computer Science, vol 1626. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-48738-7_15
Download citation
DOI: https://doi.org/10.1007/3-540-48738-7_15
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-66157-3
Online ISBN: 978-3-540-48738-8
eBook Packages: Springer Book Archive