Computational Complexity of Compliance and Conformance: Drawing a Line Between Theory and Practice
File version
Version of Record (VoR)
Author(s)
Governatori, Guido
Griffith University Author(s)
Primary Supervisor
Other Supervisors
Editor(s)
Date
Size
File type(s)
Location
Abstract
In the present chapter we focus our attention on the computational complexity of proving regulatory compliance of business process models. While the topic has never received the deserved attention, we argue that the theoretical results, both existing and yet to find, are far reaching for many areas related to the problem of proving compliance of process models. Therefore, we provide here and discuss the existing results concerning the theoretical computational complexity of the problem, as well as discussing some further areas that can potentially advance the knowledge about the issue, and other closely related disciplines that can either bring or take insights to this area.
Journal Title
Journal of Applied Logics- IfCoLog Journal of Logics and their Applications
Conference Title
Book Title
Edition
Volume
8
Issue
4
Thesis Type
Degree Program
School
Publisher link
DOI
Patent number
Funder(s)
Grant identifier(s)
Rights Statement
Rights Statement
© Tosatto, Silvano Colombo and Governatori, Guido and College Publications 2021. This is an Open Access article distributed under the terms of the Creative Commons Attribution-NonCommercial-NoDerivs 4.0 International (CC BY-NC-ND 4.0) License, which permits unrestricted, non-commercial use, distribution and reproduction in any medium, providing that the work is properly cited.
Item Access Status
Note
Access the data
Related item(s)
Subject
Information and computing sciences
Science & Technology
Logic
Science & Technology - Other Topics
CHECKING
Persistent link to this record
Citation
Tosatto, S. C., Governatori, G., Computational Complexity of Compliance and Conformance: Drawing a Line Between Theory and Practice, Journal of Applied Logics- IfCoLog Journal of Logics and their Applications, 2021, 8 (4), pp. 1023-1064. Available from: http://www.collegepublications.co.uk/downloads/ifcolog00046.pdf