Une approche hybride pour gérer la cohérence dans les environnements de développement coopératif

Abstract : The framework of this thesis is the cooperative software development environment COO. COO uses transactional approach to handle concurrency control problems but it does not provide any guarantee about the quality of the software products. We propose to define constraints in order to have such guarantee. Unfortunately, the classical verification algorithms of constraints are not compatible with the nature of development activities. We define a new verification algorithm which is suitable for cooperative environment . Our results are: a hybrid approach Maïzena which uses semantic knowledge to restrict the accepted execution by the syntactical protocol of COO and allows to enclose cooperation in a security sphere; an algorithm to maintain the consistency of software products. This algorithm maintains constraints defined by temporal formulae. It is implemented in COO environment; a recovery mechanism which allows to split an activity to several ones and to uses cooperation to satisfy constraints.
Document type :
Theses
File URL :
http://docnum.univ-lorraine.fr/prive/SCD_T_1997_0145_SKAF.pdf
Complete list of metadatas

https://hal.univ-lorraine.fr/tel-01747317
Contributor : Thèses Ul <>
Submitted on : Thursday, March 29, 2018 - 10:57:12 AM
Last modification on : Tuesday, January 29, 2019 - 1:21:54 AM

Identifiers

  • HAL Id : tel-01747317, version 1

Collections

Citation

Hala Skaf. Une approche hybride pour gérer la cohérence dans les environnements de développement coopératif. Autre [cs.OH]. Université Henri Poincaré - Nancy 1, 1997. Français. ⟨NNT : 1997NAN10145⟩. ⟨tel-01747317⟩

Share

Metrics

Record views

2