@INPROCEEDINGS{FGS:FORTE2006:JSCL,
  title = {{JSCL: A Middleware for Service Coordination}},
  author = {{Gianluigi} {Ferrari} and {Roberto} {Guanciale} and {Daniele} {Strollo}},
  booktitle = {Proceedings of FORTE 2006, 26th IFIP WG 6.1 International Conference on Formal Methods for Networked and Distributed Systems},
  abstract = {We describe the design of a programming middleware for coordinating services involving mobile devices and intra-net applications. In such scenario, coordination activities require interactions among services distributed over heterogeneous ad-hoc networks that hide their addresses. Our goal is to supply a network programming model addressing interoperability while avoiding centralization. We reach our goal through the introduction of a primitive for the dynamic publication of the same service to several intermediate gateways. In this paper, we discuss the design choices of our middleware. We illustrate the problems posed by relaxing the public addressing schema in the context of service orchestration. Then we present the formal foundations of our approach and we discuss the actual network technologies underlying the prototype implementation.},
  publisher = {Springer Verlag},
  series = {Lecture Notes in Computer Science},
  volume = {4229},
  year = {2006},
  url = {http://www.di.unipi.it/~giangi/forte06.pdf},
  partner = {PISA},
  status = {public},
  task = {T2.1},
}