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 

BDL08 (In proceedings)
Author(s) Lorenzo Bettini, Rocco De Nicola and Michele Loreti
Title« Implementing Session Centered Calculi »
InCoordination Models and Languages (COORDINATION2008)
SeriesLecture Notes in Computer Science
Editor(s) Doug Lea and Gianluigi Zavattaro
Volume5052
Page(s)17-32
Year2008
PublisherSpringer
URLhttp://rap.dsi.unifi.it/sensoria/files/jcaspis.pdf
Abstract
Recently, specific attention has been devoted to the development of service oriented process calculi. Besides the foundational aspects, it is also interesting to have prototype implementations for them in order to assess usability and to minimize the gap between theory and practice. Typically, these implementations are done in Java taking advantage of its mechanisms supporting network applications. However, most of the recurrent features of service oriented applications are re-implemented from scratch. In this paper we show how to implement a service oriented calculus, CaSPiS (Calculus of Services with Pipelines and Sessions) using the Java framework IMC, where recurrent mechanisms for network applications are already provided. By using the session oriented and pattern matching communication mechanisms provided by IMC, it is relatively simple to implement in Java all CaSPiS abstractions and thus to easily write the implementation in Java of a CaSPiS process.

BibTeX code

@inproceedings{BDL08,
  volume = {5052},
  author = {Bettini, Lorenzo and De Nicola, Rocco and Loreti, Michele},
  series = {Lecture Notes in Computer Science},
  booktitle = {Coordination Models and Languages (COORDINATION2008)},
  editor = {Doug Lea and Gianluigi Zavattaro},
  url = {http://rap.dsi.unifi.it/sensoria/files/jcaspis.pdf},
  title = {{Implementing Session Centered Calculi}},
  abstract = {Recently, specific attention has been devoted to the development
              of service oriented process calculi. Besides the foundational
              aspects, it is also interesting to have prototype implementations
              for them in order to assess usability and to minimize the gap
              between theory and practice. Typically, these implementations are
              done in Java taking advantage of its mechanisms supporting network
              applications. However, most of the recurrent features of service
              oriented applications are re-implemented from scratch. In this
              paper we show how to implement a service oriented calculus, CaSPiS
              (Calculus of Services with Pipelines and Sessions) using the Java
              framework IMC, where recurrent mechanisms for network applications
              are already provided. By using the session oriented and pattern
              matching communication mechanisms provided by IMC, it is
              relatively simple to implement in Java all CaSPiS abstractions and
              thus to easily write the implementation in Java of a CaSPiS
              process. },
  publisher = {Springer},
  year = {2008},
  pages = {17-32},
}


 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!