Mercredi 18 Mai


Retour à la vue des calendrier
Mercredi 18 Mai
Heure: 14:00 - 15:00
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: Vers la conception formelle de systèmes d’édition collaborative consistants
Description: Hanifa Boucheneb Les systèmes d’édition collaborative permettent à un groupe d’utilisateurs de partager et modifier des objets (textes, images, d ocuments XML, etc.) via le Web. Pour une meilleure réactivité aux opérations d’édition, ces systèmes sont en général basés sur la réplication des données. Chaque utilisateur a donc sa propre copie (locale) de l’objet qu’il peut modifier. Les modifications (opérations) locales sont ensuite propagées et intégrées aux autres copies. Un des défis majeurs de ces systèmes est d’assurer la consistance des données répliquées. Ce séminaire présentera et discutera les principales approches d’intégration des modifications non locales, proposées dans littérature. Il considérera ensuite les approches basées sur la transformation des opérations (OT) et montrera comment utiliser les méthodes formelles (model-checking symbolique et synthèse de contrôleur) pour vérifier si une approche OT assure la consistance des données répliquées et synthétiser une approche OT qui assure la consistance des données répliquées.