{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,2]],"date-time":"2025-08-02T17:47:58Z","timestamp":1754156878790,"version":"3.41.2"},"reference-count":39,"publisher":"Emerald","issue":"5","license":[{"start":{"date-parts":[[2017,9,4]],"date-time":"2017-09-04T00:00:00Z","timestamp":1504483200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.emerald.com\/insight\/site-policies"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["BPMJ"],"published-print":{"date-parts":[[2017,9,4]]},"abstract":"<jats:sec>\n<jats:title content-type=\"abstract-subheading\">Purpose<\/jats:title>\n<jats:p>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.<\/jats:p>\n<\/jats:sec>\n<jats:sec>\n<jats:title content-type=\"abstract-subheading\">Design\/methodology\/approach<\/jats:title>\n<jats:p>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.<\/jats:p>\n<\/jats:sec>\n<jats:sec>\n<jats:title content-type=\"abstract-subheading\">Findings<\/jats:title>\n<jats:p>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\u2019s prior work. The findings indicated that the temporal framework could be applied to the declarative process modelling in a consistent and efficient manner.<\/jats:p>\n<\/jats:sec>\n<jats:sec>\n<jats:title content-type=\"abstract-subheading\">Originality\/value<\/jats:title>\n<jats:p>This paper is an extended version of the author\u2019s 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.<\/jats:p>\n<\/jats:sec>","DOI":"10.1108\/bpmj-05-2016-0105","type":"journal-article","created":{"date-parts":[[2017,7,17]],"date-time":"2017-07-17T07:24:33Z","timestamp":1500276273000},"page":"1043-1063","source":"Crossref","is-referenced-by-count":2,"title":["Detecting violation of business constraints in declarative process execution: a case study"],"prefix":"10.1108","volume":"23","author":[{"given":"Vitus S.W.","family":"Lam","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"140","reference":[{"key":"key2020120514583313700_ref001","doi-asserted-by":"crossref","unstructured":"Aasman, J. (2008), \u201cUnification of geospatial reasoning, temporal logic, & social network analysis in event-based systems\u201d, in Baldoni, R. (Ed.), DEBS, ACM, New York, NY, pp. 139-145.","DOI":"10.1145\/1385989.1386007"},{"key":"key2020120514583313700_ref002","doi-asserted-by":"crossref","unstructured":"Ahmed, T. and Tripathi, A. (2003), \u201cStatic verification of security requirements in role based CSCW systems\u201d, SACMAT, ACM, New York, NY, pp. 196-203.","DOI":"10.1145\/775412.775438"},{"key":"key2020120514583313700_ref003","first-page":"115","article-title":"BPMN-Q: a language to query business processes","year":"2007","journal-title":"EMISA"},{"issue":"1","key":"key2020120514583313700_ref004","doi-asserted-by":"crossref","first-page":"30","DOI":"10.1016\/j.jvlc.2010.11.002","article-title":"Visually specifying compliance rules and explaining their violations for business processes","volume":"22","year":"2011","journal-title":"Journal of Visual Languages and Computing"},{"issue":"3","key":"key2020120514583313700_ref005","doi-asserted-by":"crossref","first-page":"211","DOI":"10.1007\/s11334-009-0091-6","article-title":"Tool-supported enhancement of diagnosis in model-driven verification","volume":"5","year":"2009","journal-title":"Innovations in Systems and Software Engineering"},{"first-page":"34","article-title":"A logic for contracts","year":"2009","key":"key2020120514583313700_ref006"},{"first-page":"881","article-title":"LTL goal specifications revisited","year":"2010","key":"key2020120514583313700_ref007"},{"issue":"2","key":"key2020120514583313700_ref008","doi-asserted-by":"crossref","first-page":"244","DOI":"10.1145\/5397.5399","article-title":"Automatic verification of finite-state concurrent systems using temporal logic specifications","volume":"8","year":"1986","journal-title":"TOPLAS"},{"volume-title":"Model Checking","year":"1999","key":"key2020120514583313700_ref009"},{"article-title":"Declare system","year":"2016","author":"Declare","key":"key2020120514583313700_ref010"},{"first-page":"7","article-title":"Property specification patterns for finite-state verification","year":"1998","key":"key2020120514583313700_ref012"},{"key":"key2020120514583313700_ref011","doi-asserted-by":"crossref","unstructured":"Dwyer, M.B., Avrunin, G.S. and Corbett, J.C. (1999), \u201cPatterns in property specifications for finite-state verification\u201d, in Barry, W.B., David, G. and Jeff, K. (Eds), ICSE, ACM, New York, NY, pp. 411-420.","DOI":"10.1145\/302405.302672"},{"first-page":"353","article-title":"Declarative versus imperative process modeling languages: the issue of understandability","year":"2009","key":"key2020120514583313700_ref013"},{"key":"key2020120514583313700_ref014","doi-asserted-by":"crossref","unstructured":"Goedertier, S., Haesen, R. and Vanthienen, J. (2007), \u201cEM-BrA2CE v0.1: a vocabulary and execution model for declarative business process modeling\u201d, technical report, Department of Decision Sciences and Information Management, KU Leuven, Leuven.","DOI":"10.2139\/ssrn.1086027"},{"volume-title":"Communicating Sequential Processes","year":"1985","key":"key2020120514583313700_ref015"},{"edition":"2nd ed.","volume-title":"Logic in Computer Science: Modelling and Reasoning about Systems","year":"2004","key":"key2020120514583313700_ref016"},{"key":"key2020120514583313700_ref017","unstructured":"Lam, V.S.W. (2014), \u201cConstraint-based reasoning on declarative process execution with the Logics Workbench (extended version)\u201d, Technical Report No. BPM-14-01, HKU, Hong Kong."},{"issue":"3","key":"key2020120514583313700_ref018","doi-asserted-by":"crossref","first-page":"586","DOI":"10.1108\/BPMJ-10-2014-0092","article-title":"Constraint-based reasoning on declarative process execution with the Logics Workbench","volume":"21","year":"2015","journal-title":"Business Process Management Journal"},{"key":"key2020120514583313700_ref019","unstructured":"Lam, V.S.W. (2015b), \u201cDetecting declarative process execution in violation of business constraints (extended version)\u201d, Technical Report No. BPM-15-01, HKU, Hong Kong."},{"key":"key2020120514583313700_ref020","doi-asserted-by":"crossref","unstructured":"Lam, V.S.W. (2015c), \u201cThe basis and core knowledge of business process management\u201d, in Khosrow-Pour, M. (Ed.), Encyclopedia of Information Science and Technology, 3rd ed., IGI Global, Hershey, pp. 5303-5314.","DOI":"10.4018\/978-1-4666-5888-2.ch524"},{"article-title":"Logics Workbench (LWB)","year":"1997","author":"LWB 1.1 Reference Manual","key":"key2020120514583313700_ref021"},{"first-page":"132","article-title":"Monitoring business constraints with linear temporal logic: an approach based on colored automata","year":"2011","key":"key2020120514583313700_ref022"},{"key":"key2020120514583313700_ref023","doi-asserted-by":"crossref","unstructured":"Margaria, T. and Steffen, B. (2009a), \u201cBusiness process modelling in the jABC: the one-thing approach\u201d, in Cardoso, J. and Wil van der, A. (Eds), Handbook of Research on Business Process Modeling, Chapter 1, IGI Global, Hershey, pp. 1-26.","DOI":"10.4018\/978-1-60566-288-6.ch001"},{"issue":"10","key":"key2020120514583313700_ref024","doi-asserted-by":"crossref","first-page":"106","DOI":"10.1109\/MC.2009.315","article-title":"Continuous model-driven engineering","volume":"42","year":"2009","journal-title":"IEEE Computer"},{"key":"key2020120514583313700_ref025","doi-asserted-by":"crossref","unstructured":"Mongiello, M. and Castelluccia, D. (2006), \u201cModelling and verification of BPEL business processes\u201d, MDB\/MOMPES, IEEE Computer Society, pp. 144-148.","DOI":"10.1109\/MBD-MOMPES.2006.22"},{"first-page":"94","article-title":"Loose programming with PROPHETS","year":"2012","key":"key2020120514583313700_ref026"},{"key":"key2020120514583313700_ref027","unstructured":"Pesic, M. (2008), \u201cConstraint-based workflow management systems: shifting control to users\u201d, PhD thesis, Eindhoven University of Technology, Eindhoven."},{"first-page":"77","article-title":"Constraint-based workflow models: change made easy","year":"2007","key":"key2020120514583313700_ref028"},{"first-page":"4093","article-title":"Constraint checking for business process management","year":"2009","key":"key2020120514583313700_ref029"},{"first-page":"97","article-title":"On the verification of business processes by model checking techniques","year":"2010","key":"key2020120514583313700_ref030"},{"first-page":"277","article-title":"A new one-pass tableau calculus for PLTL","year":"1998","key":"key2020120514583313700_ref031"},{"article-title":"Property specification patterns","year":"2014","author":"Specification patterns","key":"key2020120514583313700_ref032"},{"issue":"2","key":"key2020120514583313700_ref033","first-page":"78","article-title":"Incremental formalization: a key to industrial success","volume":"17","year":"1996","journal-title":"Software: Concepts and Tools"},{"key":"key2020120514583313700_ref034","unstructured":"van der Aalst, W.M.P. and Pesic, M. (2006), \u201cSpecifying, discovering, and monitoring service flows: making web services process-aware\u201d, Technical Report No. BPM-06-09, BPM Center, Eindhoven."},{"key":"key2020120514583313700_ref035","unstructured":"van der Aalst, W.M.P. and Pesic, M. (2007), \u201cSpecifying and monitoring service flows: making web services process-aware\u201d, in Luciano, B. and Elisabetta, D.N. (Eds), Test and Analysis of Web Services, Springer, Berlin, pp. 11-55."},{"issue":"2","key":"key2020120514583313700_ref036","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1007\/s00450-009-0057-9","article-title":"Declarative workflows: balancing between flexibility and support","volume":"23","year":"2009","journal-title":"Computer Science \u2013 Research and Development"},{"edition":"2nd ed.","volume-title":"Business Process Management: Concepts, Languages, Architectures","year":"2012","key":"key2020120514583313700_ref037"},{"first-page":"56","article-title":"Property specifications for workflow modelling","year":"2009","key":"key2020120514583313700_ref038"},{"issue":"10","key":"key2020120514583313700_ref039","doi-asserted-by":"crossref","first-page":"942","DOI":"10.1016\/j.scico.2010.09.007","article-title":"Property specifications for workflow modelling","volume":"76","year":"2011","journal-title":"Science of Computer Programming"}],"container-title":["Business Process Management Journal"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.emerald.com\/insight\/content\/doi\/10.1108\/BPMJ-05-2016-0105\/full\/xml","content-type":"application\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/www.emerald.com\/insight\/content\/doi\/10.1108\/BPMJ-05-2016-0105\/full\/html","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,24]],"date-time":"2025-07-24T23:15:05Z","timestamp":1753398905000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.emerald.com\/bpmj\/article\/23\/5\/1043-1063\/258634"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,9,4]]},"references-count":39,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2017,9,4]]}},"alternative-id":["10.1108\/BPMJ-05-2016-0105"],"URL":"https:\/\/doi.org\/10.1108\/bpmj-05-2016-0105","relation":{},"ISSN":["1463-7154"],"issn-type":[{"type":"print","value":"1463-7154"}],"subject":[],"published":{"date-parts":[[2017,9,4]]}}}