An infrastructure language for Open Nets

1
An infrastructure language for Open Nets
Dipartimento di Sistemi e InformaticaUniversità
di Firenzehttp//music.dsi.unifi.it

• Michele Loreti
• Joint work with
• Lorenzo Bettini and Rosario Pugliese

2
Open nets...

• These are highly reconfigurable
• new nodes can get connected
• existing nodes can disconnect
• Connection and disconnection can be
• temporary
• unexpected
• New connections can be established on-the-fly

3
New family of constructs...

• Designed for expressing dynamic evolution of open
  nets
• Largely independent of any programming language
• These are put in concrete form by focusing their
  integration with Klaim

4
Klaim Kernel Language for Agent Interaction and
Mobility

• Linda based communication model
• Asynchronous communication
• Via tuple space.
• Explicit use of localities
• Multiple distributed tuple spaces.
• Possibility of code mobility.

5
Linda Communication Model

• Tuples (foo, 105, !x)
• Formal Fields
• Actual Fields
• Pattern Matching
• Formal fields match any field of the same type
• Actual fields match if identical
• (foo, 105, true) matches (!s, 15, !b)

6
Klaim Nodes

• Name (phys. loc.)

• Processes

• Tuple space

• Environment

• Gateways

S

s1
7
Klaim Nets
S4

S2
S3

S1
8
Klaim Nets
S2
S1
9
The infrastructure language

• New class of processes ( ) that
• can perform new special actions
• do not move
• model the network-interface of operating system

10
Dynamic evolution.... (1)
S4

S2
S1
11
Dynamic evolution.... (2)
s2 is rem.
S4

S2
S3

S1
12
An example a chat system

• The chat system is made of
• a server that
• dispatches messages
• accepts connections
• and clients connected to it
• logical localities are used for nicknames

13
Basic functionality...
14
Send receive messages...
15
Conclusions...

• The proposed framework
• is general
• Easy integration with Dp or Djoin
• Hard integration with Ambient
• closes the gap between Klaim and its
  implementation X-Klaim