Skip to Main content Skip to Navigation
New interface
Conference papers

Ensuring the Semantic Correctness of Workflow Processes: An Ontological Approach

Thi Hoa Hue Nguyen 1 Nhan Le Thanh 1 
1 WIMMICS - Web-Instrumented Man-Machine Interactions, Communities and Semantics
CRISAM - Inria Sophia Antipolis - Méditerranée , Laboratoire I3S - SPARKS - Scalable and Pervasive softwARe and Knowledge Systems
Abstract : Workflow verification has been known as an important as-pect of workflow management systems. Many existing approaches con-centrate on ensuring the correctness of workflow processes at the syntac-tic level. However, these approaches are not sufficient to detect errors at the semantic level. This paper contributes to ensure the semantic cor-rectness of workflow processes. First, we propose a formal definition of semantic constraints and an O(n 3)-time algorithm for detecting redun-dant and conflicting constraints. Second, by relying on the CPN Ontology (a representation of Coloured Petri Nets with OWL DL ontology) and sets of semantic constraints, workflow processes are semantically created. And third, we show how to check the semantic correctness of workflow processes with the SPARQL query language.
Document type :
Conference papers
Complete list of metadata

Cited literature [21 references]  Display  Hide  Download
Contributor : Thi Hoa Hue Nguyen Connect in order to contact the contributor
Submitted on : Friday, November 7, 2014 - 3:23:58 PM
Last modification on : Thursday, August 4, 2022 - 4:54:56 PM
Long-term archiving on: : Sunday, February 8, 2015 - 10:46:00 AM


Files produced by the author(s)


  • HAL Id : hal-01081339, version 1



Thi Hoa Hue Nguyen, Nhan Le Thanh. Ensuring the Semantic Correctness of Workflow Processes: An Ontological Approach. Proceedings of 10th Workshop on Knowledge Engineering and Software Engineering (KESE10) co-located with 21st European Conference on Artificial Intelligence (ECAI 2014), Grzegorz J. Nalepa and Joachim Baumeister and K. Kaczor, Aug 2014, Prague, Czech Republic. ⟨hal-01081339⟩



Record views


Files downloads