Formalizing Visibility Characteristics in Hierarchical Systems

Debmalya Biswas 1 Krishnamurthy Vidyasankar 2
1 DISTRIBCOM - Distributed and Iterative Algorithms for the Management of Telecommunications Systems
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
Abstract : We consider hierarchical systems where nodes represent entities and edges represent binary relationships among them. An example is a hierarchical composition of Web services where the nodes denote services and edges represent the parent-child relationship of a service invoking another service. A fundamental issue to address in such systems is, for two nodes X and Y in the hierarchy whether X can see Y , that is, whether X has visibility over Y . In a general setting, X seeing Y may depend on (i) X wishing to see Y , (ii) Y wishing to be seen by X, and (iii) other nodes not objecting to X seeing Y . The visibility could be with respect to certain attributes like operational details, execution logs, security related issues, etc. In this paper, we develop a generic conceptual model to express visibility. We study two complementary notions: sphere of visibility of a node X that includes all the nodes in the hierarchy that X can see; and sphere of noticeability of X that includes all the nodes that can see X. We also identify dual properties, coherence and correlation, that relate the visibility and noticeability notions, and study their variants.
Type de document :
Rapport
[Research Report] RR-6225, INRIA. 2007
Liste complète des métadonnées

Littérature citée [15 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00156525
Contributeur : Rapport de Recherche Inria <>
Soumis le : jeudi 21 juin 2007 - 15:57:50
Dernière modification le : mercredi 11 avril 2018 - 01:52:03
Document(s) archivé(s) le : mardi 21 septembre 2010 - 13:32:25

Fichiers

RR-6225.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00156525, version 2

Citation

Debmalya Biswas, Krishnamurthy Vidyasankar. Formalizing Visibility Characteristics in Hierarchical Systems. [Research Report] RR-6225, INRIA. 2007. 〈inria-00156525v2〉

Partager

Métriques

Consultations de la notice

277

Téléchargements de fichiers

85