Ensuring business process compliance along the process life cycle

Business processes are subject to semantic constraints that stem from regulations, laws and guidelines, and are also known as compliance rules. Hence, process-aware information systems have to ensure compliance with those rules in order to guarantee semantically correct and error-free executability as well as changeability of their business processes. This report discusses how compliance rules can be defined and how business process compliance can be ensured for the different phases of the process lifecycle.

[1]  Evelina Lamma,et al.  Expressing and Verifying Business Contracts with Abductive Logic Programming , 2008, Normative Multi-agent Systems.

[2]  Jan Vanthienen,et al.  Designing Compliant Business Processes with Obligations and Permissions , 2006, Business Process Management Workshops.

[3]  Susanne Boll,et al.  Intelligent prefetching and buffering for interactive streaming of MPEG Videos , 2005 .

[4]  Manfred Reichert,et al.  Beyond rigidity – dynamic process lifecycle support , 2009, Computer Science - Research and Development.

[5]  Manfred Reichert,et al.  Adeptflex—Supporting Dynamic Changes of Workflows Without Losing Control , 1998, Journal of Intelligent Information Systems.

[6]  Peter Dadam,et al.  On Enabling Data-Aware Compliance Checking of Business Process Models , 2010, ER.

[7]  Stefanie Rinderle-Ma,et al.  Providing Integrated Life Cycle Support in Process-Aware Information Systems , 2009, Int. J. Cooperative Inf. Syst..

[8]  Hans A. Kestler,et al.  An empirical assessment of local and population based search methods with different degrees of pseudorandomness , 2008 .

[9]  Frank Raiser,et al.  Semi-Automatic Generation of CHR Solvers from Global Constraint Automata , 2008 .

[10]  Henning Wunderlich,et al.  On Toda's Theorem in Structural Communication Complexity , 2009, SOFSEM.

[11]  U. Schöning,et al.  On the different notions of pseudorandomness , 2008 .

[12]  Shazia Wasim Sadiq,et al.  Compliance checking between business processes and business contracts , 2006, 2006 10th IEEE International Enterprise Distributed Object Computing Conference (EDOC'06).

[13]  Peter Dadam,et al.  Von ADEPT zur AristaFlow BPM Suite - Eine Vision wird Realität : Correctness by Construction und flexible, robuste Ausführung von Unternehmensprozessen , 2009, EMISA Forum.

[14]  Peter Dadam,et al.  SeaFlows Toolset - Compliance Verification Made Easy for Process-Aware Information Systems , 2010, CAiSE Forum.

[15]  Peter Dadam,et al.  Support of relationships among moving objects on networks , 2013 .

[16]  César Muñoz,et al.  An Overview of SAL , 2000 .

[17]  I. Weber,et al.  Semantic Business Process Validation , 2008 .

[18]  Christian Heinlein,et al.  Concept and implementation of C+++, an extension of C++ to support user-defined operator symbols and control structures , 2005 .

[19]  Erik P. de Vink,et al.  Time and Data-Aware Analysis of Graphical Service Models in Reo , 2010, 2010 8th IEEE International Conference on Software Engineering and Formal Methods.

[20]  Peter Dadam,et al.  Design and Verification of Instantiable Compliance Rule Graphs in Process-Aware Information Systems , 2010, CAiSE.

[21]  Ying Liu,et al.  A static compliance-checking framework for business process models , 2007, IBM Syst. J..

[22]  Mathias Weske,et al.  Efficient Compliance Checking Using BPMN-Q and Temporal Logic , 2008, BPM.

[23]  Boudewijn F. van Dongen,et al.  Process Mining and Verification of Properties: An Approach Based on Temporal Logic , 2005, OTM Conferences.

[24]  George S. Avrunin,et al.  Property specification patterns for finite-state verification , 1998, FMSP '98.

[25]  Valentin Goranko,et al.  Logic in Computer Science: Modelling and Reasoning About Systems , 2007, J. Log. Lang. Inf..

[26]  Aditya K. Ghose,et al.  Auditing Business Process Compliance , 2007, ICSOC.

[27]  Johann Eder,et al.  Temporal Conformance of Federated Choreographies , 2008, DEXA.

[28]  Manfred Reichert,et al.  Flexibility in Process-Aware Information Systems , 2009, Trans. Petri Nets Other Model. Concurr..

[29]  Mathias Weske,et al.  Specification, Verification and Explanation of Violation for Data Aware Compliance Rules , 2009, ICSOC/ServiceWave.

[30]  Wil M. P. van der Aalst,et al.  The Application of Petri Nets to Workflow Management , 1998, J. Circuits Syst. Comput..

[31]  ReichertManfred,et al.  Adept _flex Supporting Dynamic Changes of Workflows Without Losing Control , 1998 .

[32]  Ramin Tavakoli Kolagari,et al.  Entscheidungsdokumentation bei der Entwicklung innovativer Systeme für produktlinien-basierte Entwicklungsprozesse , 2008 .