Diagnosing correctness of semantic workflow models

D. Borrego, H. Eshuis, M.T. Gómez-López, R.M. Gasca

Research output: Contribution to journalArticleAcademicpeer-review

24 Citations (Scopus)
9 Downloads (Pure)


To model operational business processes in an accurate way, workflow models need to reference both the control flow and dataflow perspectives. Checking the correctness of such workflow models and giving precise feedback in case of errors is challenging due to the interplay between these different perspectives. In this paper, we propose a fully automated approach for diagnosing correctness of semantic workflow models in which the semantics of activities are specified with pre and postconditions. The control flow and dataflow perspectives of a semantic workflow are modeled in an integrated way using Artificial Intelligence techniques (Integer Programming and Constraint Programming). The approach has been implemented in the DiagFlow tool, which reads and diagnoses annotated XPDL models, using a state-of-the-art constraint solver as back end. Using this novel approach, complex semantic workflow models can be verified and diagnosed in an efficient way.
Original languageEnglish
Pages (from-to)167-184
Number of pages18
JournalData & Knowledge Engineering
Publication statusPublished - 2013


Dive into the research topics of 'Diagnosing correctness of semantic workflow models'. Together they form a unique fingerprint.

Cite this