Minimizing test-point allocation to improve diagnosability in business process models

Diagnosability analysis aims to determine whether observations available during the execution of a system are sufficient to precisely locate the source of a problem. Previous work deals with the diagnosability problem in contexts such as circuits and systems, but no with the adaptation of the diagnosability problem to business processes. In order to improve the diagnosability, a set of test points needs to be allocated. Therefore, the aim of this contribution is to determine a test-point allocation to obtain sufficient observable data in the dataflow to allow the discrimination of faults for a later diagnosis process. The allocation of test points depends on the strategies of the companies, for this reason we defined two possibilities: to improve the diagnosability of a business process for a fixed number of test points and the minimization of the number of test points for a given level of diagnosability. Both strategies have been implemented in the Test-Point Allocator tool in order to facilitate the integration of the test points in the business process model life cycle. Experimental results indicate that diagnosability of business processes can be improved by allocating test points in an acceptable time.

[1]  C. Yangt,et al.  Constraint Networks: A Survey , 2004 .

[2]  F. Madron,et al.  Optimal selection of measuring points in complex plants by linear models , 1992 .

[3]  Rafael M. Gasca,et al.  A Topological-Based Method for Allocating Sensors by Using CSP Techniques , 2005, CAEPIA.

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

[5]  Philippe Dague,et al.  A Model-Based Approach for Diagnosing Fault in Web Service Processes , 2009, Int. J. Web Serv. Res..

[6]  Rina Dechter,et al.  Constraint Processing , 1995, Lecture Notes in Computer Science.

[7]  Xu Han,et al.  An Approach for Diagnosing Unexpected Faults in Web Service Flows , 2009, 2009 Eighth International Conference on Grid and Cooperative Computing.

[8]  Patrick Traxler.  The Time Complexity of Constraint Satisfaction , 2008, IWPEC.

[9]  Rik Eshuis,et al.  An integer programming based approach for verification and diagnosis of workflows , 2010, Data Knowl. Eng..

[10]  María Teresa Gómez López,et al.  Improving the Diagnosability of Business Process Management Systems Using Test Points , 2010, Business Process Management Workshops.

[11]  Jorge S. Cardoso,et al.  Evaluating the process control-flow complexity measure , 2005, IEEE International Conference on Web Services (ICWS'05).

[12]  Manfred Reichert,et al.  Time patterns for process-aware information systems , 2014, Requirements Engineering.

[13]  Behzad Bordbar,et al.  A Model-Based Approach to Fault Diagnosis in Service Oriented Architectures , 2009, 2009 Seventh IEEE European Conference on Web Services.

[14]  Hao Lin,et al.  A novel graph reduction algorithm to identify structural conflicts , 2002, Proceedings of the 35th Annual Hawaii International Conference on System Sciences.

[15]  Erik Frisk,et al.  Sensor placement for maximum fault isolability , 2007 .

[16]  Albert Rosich,et al.  An optimal sensor placement algorithm taking into account diagnosability specifications , 2010, 2010 IEEE International Conference on Automation, Quality and Testing, Robotics (AQTR).

[17]  Kwei-Jay Lin,et al.  A dependency matrix based framework for QoS diagnosis in SOA , 2009, 2009 IEEE International Conference on Service-Oriented Computing and Applications (SOCA).

[18]  Giancarlo Fortino,et al.  History-Aware, Real-Time Risk Detection in Business Processes , 2011, OTM Conferences.

[19]  Daniele Theseider Dupré,et al.  Model-Based Diagnosability Analysis for Web Services , 2007, AI*IA.

[20]  Peter Struss,et al.  A TOOLBOX INTEGRATING MODEL-BASED DIAGNOSABILITY ANALYSIS AND AUTOMATED GENERATION OF DIAGNOSTICS , 2005 .

[21]  Rafael M. Gasca,et al.  OPBUS: Fault Tolerance Against Integrity Attacks in Business Processes , 2010, CISIS.

[22]  N.C. Narendra,et al.  Optimal control point selection for continuous business process compliance monitoring , 2008, 2008 IEEE International Conference on Service Operations and Logistics, and Informatics.

[23]  Christian Commault,et al.  STRUCTURAL ANALYSIS FOR THE SENSOR LOCATION PROBLEM IN FAULT DETECTION AND ISOLATION , 2006 .

[24]  Stéphane Ploix,et al.  A Method for Sensor Placement Taking into Account Diagnosability Criteria , 2008, Int. J. Appl. Math. Comput. Sci..

[25]  Jianmin Wang,et al.  Verifying workflow processes: a transformation-based approach , 2010, Software & Systems Modeling.

[26]  Didier Maquin,et al.  Fault detection and isolation and sensor network design , 1997 .

[27]  Jing Qiu,et al.  Optimal Test Points Selection Based on Multi-Objective Genetic Algorithm , 2009, 2009 IEEE Circuits and Systems International Conference on Testing and Diagnosis.

[28]  Teresa Escobet,et al.  Diagnosability Analysis Based on Component-Supported Analytical Redundancy Relations , 2006, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[29]  Moe Thandar Wynn,et al.  Soundness of workflow nets: classification, decidability, and analysis , 2011, Formal Aspects of Computing.

[30]  Alessandro Sperduti,et al.  PLG: A Framework for the Generation of Business Process Models and Their Execution Logs , 2010, Business Process Management Workshops.

[31]  Luciano Baresi,et al.  Business Process Monitoring for Dependability , 2006, WADS.