OPBUS: Automating Structural Fault Diagnosis for Graphical Models in the Design of Business Processes



A. J. Varela-Vaca R. Martínez Gasca L. Parody


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

Varela-Vaca, . A. J. ., Gasca, R. M. ., & Parody, L. . (2010). OPBUS: Automating Structural Fault Diagnosis for Graphical Models in the Design of Business Processes. Annual Conference of the PHM Society, 2(2). https://doi.org/10.36001/phmconf.2010.v2i1.1913
Abstract 2 | PDF Downloads 2



fault diagnosis, business process, validation

(Ardissono, 2009) L. Ardissono, S. Bocconi L. Console, R. Furnari, A. Goy, G.Petrone, C. Picardi, M. Segnan, D. T. Dupré. Diagnosis of Enhancing Web Services Composition by means of Diagnosis. BusinessInformationProcessing,2009,Volume17, 468-479,2009.

(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
JWSR, 2009.
Poster Presentations