Business Process Management

Runtime monitoring is one of the central tasks to provide operational decision support to running business processes, and check on-the-fly whether they comply with constraints and rules. We study runtime monitoring of properties expressed in LTL on finite traces (LTLf) and its extension LDLf . LDLf is a powerful logic that captures all monadic second order logic on finite traces, which is obtained by combining regular expressions with LTLf , adopting the syntax of propositional dynamic logic (PDL). Interestingly, in spite of its greater expressivity, LDLf has exactly the same computational complexity of LTLf . We show that LDLf is able to capture, in the logic itself, not only the constraints to be monitored, but also the de-facto standard RV-LTL monitors. This makes it possible to declaratively capture monitoring metaconstraints, i.e., constraints about the evolution of other constraints, and check them by relying on usual logical services for temporal logics instead of ad-hoc algorithms. This, in turn, enables to flexibly monitor constraints depending on the monitoring state of other constraints, e.g., “compensation” constraints that are only checked when others are detected to be violated. In addition, we devise a direct translation of LDLf formulas into nondeterministic automata, avoiding to detour to Büchi automata or alternating automata, and we use it to implement a monitoring plug-in for the PROM suite.

[1]  Dennis Kundisch,et al.  IT/IS Project Portfolio Selection in the Presence of Project Interactions - Review and Synthesis of the Literature , 2011, Wirtschaftsinformatik.

[2]  A. Rappaport,et al.  Creating shareholder value : the new standard for business performance , 1986 .

[3]  Samir Chatterjee,et al.  A Design Science Research Methodology for Information Systems Research , 2008 .

[4]  C. Petri.  Kommunikation mit Automaten , 1962 .

[5]  Jan Recker,et al.  How Much Language Is Enough? Theoretical and Practical Use of the Business Process Modeling Notation , 2008, CAiSE.

[6]  Wil M.P. van der Aalst,et al.  Fuzzy Mining - Adaptive Process Simplification Based on Multi-perspective Metrics , 2007, BPM.

[7]  Indranil R. Bardhan,et al.  Prioritizing a Portfolio of Information Technology Investment Projects , 2004, J. Manag. Inf. Syst..

[8]  Mathias Weske,et al.  Maximal Structuring of Acyclic Process Models , 2011, Comput. J..

[9]  Mike P. Papazoglou,et al.  On the Formal Specification of Regulatory Compliance: A Comparative Analysis , 2010, ICSOC Workshops.

[10]  Shinhong Kim,et al.  An integrated approach for interdependent information system project selection , 2001 .

[11]  James S. Wallace,et al.  Value Based Management with Corporate Social Responsibility , 2009 .

[12]  Wil M. P. van der Aalst,et al.  Bridging The Gap Between Business Models And Workflow Specifications , 2004, Int. J. Cooperative Inf. Syst..

[13]  Omar Chiotti,et al.  Extending BPMN 2.0: Method and Tool Support , 2011, BPMN.

[14]  Jan Recker,et al.  Empirical investigation of the usefulness of Gateway constructs in process models , 2013, Eur. J. Inf. Syst..

[15]  S. Winter.  Understanding dynamic capabilities , 2003 .

[16]  W. M. P. V. D. Aalsta,et al.  YAWL : yet another workflow language , 2015 .

[17]  Sander J. J. Leemans,et al.  Discovering Block-Structured Process Models from Event Logs Containing Infrequent Behaviour , 2013, Business Process Management Workshops.

[18]  Boudewijn F. van Dongen,et al.  Replaying history on process models for conformance checking and performance analysis , 2012, WIREs Data Mining Knowl. Discov..

[19]  Peter Meso,et al.  The Effects of Decomposition Quality and Multiple Forms of Information on Novices' Understanding of a Domain from a Conceptual Model , 2008, J. Assoc. Inf. Syst..

[20]  Paul A. Pavlou,et al.  Understanding the Elusive Black Box of Dynamic Capabilities , 2011, Decis. Sci..

