Dynamically EvolvingKlaim Nets.pptVIP

Dynamically EvolvingKlaim Nets Lorenzo Bettinibettini@dsi.unifi.it Joint work withMichele Loreti, Rosario Pugliese Dipartimento di Sistemi ed Informatica, Firenze http://music.dsi.unifi.it Dynamic Infrastructure It evolves over time: New nodes can get connected Existing nodes can disconnect Connections and disconnections can be temporary and unexpected A connection can be established on the fly with wireless devices Ad-hoc paths to services can be establish to enable communication among components Dynamic Infrastructure The assumption that the underlying network is always available may be too strong; Permanent connection may not always be available; The knowledge of the address of a remote host may be not sufficient to communicate with it; Necessity of making Node Connectivity explicit in the language. Communication Layer in Klaim is based on nodes’ location knowledge, is influenced by: Allocation environments; Tuple and Process distribution. Connections and Disconnections Connections and Disconnections Connections and Disconnections Node “Mobility” Clusters SuperProcesses A Cluster is a collection of nodes There can be multiple clusters Two nodes can interact with each other only if they stay in the same cluster SuperProcesses are processes that: Can create new Clusters; Can add or remove their node to Clusters; Cannot move New Actions Create a new cluster: newc(w) Add a node to a cluster: add(c) Remove a node from a cluster: rm(c) Not indexed with a locality They act on the node they are executed on. Example Syntax Connection Modes Tethered mode Disconnected mode Untethered mode Tethered mode WAN connectivity is available Information can be accessed from any point at any time Disconnected mode WAN connectivity is available Users can work offline When online a user works like in Tethered Mode When a user goes online reconciliation and/or notification can be needed. Untethered mode WAN connectivity is unavailable Local-area connectivity may still be available