Ensuring the Semantic Correctness of Workflow Processes: An Ontological Approach - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2014

Ensuring the Semantic Correctness of Workflow Processes: An Ontological Approach

Résumé

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
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

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

Identifiants

  • HAL Id : hal-01081339 , version 1

Citer

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⟩
202 Consultations
159 Téléchargements

Partager

Gmail Facebook X LinkedIn More