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)
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:
Citation counts are sourced monthly from and 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 theindexing service can be viewed at the linked Google Scholar™ search.
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.
|Item Type:||Conference Paper|
|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|
Repository Staff Only: item control page