Diagnosing Business Processes

Most of the organizations related to industrial manufacturing are process oriented. In order to facilitate their daily processes, enterprises use software, automating the execution order of their more frequent activities. Business Process Management Systems (BPMSs) have helped industry to orchestrate their tasks and recover every used information, combining knowledge from information technology area and management science to improve operational business processes (van der Aalst in Wiley encyclopedia of computer science and engineering. Wiley, New Jersey, 2008). Business Process Models (BPMs) are formed of tasks combined by means of a workflow that lets the achievement of a particular business goal (Weske in Business process management: concepts, languages, architectures. Springer-Verlag New York Inc., Secaucus, NJ, USA, 2007).

[1]  Rik Eshuis,et al.  Diagnosing correctness of semantic workflow models , 2013, Data Knowl. Eng..

[2]  José Miguel Pérez-Álvarez,et al.  Compliance validation and diagnosis of business data constraints in business processes at runtime , 2015, Inf. Syst..

[3]  Rafael M. Gasca,et al.  Max-CSP Approach for Software Diagnosis , 2002, IBERAMIA.

[4]  Olivia R. Liu Sheng,et al.  Formulating the Data-Flow Perspective for Business Process Management , 2006, Inf. Syst. Res..

[5]  Jan Mendling,et al.  Dimensions of Business Processes Quality (QoBP) , 2008, Business Process Management Workshops.

[6]  Peter J. Stuckey,et al.  Finding all minimal unsatisfiable subsets , 2003, PPDP '03.

[7]  Richard J. Wallace,et al.  Directed Arc Consistency Preprocessing , 1995, Constraint Processing, Selected Papers.

[8]  Peter Bernus,et al.  Business process modelling in industry - the powerful tool in enterprise management , 2002, Comput. Ind..

[9]  Mark N. Wegman,et al.  Efficiently computing static single assignment form and the control dependence graph , 1991, TOPL.

[10]  Mathias Weske,et al.  Business Process Management: Concepts, Languages, Architectures , 2007 .

[11]  Wil M. P. van der Aalst,et al.  Conformance checking of processes based on monitoring real behavior , 2008, Inf. Syst..

[12]  María Teresa Gómez López,et al.  NMUS: Structural Analysis for Improving the Derivation of All MUSes in Overconstrained Numeric CSPs , 2007, CAEPIA.

[13]  María Teresa Gómez López,et al.  Hybrid Diagnosis Applied to Multiple Instances in Business Processes , 2016, BMMDS/EMMSAD.

[14]  Damiano Falcioni,et al.  Livelock and Deadlock Detection for PA Inter-organizational Business Processes , 2012, EGOVIS/EDEM.

[15]  Bowen Alpern,et al.  Detecting equality of variables in programs , 1988, POPL '88.

[16]  Olivia R. Liu Sheng,et al.  Data Flow Modeling and Verification in Business Process Management , 2004, AMCIS.

[17]  Wil M. P. van der Aalst,et al.  Formalization and verification of event-driven process chains , 1999, Inf. Softw. Technol..