Structural Detection of Deadlocks in Business Process Models

8 years 3 months ago
Structural Detection of Deadlocks in Business Process Models
Abstract. A common task in business process modelling is the verification of process models regarding syntactical and structural errors. While the former might be checked with low efforts, the latter usually requires a complex state-space analysis to prove properties like deadlock-freedom of the models. In this paper, we address the issue of deadlock detection with a novel approach based on business process querying. Using queries, we are able to detect a broad range of common structural errors that lead to deadlocks, such as misaligned splits and joins. While not being complete, the proposed approach has the advantages of low computational efforts as well as providing graphical outputs that directly lead to the errors.
Ahmed Awad, Frank Puhlmann
Added 29 Oct 2010
Updated 29 Oct 2010
Type Conference
Year 2008
Where BIS
Authors Ahmed Awad, Frank Puhlmann
Comments (0)