Node connectivity is a key aspect of dynamically evolving networks. We address the problem of expressing, and constraining, node connectivity at a linguistic level. We extend the language KLAIM (Kernel Language for Agent Interaction and Mobility), that already provides primitives to explicitly configure the topology of networks, with the notion of clusters of nodes. This feature permits explicitly grouping nodes thus expressing, and constraining, their communication ability: two nodes can interact only if they are in the same cluster. Clusters can be used to model many real situations in a natural way and to easily express a number of basic properties of node connectivity, such as, e.g., locality and distribution of nodes, efficiency, and fault tolerance. However, they do not add expressive power to the language: to some extent, the extended language can be translated into the original one.

Hyperformulae, Paralle Deductions and Intersection Types

Michele LORETI;
2001

Abstract

Node connectivity is a key aspect of dynamically evolving networks. We address the problem of expressing, and constraining, node connectivity at a linguistic level. We extend the language KLAIM (Kernel Language for Agent Interaction and Mobility), that already provides primitives to explicitly configure the topology of networks, with the notion of clusters of nodes. This feature permits explicitly grouping nodes thus expressing, and constraining, their communication ability: two nodes can interact only if they are in the same cluster. Clusters can be used to model many real situations in a natural way and to easily express a number of basic properties of node connectivity, such as, e.g., locality and distribution of nodes, efficiency, and fault tolerance. However, they do not add expressive power to the language: to some extent, the extended language can be translated into the original one.
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: http://hdl.handle.net/11581/404983
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 16
  • ???jsp.display-item.citation.isi??? ND
social impact