Ensuring the Correctness of Business Workflows at the Syntactic Level: An Ontological Approach

Abstract : High quality business workflow definitions play an important role in the organization. An incorrectly defined workflow may lead to unexpected results. Therefore, each business workflow definition should be carefully analyzed before it is put into use. In this paper, we introduce an ontological approach which is suitable for ensuring the syntactic cor-rectness of business workflows. In details, we first introduce the CPN Ontology that is developed for representing CPNs with OWL DL. Then, we define axioms, which are added to the CPN Ontology to provide automated support for establishing the correctness of business workflows. Finally, by relying on the CORESE semantic engine, SPARQL queries are implemented to detect shortcomings in concrete workflows. To the best of our knowledge, this is a novel approach for representing and verifying business workflows based on ontologies.
Type de document :
Chapitre d'ouvrage
Springer Books, Lecture Notes in Artificial Intelligence. Intelligent Information and Database Systems , 9622, Springer pp.533 - 543, 2016, Lecture Notes in Computer Science, 〈10.1007/978-3-662-49390-8_52〉. 〈http://link.springer.com/chapter/10.1007/978-3-662-49390-8_52〉
Liste complète des métadonnées

Littérature citée [16 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01401813
Contributeur : Nhan Le Thanh <>
Soumis le : mercredi 23 novembre 2016 - 17:50:06
Dernière modification le : dimanche 30 avril 2017 - 01:05:42
Document(s) archivé(s) le : mardi 21 mars 2017 - 13:02:51

Fichier

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

Identifiants

Collections

Citation

Thi-Hoa-Hue Nguyen, Nhan Le-Thanh. Ensuring the Correctness of Business Workflows at the Syntactic Level: An Ontological Approach. Springer Books, Lecture Notes in Artificial Intelligence. Intelligent Information and Database Systems , 9622, Springer pp.533 - 543, 2016, Lecture Notes in Computer Science, 〈10.1007/978-3-662-49390-8_52〉. 〈http://link.springer.com/chapter/10.1007/978-3-662-49390-8_52〉. 〈hal-01401813〉

Partager

Métriques

Consultations de
la notice

62

Téléchargements du document

15