When quality is considered in the design stages of business processes, fault diagnosis must be taken into account. In the business process modeling area there exist several proposed graphical languages. These languages have many different graphical elements that could contain structural fault modes in accordance with the corresponding standard used. It is essential to aid designers to diagnose faults within the graphical models for the business processes before they are put into execution; this is a major factor in risk avoidance. The graphical models must satisfy their associated graphical structural constraints. For organizations compliance is of major importance. Automation of the diagnosis in the design stage is necessary in order to diagnose the non-compliance to the graphical structural constraints of a business process as soon as possible. This article presents a framework with automatic diagnosing capabilities. It provides an early diagnosis of badly designed business processes. This paper describes the proposed general framework and focuses on fault diagnosis where the compliance to graphical structural constraints can be analyzed using various approaches of business processes.
How to Cite
fault diagnosis, business process, validation
(Aalst, 2000) W.M.P. van der Aalst and A.H.M. ter Hofstede. Verification of Workflow Task Structures: A Petri-Net-based approach. BPM Center Report BPM-00-03, BPMcenter.org, 2000. (Aalst, 1999) W. M. P. van der Aalst, Formalization and verification of Event-driven process chains, Information and Software Technology,Vol. 41, pp. 639-650, 1999.
(Bosilj, 2001) V. Bosilj-Vuksic, V. Hlupic, Petri Nets and IDEF:applicability and efficacy for business process modeling, Informatica 25 (1), pp.123– 133, 2001.
(BPMN, 2009) OMG Standard Business Process Model and Notation. Available: http://www.omg.org/spec/BPMN/1.2
(Console, 2007) L. Console, C. Picardi, D. T. Dupré. A framework for
descentralized qualitative Model-Based Diagnosis. 20th International Joint Conference on Artificial Intelligence (IJCAI-07), Hyderabad, India, 2007.
(Dumas, 2001) M. Dumas, M., A.H.M. ter Hofstede, UML Activity Diagrams as a workflow specialization language, in: Proceedings of the 4th International Conference on the Unified Modeling Language, UML, pp. 76–90, 2001.
(Epsilon,2010) Epsilon,Available:http://www.eclipse.org/gmt/epsilon/ (Hamscher, 1992) W. Hamscher, L. Console, and J. de Kleer. Readings in model-based diagnosis. Morgan Kaufmann Publishers Inc, 1992. (Huang, 2008) S. Huang, Y. Chu, Shing-Han Li, D. C. Yen, Enhancing conflict detecting mechanism for Web Services composition: A business process flow model transformation approach, Information and Software Technology, Vol. 50, pp. 1069-1087, 2008.
(Kim, 2009) Gun-Woo Kim, Jeong Hwa Lee, Jin Hyun Son, Classification and Analyses of Business Process Anomalies, Communication Software and Networks, International Conference on, pp. 433-437, 2009.
(Li, 2007)Y. Li, T. Melliti, P. Dague. Modeling BPEL Web Services for diagnosis: Towards Self-Healing Web Services. 3rd International Conference on Web Information Systems and Technologies WEBIST'07,Barcelona, Spain,March2007.
(Marjanovic, 2000) O. Marjanovic, Dynamic Verification of Temporal Constraints in Production Workflows, Agile Development Conference, Australasian Database Conference, pp. 74, 2000.
(Mayer, 2006)W. Mayer and M. Stumptner. Debugging Failures in Web Services Coordination. 17th International Workshop on Principles of Diagnosis (DX’06), 2006.
(MDA, 2009) Model-Driven Architecture, Available: http://www.omg.org/mda/
(MDD, 2006) Model-Driven Software Development, T. Stahl, M. Völter, Ed. Wiley, ISBN 0-470-03570-0, 2006.
(Mukherjee, 2007) A. Mukherjee, Anup Kumar Sen and Amitava Bagchi. The representation, analysis and verification of business processes: a metagraph-based approach. Information Technology and Management, 2007.
(Penny, 1996) A.K. Penny, Introduction to systems analysis & design: a structure approach, IRWIN, 1996.
(Namiri, 2007) K. Namiri, N.Stojanovic Using Control Patterns in Business Processes Compliance, Web Information Systems Engineering – WISE 2007 Workshops, pp. 178-190, 2007.
(Sadiq, 2000) Sadiq, W. and Orlowska, M. E. Analyzing process models using graph reduction techniques. Inf. Syst. 25, 2, pp.117-134, 2000.
(Sadiq, 2007) S. Sadiq, G. Governatori, K. Namiri, Modeling Control Objectives for Business Process, Compliance, Business Process Management, pp. 149-164, 2007.
(Salimifard,2001)K.Salimifard, M.Wright,Petrinet-basedmodelingof workflow systems: an overview, European Journal of Operational Research, 134, pp. 664–676, 2001.
(Touré,2008) F.Touré,K.Baïna andK.Benali,AnEfficientAlgorithm for Workflow Graph Structural Verification. Lecture Notes in Computer Science Springer Volume 5331, 2008.
(Yan, 2009) Y. Yan, P. Dague, Y. Pencole, M-O Cordier. A Model- Based approach for diagnosising faults in Web Service Processes. International Journal of Web Services Research
The Prognostic and Health Management Society advocates open-access to scientific data and uses a Creative Commons license for publishing and distributing any papers. A Creative Commons license does not relinquish the author’s copyright; rather it allows them to share some of their rights with any member of the public under certain conditions whilst enjoying full legal protection. By submitting an article to the International Conference of the Prognostics and Health Management Society, the authors agree to be bound by the associated terms and conditions including the following:
As the author, you retain the copyright to your Work. By submitting your Work, you are granting anybody the right to copy, distribute and transmit your Work and to adapt your Work with proper attribution under the terms of the Creative Commons Attribution 3.0 United States license. You assign rights to the Prognostics and Health Management Society to publish and disseminate your Work through electronic and print media if it is accepted for publication. A license note citing the Creative Commons Attribution 3.0 United States License as shown below needs to be placed in the footnote on the first page of the article.
First Author et al. This is an open-access article distributed under the terms of the Creative Commons Attribution 3.0 United States License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original author and source are credited.