Environnements de développement coopératifs

par Pascal Molli

Thèse de doctorat en Sciences appliquées

Sous la direction de Claude Godart.

Soutenue en 1996

à Nancy 1 .


  • Résumé

    Cette thèse s’inscrit de manière générale dans le cadre de la conception et la réalisation d’environnements de développement coopératifs. Nous montrons comment, en utilisant un modèle transactionnel, nous pouvons supporter des exécutions non plus concurrentes mais coopératives d'activités de développement. D'une manière générale, nous voulons garantir aux utilisateurs la propriété suivante : si individuellement ils font correctement leur travail, alors ensemble, ils produiront des résultats cohérents sans avoir à se préoccuper des problèmes de concurrence d’accès. Notre thèse se situe à l'intersection des domaines du génie logiciel et des systèmes transactionnels. Nous proposons un nouveau modèle transactionnel supportant les exécutions coopératives d’activités de développement sans faire appel à la connaissance des procédés de fabrication. Ceci est en opposition avec tous les travaux relatifs en ce domaine. Nos résultats sont les suivants : 1. Deux critères de correction des exécutions coopératives : la CS-sérialisabilité et la COO-sérialisabilité. Ces critères fixent des règles à respecter pour entrelacer correctement des opérations de lecture/ écriture sur des résultats intermédiaires et finaux. 2. Un protocole permettant d'évaluer de manière incrémentale ces critères. Ce protocole est validé par une implantation au sein de l'environnement COO développé par le groupe ECOO au CRIN.


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (137 p.)
  • Annexes : Bibliogr. (52 réf.)

Où se trouve cette thèse ?

  • Bibliothèque : Université de Lorraine (Villers-lès-Nancy, Meurthe-et-Moselle). Direction de la Documentation et de l'Edition - BU Sciences et Techniques.
  • Accessible pour le PEB
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.