Control flow-based business workflow templates checking : an approach using the knowledge-based systems

Thi Hoa Hue Nguyen 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
Résumé : Cette thèse traite le problème de la modélisation des patrons de workflow sémantiquement riche et propose un processus pour développer des patrons de workflow. L'objectif est de transformer un processus métier en un patron de workflow métier basé sur les flux de contrôle qui garantit la vérification syntaxique et sémantique. Les défis majeurs sont : (i) de définir un formalisme permettant de représenter les processus métiers; (ii) d'établir des mécanismes de contrôle automatiques pour assurer la conformité des patrons de workflow métier basés sur un modèle formel et un ensemble de contraintes sémantiques; et (iii) d’organiser la base de patrons de workflow métier pour le développement de patrons de workflow. Nous proposons un formalisme qui combine les flux de contrôle (basés sur les Réseaux de Petri Colorés (CPNs)) avec des contraintes sémantiques pour représenter les processus métiers. L'avantage de ce formalisme est qu'il permet de vérifier non seulement la conformité syntaxique basée sur le modèle de CPNs mais aussi la conformité sémantique basée sur les technologies du Web sémantique. Nous commençons par une phase de conception d'une ontologie OWL appelée l’ontologie CPN pour représenter les concepts de patrons de workflow métier basés sur CPN. La phase de conception est suivie par une étude approfondie des propriétés de ces patrons pour les transformer en un ensemble d'axiomes pour l'ontologie. Ainsi, dans ce formalisme, un processus métier est syntaxiquement transformé en une instance de l’ontologie.
Type de document :
Thèse
Other [cs.OH]. Université Nice Sophia Antipolis, 2015. English. <NNT : 2015NICE4033>
Liste complète des métadonnées

https://tel.archives-ouvertes.fr/tel-01175929
Contributeur : Abes Star <>
Soumis le : lundi 13 juillet 2015 - 15:27:33
Dernière modification le : vendredi 17 juillet 2015 - 01:06:45
Document(s) archivé(s) le : mercredi 14 octobre 2015 - 11:51:10

Fichier

2015NICE4033.pdf
Version validée par le jury (STAR)

Identifiants

  • HAL Id : tel-01175929, version 1

Collections

Citation

Thi Hoa Hue Nguyen. Control flow-based business workflow templates checking : an approach using the knowledge-based systems. Other [cs.OH]. Université Nice Sophia Antipolis, 2015. English. <NNT : 2015NICE4033>. <tel-01175929>

Partager

Métriques

Consultations de
la notice

572

Téléchargements du document

479