Authors:
Fodé Touré
1
;
Karim Bäına
1
and
Walid Gaaloul
2
Affiliations:
1
ENSIAS, Université Mohammed V-Souissi, Morocco
;
2
DERI-NUIG, Ireland
Keyword(s):
Business processes, business process validation, workflow structural checking, graph reduction, graph traversal.
Related
Ontology
Subjects/Areas/Topics:
Artificial Intelligence
;
Business Process Management
;
e-Business
;
Enterprise Engineering
;
Enterprise Information Systems
;
Information Systems Analysis and Specification
;
Knowledge Management and Information Sharing
;
Knowledge-Based Systems
;
Modeling Formalisms, Languages and Notations
;
Symbolic Systems
Abstract:
Appropriate definition, analysis, checking and improvement of business process models are indispensable before their deployment within workflow management systems. In this paper, we focus on business process model verification that insures business process structural correctness. Our proposal consist in a new hybrid algorithm of workflow graph structural validation combining graph reduction and traversal mechanisms. Our algorithm will be discussed and compared to existing workflow structural checking approaches.