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 , 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.
Type de document :
Communication dans un congrès
Proceedings of 10th Workshop on Knowledge Engineering and Software Engineering (KESE10) co-located with 21st European Conference on Artificial Intelligence (ECAI 2014), Aug 2014, Prague, Czech Republic. Vol-1289, Knowledge Engineering and Software Engineering 2014. <http://ai.ia.agh.edu.pl/wiki/kese:kese10>
Liste complète des métadonnées


https://hal.inria.fr/hal-01081339
Contributeur : Thi Hoa Hue Nguyen <>
Soumis le : vendredi 7 novembre 2014 - 15:23:58
Dernière modification le : lundi 17 novembre 2014 - 13:51:18
Document(s) archivé(s) le : dimanche 8 février 2015 - 10:46:00

Fichier

NGUYEN_KESE.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • 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), Aug 2014, Prague, Czech Republic. Vol-1289, Knowledge Engineering and Software Engineering 2014. <http://ai.ia.agh.edu.pl/wiki/kese:kese10>. <hal-01081339>

Partager

Métriques

Consultations de
la notice

158

Téléchargements du document

149