No time for compliance

Governatori, Guido & Hashmi, Mustafa (2015) No time for compliance. In EDOC 2015 – The “Enterprise Computing Conference”, 21-25 September 2015, University of South Australia, Adelaide, Australia. (In Press)

View at publisher


In the past few years several business process compliance framework based on temporal logic have been proposed. In this paper we investigate whether the use of temporal logic is suitable for the task at hand: namely to check whether the specifications of a business process are compatible with the formalisation of the norms regulating the business process. We provide an example inspired by real life norms where the use of linear temporal logic produces a result that is not compatible with the legal understanding of the norms in the example.

Impact and interest:

3 citations in Scopus
2 citations in Web of Science®
Search Google Scholar™

Citation counts are sourced monthly from Scopus and Web of Science® citation databases.

These databases contain citations from different subsets of available publications and different time periods and thus the citation count from each is usually different. Some works are not in either database and no count is displayed. Scopus includes citations from articles published in 1996 onwards, and Web of Science® generally from 1980 onwards.

Citations counts from the Google Scholar™ indexing service can be viewed at the linked Google Scholar™ search.

Full-text downloads:

17 since deposited on 08 Jul 2015
6 in the past twelve months

Full-text downloads displays the total number of times this work’s files (e.g., a PDF) have been downloaded from QUT ePrints as well as the number of downloads in the previous 365 days. The count includes downloads for all files if a work has more than one.

ID Code: 85237
Item Type: Conference Paper
Refereed: Yes
Keywords: Business processes, Business process compliance, Norms modelling, Temporal logic
Subjects: Australian and New Zealand Standard Research Classification > INFORMATION AND COMPUTING SCIENCES (080000) > INFORMATION SYSTEMS (080600) > Information Systems Management (080609)
Divisions: Past > Schools > Information Systems
Current > QUT Faculties and Divisions > Science & Engineering Faculty
Deposited On: 08 Jul 2015 23:44
Last Modified: 17 Dec 2015 02:56

Export: EndNote | Dublin Core | BibTeX

Repository Staff Only: item control page