Presentation on theme: "An infrastructure language for Open Nets Michele Loreti Joint work with: Lorenzo Bettini and Rosario Pugliese Dipartimento di Sistemi e Informatica Università."— Presentation transcript:
An infrastructure language for Open Nets Michele Loreti Joint work with: Lorenzo Bettini and Rosario Pugliese Dipartimento di Sistemi e Informatica Università di Firenze http://music.dsi.unifi.it
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
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
KlaimKLA IM 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.
Linda Communication Model Tuples (“foo”, 10+5, !x) Formal Fields Actual Fields Pattern Matching: Formal fields match any field of the same type Actual fields match if identical (“foo”, 10+5, true) matches (!s, 15, !b)
s1s1 Klaim Nodes P 11 TS Name (phys. loc.) Tuple space Processes Environment Gateways S