An efficient algorithm for workflow graph structural verification

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5331 LNCS, Issue PART 1, 2008, Pages 392-408

  Touré, Fodé ^a   Baïna, Karim ^a   Benali, Khalid ^b  

^a MOHAMMED V UNIVERSITY   (Morocco)

^b LORIA   (France)

Author keywords

Business process validation; Business processes; Graph traversal; Reduction based algorithm; Structural checking; Transformation of model; Workflow

Indexed keywords

DECENTRALIZED CONTROL; DIRECTION OF ARRIVAL; MANAGEMENT; PROCESS ENGINEERING; PROCESS MONITORING; RADIO DIRECTION FINDING SYSTEMS; WORK SIMPLIFICATION;

BUSINESS PROCESS VALIDATION; BUSINESS PROCESSES; GRAPH TRAVERSAL; STRUCTURAL CHECKING; TRANSFORMATION OF MODEL; WORKFLOW;

MODEL CHECKING;

EID: 58049119784     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-88871-0_26     Document Type: Conference Paper

References (13)

1. Sadiq, S., Orlowska, M., Sadiq, W., Foulger, C.: Data flow and validation in workflow modelling. In: ADC 2004: Proceedings of the 15th Australasian database conference, Darlinghurst, Australia, pp. 207-214. Australian Computer Society, Inc. (2004)
2. WFMC-TC-1011, D.N.: The workflow management coalition specification workflow management coalition interface 1: Process definition interchange process model (1996)
3. WFMC-TC-1016, D.N.: Workflow management coalition interface 1: Process definition interchange process model (1999)
4. Sadiq, W., Orlowska. M.E.: Analyzing process models using graph reduction techniques. Inf. Syst. 25(2), 117-134 (2000)
5. Sadiq, W., Orlowska. M.E.: Applying graph reduction techniques for identifying structural conflicts in process models. In: Jarke, M., Oberweis, A. (eds.) CAiSE 1999. LNCS, vol. 1626, pp. 195-209. Springer, Heidelberg (1999)
6. van der Aalst, W.M.P., Hirnschall, A., Verbeek, H.M.W.E.: An alternative way to analyze workflow graphs. In: CAiSE. pp. 535-552 (2002)
7. Lin, H., Zhao, Z., Li, H., Chen, Z.: A novel graph reduction algorithm to identify structural conflicts. In: HICSS, p. 289 (2002)
8. Perumal, S., Mahanti, A.: A graph-search based algorithm for verifying workflow graphs. In: DEXA Workshops, pp. 992-996. IEEE Computer Society, Los Alamitos (2005)
9. Perumal, S., Mahanti, A.: Applying graph search techniques for workflow verification. In: HICSS, p. 48 (2007)
10. Liu, R., Kumar, A.: An analysis and taxonomy of unstructured workflows. In: Business Process Management, pp. 268-284 (2005)
11. Baïna, K., Gaaloul, W., Khattabi, R.E., Mouhou, A.: Workflowminer: a new workflow patterns and performance analysis tool. In: Boudjlida, N., Cheng. D., Guelfi. N. (eds.) CAiSE Forum, CEUR Workshop Proceedings, vol. 231 (2006). CEUR-WS.org
12. Gaaloul, W., Baïna, K., Godart, C.: Log-based mining techniques applied to web service composition reengineering. Service Oriented Computing and Applications 2(2-3), 93-110 (2008)
13. jBPM. http://www.jbpm.org