Abstract
Compliance checking of business process models against regulation is inevitable. Due to various sources of compliance requirements, a conflict of interest of such requirements is very likely. Thus, it is crucial to analyze the relation between compliance rules to discover any possible conflicts before even checking such rules against process models. Although this step is important in the compliance management life cycle, there is almost no work that studied this direction. In this paper, we start by checking for consistency between execution ordering compliance rules expressed in linear temporal logic (LTL), addressing control and data flow aspects. To achieve this, we rely on the generation of Büchi automaton from LTL formulas. However, we show that domain-specific knowledge is of crucial importance to draw correct conclusions.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
