Please use this identifier to cite or link to this item:
Title: Workflows as UML Activity Diagrams: Analytical Methods for Control-Flow Verification
Authors: Sundari, M Hema
Sen, Anup K.
Bagchi, Amitava
Keywords: Workflow
Business process
Control flow
Analytical method
Issue Date: 1-Sep-2008
Series/Report no.: WORKING PAPER SERIES;WPS No. 628/ September 2008
Abstract: A workflow is a directed graph that depicts a business process. It consists of tasks linked together by AND and XOR connectors, and is usually drawn as a Petri Net or a UML Activity Diagram; the latter notation has gained in popularity in recent years. Workflows sometimes suffer from behavioral defects such as deadlock, lack of synchronization, and interminable looping. Here we present new analytical results useful for verifying the control flow in workflows represented as UML Activity Diagrams. We make use of the notion of corresponding pair and focus on loop-free structures, allowing connectors to form non-nested and overlapping patterns. The analysis can be extended to workflows with loops. To clarify the significance of our results, we provide illustrations of theoretical and practical interest.
Appears in Collections:2008

Files in This Item:
File Description SizeFormat 
wps-628_1.pdf212.81 kBAdobe PDFThumbnail

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.