dc.contributor.author | Tosatto, Silvano Colombo | |
dc.contributor.author | Governatori, Guido | |
dc.date.accessioned | 2021-07-21T04:14:33Z | |
dc.date.available | 2021-07-21T04:14:33Z | |
dc.date.issued | 2021 | |
dc.identifier.issn | 2055-3706 | |
dc.identifier.uri | http://hdl.handle.net/10072/406182 | |
dc.description.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. | |
dc.description.peerreviewed | Yes | |
dc.language | English | |
dc.publisher | College Publications | |
dc.publisher.uri | http://collegepublications.co.uk/ifcolog/ | |
dc.relation.ispartofpagefrom | 1023 | |
dc.relation.ispartofpageto | 1064 | |
dc.relation.ispartofissue | 4 | |
dc.relation.ispartofjournal | Journal of Applied Logics- IfCoLog Journal of Logics and their Applications | |
dc.relation.ispartofvolume | 8 | |
dc.subject.fieldofresearch | Information and computing sciences | |
dc.subject.fieldofresearchcode | 46 | |
dc.subject.keywords | Science & Technology | |
dc.subject.keywords | Logic | |
dc.subject.keywords | Science & Technology - Other Topics | |
dc.subject.keywords | CHECKING | |
dc.title | Computational Complexity of Compliance and Conformance: Drawing a Line Between Theory and Practice | |
dc.type | Journal article | |
dc.type.description | C1 - Articles | |
dcterms.bibliographicCitation | 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 | |
dcterms.license | http://creativecommons.org/licenses/by-nc-nd/4.0/ | |
dc.date.updated | 2021-07-19T00:15:04Z | |
dc.description.version | Version of Record (VoR) | |
gro.rights.copyright | © 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. | |
gro.hasfulltext | Full Text | |
gro.griffith.author | Governatori, Guido | |