Ensuring the Semantic Correctness of Workflow Processes: An Ontological Approach - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2014

Ensuring the Semantic Correctness of Workflow Processes: An Ontological Approach

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.
Fichier principal
Vignette du fichier
NGUYEN_KESE.pdf (329.91 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-01081339 , version 1 (07-11-2014)

Identifiers

  • HAL Id : hal-01081339 , version 1

Cite

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⟩
201 View
159 Download

Share

Gmail Facebook X LinkedIn More