Modélisation et analyse des processus Workflows reconfigurables et distribués par les ECATNets récursifs

par Awatef Hicheur

Thèse de doctorat en Informatique

Sous la direction de Kamel Barkaoui.

Soutenue en 2009

à Paris, CNAM .


  • Pas de résumé disponible.


  • Pas de résumé disponible.

  • Titre traduit

    Modeling and analysis of distributed and reconfigurable workflow processes using recursive ECATNets


  • Résumé

    Dans cette thèse, nous proposons un nouveau modèle pour la modélisation et l'analyse des processus workflows reconfigurables et distribués, appelé ECATNet récursif (RECATNet). Les RECATNets sont une combinaison saine des ECATnets ordinaires (Extended Concurrent Algebraic Terms Nets) et des réseaux de Petri récursifs. L'intérêt majeur des RECATNets, dont nous précisons la syntaxe et la sémantique, est d'offrir un mécanisme récursif approprié à la modélisation de la création et de la suppression dynamique de processus. Nous montrons aussi à travers ce modèle la vérification des critères de correction des processus workflows (la cohérence et la compatibilité). La sémantique des RECATNets traduite en termes de lal ogique de réécriture nous permet le prototypage rapide et la vérification formelle de ces prpriétés à l'aide de l'outil de réccriture Maude. Nous proposons aussi une expension temporelle du modèle des RECATNets pour la repréensation explicite des contraintes de temps liées aux workflows reconfigurables. Pour une analyse complète, nous avons développé une méthode de construction du graphe des classes d'états spécifique aux T-RECATNets que nous avons implémenté dans le cadre de la logique de réécriture.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (428 p.)
  • Annexes : Bibliogr. p. 400-428

Où se trouve cette thèse ?

  • Bibliothèque : Conservatoire national des arts et métiers (Paris). Bibliothèque Centrale.
  • Non disponible pour le PEB
  • Cote : Th A 645
  • Bibliothèque : Conservatoire national des arts et métiers (Paris). Bibliothèque Centrale.
  • Disponible pour le PEB
  • Cote : Th A 645 double
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.