A Formal Framework for Process Interoperability in Dynamic Collaboration Environments

Résumé : Concevoir les produits complexes tels que les avions, les hélicoptères, et les lanceurs requière l'utilisation de processus standardisés ayant des fondements robustes. Ces processus doivent être exécutés dans le contexte d'environnements collaboratifs interorganisationnels souvent dynamiques. Dans ce manuscrit, nous présentons un cadre formel qui assure une interopérabilité continue dans le temps pour les processus inter-organisationnels dans les environnements dynamiques. Nous proposons un langage de modélisation déclaratif pour définir des contrats qui capturent les objectifs de chaque partenaire intervenant dans la collaboration. Les modèles de contrats construits avec ce langage sous-spécifient les objectifs de la collaboration en limitant les détails capturés durant la phase de construction du contrat. Cette sous-spécification réduit le couplage entre les partenaires de la collaboration. Néanmoins, moins de couplage implique l'apparition de certaines inadéquations quand les processus des partenaires vont s'échanger des messages lors de la phase d'exécution. Par conséquent, nous développons un algorithme de médiation automatique qui est bien adapté pour les environnements dynamiques. Nous conduisons des évaluations de performance sur cet algorithme qui vont démontrer son efficience par rapport aux approches de médiation existantes. Ensuite, nous étendons notre cadre avec un ensemble d'opérations d'administration qui permettent la réalisation de modifications sur l'environnement collaboratif. Nous développons un algorithme qui évalue l'impact des modifications sur les partenaires. Cet algorithme va ensuite décider si la modification doit être réalisée à l'instant ou bien retardée en attendant que des conditions appropriées sur la configuration de l'environnement dynamique soient satisfaites. Pour savoir comment atteindre ces conditions, nous utilisons l'algorithme de planning à base de graphe. Cet algorithme détermine l'ensemble des opérations qui doivent être exécutées pour atteindre ces conditions
Type de document :
Thèse
Computational Complexity [cs.CC]. Université Claude Bernard - Lyon I, 2014. English. <NNT : 2014LYO10272>
Liste complète des métadonnées


https://tel.archives-ouvertes.fr/tel-01199623
Contributeur : Abes Star <>
Soumis le : mardi 15 septembre 2015 - 16:57:08
Dernière modification le : mardi 15 décembre 2015 - 01:35:00
Document(s) archivé(s) le : mardi 29 décembre 2015 - 07:20:43

Fichier

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

Identifiants

  • HAL Id : tel-01199623, version 1

Collections

Citation

Malik Khalfallah. A Formal Framework for Process Interoperability in Dynamic Collaboration Environments. Computational Complexity [cs.CC]. Université Claude Bernard - Lyon I, 2014. English. <NNT : 2014LYO10272>. <tel-01199623>

Partager

Métriques

Consultations de
la notice

234

Téléchargements du document

376