Visibilité en systèmes hiérarchiques

par Debmalya Biswas

Thèse de doctorat en Informatique

Sous la direction de Albert Benveniste.

Soutenue en 2009

à Rennes 1 .

  • Titre traduit

    Visibility in hierarchical systems


  • Résumé

    Les modèles hiérarchiques fournissent un élégant mécanisme d'analyse à différents niveaux d'abstraction. Ils sont habituellement construits dans une approche top-down ou bottom-up, niveau par niveau. En conséquence, par construction, la visibilité des entités dans un système hiérarchique est limitée aux niveaux adjacents (parent-enfant). Cette visibilité n'est souvent pas suffisante pour modèliser tous les scenarios de la vie réelle. D'autre part, une interaction arbitraire, sans aucune restriction, n'est pas une solution acceptable, en raison souvent de préoccupations en matière de sécurité. Dans cette thèse, nous nous adressons à deux sous-problèmes de la visibilité de systèmes hiérarchiques. Tout d'abord, nous considérons le problème de la définition d'un modèle de visibilité, compte tenu des exigences et des restrictions des différentes entités dans une hiérarchie. Nous présentons des modèles de visibilité à base de graphes pour deux types de systèmes hiérarchiques: les Communautés P2P et les services Web compositionnels. Deuxièmement, nous nous intéressons au problème orthogonal de déterminer la visibilité dans la hiérarchie pour qu'une propriété particulière soit satisfaite. Nous donnons des algorithmes pour calculer la visibilité minimale requise pour une hiérarchie de services Web compositionnels afin de fournir la propriété de l'atomicité des opérations. Cette visibilité minimale est calculée à la fois de manière absolue et de manière approchée.


  • Résumé

    Hierarchical systems provide an elegant mechanism to analyze system functionality at different levels of abstraction. They are usually constructed in a top-down or bottom-up fashion level by level. As a result, by construction, visibility of entities in a hierarchical system is restricted to adjacent (parent-child) levels. Such restricted visibility is often not sufficient for real-life scenarios. On the other hand, allowing arbitrary interaction among the hierarchical entities, without any restrictions, is not an acceptable solution either due to security concerns. In this thesis, we address two sub-problems of the visibility issue in hierarchical systems. First, we consider the problem of defining a visibility model, given the visibility requirements and restrictions of the different entities in a hierarchy. We present graph based visibility models for two specific hierarchical systems: P2P Communities and Web services compositions. Second, we deal with the orthogonal problem of determining the visibility requirements of the given hierarchy such that a specific property holds. We give both absolute and approximate algorithms to determine the minimal visibility required by a hierarchical Web services composition to provide the property of transactional atomicity.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (171 p.)
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliogr. p. 161-167

Où se trouve cette thèse ?

  • Bibliothèque : Université de Rennes I. Service commun de la documentation. Section sciences et philosophie.
  • Disponible pour le PEB
  • Cote : TA RENNES 2009/16
  • Bibliothèque : Centre de recherche INRIA Rennes - Bretagne Atlantique. Service IST.
  • PEB soumis à condition
  • Cote : D.4 - BIS
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.