Work

No Time for Compliance

Year: 2015

Type: conference-paper

Abstract: In the past few years several business process compliance frameworks 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.

Source: IEEE International Enterprise Distributed Object Computing Conference (EDOC)

DOI: 10.1109/edoc.2015.12

Authors: Guido Governatori, Mustafa Hashmi

Institution: Data61

Language: English

Topic: Business Process Modeling and Analysis

Subfield: Management Information Systems

Field: Business, Management and Accounting

Domain: Social Sciences

SDG: Peace, justice, and strong institutions

Open Access status: green

Funder: Australian Government