[21]  Gi Mun Kim,et al.  IT Capabilities, Process-Oriented Dynamic Capabilities, and Firm Financial Performance , 2011, J. Assoc. Inf. Syst..

[22]  Diana Heckl,et al.  Process Performance Management , 2010 .

[23]  Andrés L. Medaglia,et al.  A multiobjective evolutionary approach for linearly constrained project selection under uncertainty , 2007, Eur. J. Oper. Res..

[24]  Wasif Gilani,et al.  DrugFusion - Retrieval Knowledge Management for Prediction of Adverse Drug Events , 2014, BIS.

[25]  Herbert A. Simon,et al.  Why a Diagram is (Sometimes) Worth Ten Thousand Words , 1987, Cogn. Sci..

[26]  Paul Harmon,et al.  Business Process Change , 2019, Business Process Change.

[27]  Mark Strembeck,et al.  Factors of process model comprehension - Findings from a series of experiments , 2012, Decis. Support Syst..

[28]  Hans van der Heijden,et al.  Effects of diagram format and user numeracy on understanding cash flow data , 2014 .

[29]  Constance E. Helfat,et al.  The dynamic resource-based view: capability lifecycles , 2003 .

[30]  Jan Recker,et al.  Contextualisation of business processes , 2008, Int. J. Bus. Process. Integr. Manag..

[31]  Björn Niehaves,et al.  A Dynamic Capability-Based Framework for Business Process Management: Theorizing and Empirical Application , 2012, 2012 45th Hawaii International Conference on System Sciences.

[32]  Sander J. J. Leemans,et al.  Discovering Block-Structured Process Models from Event Logs - A Constructive Approach , 2013, Petri Nets.

[33]  Maximilian Röglinger,et al.  Value Orientation in Process Management , 2011, Bus. Inf. Syst. Eng..

[34]  Hajo A. Reijers,et al.  Best practices in business process redesign: an overview and qualitative evaluation of successful redesign heuristics , 2005 .

[35]  Jan Recker,et al.  Opportunities and constraints: the current struggle with BPMN , 2010, Bus. Process. Manag. J..

[36]  W. Duncan.  A GUIDE TO THE PROJECT MANAGEMENT BODY OF KNOWLEDGE , 1996 .

[37]  Fereidoun Ghasemzadeh,et al.  An integrated framework for project portfolio selection , 1999 .

[38]  Ulrich Frank,et al.  Evaluation of Reference Models , 2006 .

[39]  J. Berger.  Statistical Decision Theory and Bayesian Analysis , 1988 .

[40]  Felix Krause,et al.  Flexibilization Of Service Processes: Toward An Economic Optimization Model , 2013, ECIS.

[41]  P. Pierson.  Not Just What, but When: Timing and Sequence in Political Processes , 2000, Studies in American Political Development.

[42]  Wil M.P. van der Aalst,et al.  Process mining with the HeuristicsMiner algorithm , 2006 .

[43]  Wil M. P. van der Aalst,et al.  Workflow mining: discovering process models from event logs , 2004, IEEE Transactions on Knowledge and Data Engineering.

[44]  Marwane El Kharbili,et al.  Business Process Compliance Checking: Current State and Future Challenges , 2008, MobIS.

[45]  Boudewijn F. van Dongen,et al.  A genetic algorithm for discovering process trees , 2012, 2012 IEEE Congress on Evolutionary Computation.

[46]  Wil M. P. van der Aalst,et al.  Process Mining - Discovery, Conformance and Enhancement of Business Processes , 2011 .

[47]  Tony E. Gear,et al.  A NOTE ON MODELING PROJECT INTERDEPENDENCE IN RESEARCH AND DEVELOPMENT , 1980 .

[48]  Ron Weber,et al.  Should Optional Properties Be Used in Conceptual Modelling? A Theory and Three Empirical Tests , 2001, Inf. Syst. Res..

[49]  Norman R. Baker,et al.  Economic Models for R and D Project Selection in the Presence of Project Interactions , 1984 .