| BDL08 (In proceedings)
|
| Author(s) | Lorenzo Bettini, Rocco De Nicola and Michele Loreti |
| Title | « Implementing Session Centered Calculi » |
| In | Coordination Models and Languages (COORDINATION2008) |
| Series | Lecture Notes in Computer Science |
| Editor(s) | Doug Lea and Gianluigi Zavattaro |
| Volume | 5052 |
| Page(s) | 17-32 |
| Year | 2008 |
| Publisher | Springer |
| URL | http://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. |
@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},
}
This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)
