@conference { ISI:000261798700022,
	title = {An Efficient Algorithm for Workflow Graph Structural Verification},
	booktitle = {ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS: OTM 2008, PART I},
	series = {Lecture Notes in Computer Science},
	volume = {5331},
	number = {I},
	year = {2008},
	note = {On the Move Confederated International Conference and Workshops, Monterrey, MEXICO, NOV 09-14, 2008},
	pages = {392+},
	publisher = {RMIT Univ; Vrije Univ; Tecnol Monterrey; Univ Politec Madrid; Bauch \& Navratil},
	organization = {RMIT Univ; Vrije Univ; Tecnol Monterrey; Univ Politec Madrid; Bauch \& Navratil},
	abstract = {-Any big enterprise is organized around business, process having a value towards its customers and its products. Appropriate definition, analysis, checking and improvement of those 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 efficient hybrid algorithm of workflow graph structural validation combining graph reduction and traversal mechanisms. Our algorithm will be disussed and compared to existing workflow structural checking approaches from completeness and performance points of view.},
	isbn = {978-3-540-88870-3},
	issn = {0302-9743},
	author = {Toure, Fode and Baina, Karim and Benali, Khalid},
	editor = {Meersman, R and Tari, Z}
}
@conference { ISI:000259605900068,
	title = {TOWARD A HYBRID ALGORITHM FOR WORKFLOW GRAPH STRUCTURAL VERIFICATION},
	booktitle = {ICEIS 2008: PROCEEDINGS OF THE TENTH INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS, VOL ISAS-2: INFORMATION SYSTEMS ANALYSIS AND SPECIFICATION, VOL 2},
	year = {2008},
	note = {10th International Conference on Enterprise Information Systems, Barcelona, SPAIN, JUN 12-16, 2008},
	pages = {442-447},
	publisher = {Inst Syst \& Technol Informat, Control \& Commun; Workflow Management Coalit; Assoc Adv Artificial Intelligence},
	organization = {Inst Syst \& Technol Informat, Control \& Commun; Workflow Management Coalit; Assoc Adv Artificial Intelligence},
	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.},
	author = {Toure, Fode and Baina, Karim and Gaaloul, Walid},
	editor = {Cordeiro, J and Filipe, J}
}
