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 metadatas

Cited literature [21 references]  Display  Hide  Download

https://hal.inria.fr/hal-01081339
Contributor : Thi Hoa Hue Nguyen <>
Submitted on : Friday, November 7, 2014 - 3:23:58 PM
Last modification on : Monday, November 5, 2018 - 3:52:09 PM
Long-term archiving on: Sunday, February 8, 2015 - 10:46:00 AM

File

NGUYEN_KESE.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01081339, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

302

Files downloads

236