No Time for Compliance
File version
Accepted Manuscript (AM)
Author(s)
Hashmi, Mustafa
Griffith University Author(s)
Primary Supervisor
Other Supervisors
Editor(s)
Halle, S
Mayer, W
Date
Size
File type(s)
Location
Adelaide, Australia
License
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.
Journal Title
Conference Title
2015 IEEE 19th International Enterprise Distributed Object Computing Conference
Book Title
Edition
Volume
Issue
Thesis Type
Degree Program
School
Publisher link
Patent number
Funder(s)
Grant identifier(s)
Rights Statement
Rights Statement
© 2015 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works.
Item Access Status
Note
Access the data
Related item(s)
Subject
Computational logic and formal languages
Distributed computing and systems software
Science & Technology
Computer Science, Hardware & Architecture
Engineering, Electrical & Electronic
Persistent link to this record
Citation
Governatori, G; Hashmi, M, No Time for Compliance, 2015 IEEE 19th International Enterprise Distributed Object Computing Conference, 2015, pp. 9-18