Chronological Overview 
 Type-Hierarchical Overview 
Formal Methods in Computing
(Most of the papers antecedent to 1995
are not included in the list)
FRAMES  NO FRAME 

BLP02 (In proceedings)
Author(s) Lorenzo Bettini, Michele Loreti and Rosario Pugliese
Title« An Infrastructure Language for Open Nets »
InProc. of SAC, Special Track on Coordination Models, Languages and Applications
Page(s)373-377
Year2002
PublisherACM Press
URLhttp://music.dsi.unifi.it/papers/SAC02-open-nets.ps.gz
Abstract
The structure of open nets, like the Internet, is highly dynamic, as the topology of component networks continuously evolves. In this context, node connectivity is a key aspect and a language for distributed network-aware mobile applications should provide explicit mechanisms to handle it. In this paper, we address the problem of expressing dynamic changes of node connectivity at linguistic level and, in particular, we focus on a slight extension of the language Klaim, that is targeted to this aim. The extension consists of the introduction of a new category of processes that, in addition to the standard process operations, can execute a few new coordination operations for establishing new connections, accepting connection requests and removing connections. Our extension puts forward a clean separation between the coordinator level and the user level and, hence, it is modular enough to be easily applicable also to other network-aware languages. We will also show that our approach can be used as a guide for actual distributed (i.e. without a single centralized server) implementations of mobile systems.

BibTeX code

@inproceedings{BLP02,
  author = {Bettini, Lorenzo and Loreti, Michele and Pugliese, Rosario},
  booktitle = {Proc. of SAC, Special Track on Coordination Models, Languages and
               Applications},
  url = {http://music.dsi.unifi.it/papers/SAC02-open-nets.ps.gz},
  abstract = {The structure of open nets, like the Internet, is highly dynamic,
              as the topology of component networks continuously evolves. In
              this context, node connectivity is a key aspect and a language for
              distributed network-aware mobile applications should provide
              explicit mechanisms to handle it. In this paper, we address the
              problem of expressing dynamic changes of node connectivity at
              linguistic level and, in particular, we focus on a slight
              extension of the language Klaim, that is targeted to this aim. The
              extension consists of the introduction of a new category of
              processes that, in addition to the standard process operations,
              can execute a few new coordination operations for establishing new
              connections, accepting connection requests and removing
              connections. Our extension puts forward a clean separation between
              the coordinator level and the user level and, hence, it is modular
              enough to be easily applicable also to other network-aware
              languages. We will also show that our approach can be used as a
              guide for actual distributed (i.e. without a single centralized
              server) implementations of mobile systems.},
  title = {{An Infrastructure Language for Open Nets}},
  publisher = {ACM Press},
  year = {2002},
  pages = {373-377},
}


 Chronological Overview 
 Type-Hierarchical Overview 
Formal Methods in Computing
(Most of the papers antecedent to 1995
are not included in the list)
FRAMES  NO FRAME 

This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)

Valid HTML 4.01!