dc.contributor.author | Awad, Ahmed | |
dc.contributor.author | Gore, Rajeev | |
dc.contributor.author | Hou, Zhe | |
dc.contributor.author | Thomson, James | |
dc.contributor.author | Weidlich, Matthias | |
dc.date.accessioned | 2020-07-03T06:15:28Z | |
dc.date.available | 2020-07-03T06:15:28Z | |
dc.date.issued | 2012 | |
dc.identifier.issn | 0306-4379 | |
dc.identifier.doi | 10.1016/j.is.2012.05.001 | |
dc.identifier.uri | http://hdl.handle.net/10072/395149 | |
dc.description.abstract | Companies have to adhere to compliance requirements. The compliance analysis of business operations is typically a joint effort of business experts and compliance experts. Those experts need to create a common understanding of business processes to effectively conduct compliance management. In this paper, we present a technique that aims at supporting this process. We argue that process templates generated out of compliance requirements provide a basis for negotiation among business and compliance experts. We introduce a semi-automated and iterative approach to the synthesis of such process templates from compliance requirements expressed in Linear Temporal Logic (LTL). We show how generic constraints related to business process execution are incorporated and present criteria that point at underspecification. Further, we outline how such underspecification may be resolved to iteratively build up a complete specification. For the synthesis, we leverage existing work on process mining and process restructuring. However, our approach is not limited to the control-flow perspective, but also considers direct and indirect data-flow dependencies. Finally, we elaborate on the application of the derived process templates and present an implementation of our approach. | |
dc.language | English | |
dc.language.iso | eng | |
dc.publisher | Elsevier | |
dc.relation.ispartofpagefrom | 714 | |
dc.relation.ispartofpageto | 736 | |
dc.relation.ispartofissue | 8 | |
dc.relation.ispartofjournal | Information Systems | |
dc.relation.ispartofvolume | 37 | |
dc.subject.fieldofresearch | Information systems | |
dc.subject.fieldofresearchcode | 4609 | |
dc.subject.keywords | Science & Technology | |
dc.subject.keywords | Process synthesis | |
dc.subject.keywords | Computer Science | |
dc.title | An iterative approach to synthesize business process templates from compliance rules | |
dc.type | Journal article | |
dcterms.bibliographicCitation | Awad, A; Gore, R; Hou, Z; Thomson, J; Weidlich, M, An iterative approach to synthesize business process templates from compliance rules, Information Systems, 2012, 37 (8), pp. 714-736 | |
dcterms.license | http://creativecommons.org/licenses/by-nc-nd/4.0/ | |
dc.date.updated | 2020-07-03T06:11:45Z | |
dc.description.version | Accepted Manuscript (AM) | |
gro.rights.copyright | © 2012 The American Association of Orthodontistsr. Published by Elsevier Ltd. Licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International Licence (http://creativecommons.org/licenses/by-nc-nd/4.0/) 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 | Hou, Zhe | |