Detecting violation of business constraints in declarative process execution: a case study

Vitus S.W. Lam (Information Technology Services, The University of Hong Kong, Hong Kong, Hong Kong)

Business Process Management Journal

ISSN: 1463-7154

Publication date: 4 September 2017



Declarative process modelling is a constraint-centric approach that treats business rules as first-class citizens in business process models. Augmenting the declarative process modelling technique with capability to detect the constraint violations during business process execution is of crucial importance. The purpose of this paper is to contribute to the modelling of business rules through a repository of pattern-oriented templates.


The semantics of the business rule templates is underpinned by linear temporal logic (LTL). Automated temporal reasoning is then conducted for determining whether process executions adhere to the business rules through the utilisation of the Logics Workbench (LWB). An application of the methodological framework is illustrated by a realistic case study on degree requirements verification.


To access the practicality of the approach, the case study of this paper is based on the verification of degree requirements, which is different from the domain area of the case study in the author’s prior work. The findings indicated that the temporal framework could be applied to the declarative process modelling in a consistent and efficient manner.


This paper is an extended version of the author’s earlier study. More details on the LTL and LWB are provided in the current study. The author introduces 17 new business rule templates and illustrates the utilisation of the new templates via a case study that belongs to a different domain area.



Lam, V. (2017), "Detecting violation of business constraints in declarative process execution: a case study", Business Process Management Journal, Vol. 23 No. 5, pp. 1043-1063.

Download as .RIS



Emerald Publishing Limited

Copyright © 2017, Emerald Publishing Limited

Please note you might not have access to this content

You may be able to access this content by login via Shibboleth, Open Athens or with your Emerald account.
If you would like to contact us about accessing this content, click the button and fill out the form.
To rent this content from Deepdyve, please click the button.