Implementing Session Centered Calculi

Bettini, Lorenzo and De Nicola, Rocco and Loreti, Michele Implementing Session Centered Calculi. In: Coordination Models and Languages (COORDINATION 2008). Lecture Notes in Computer Science, 5052 . Springer, pp. 17-32. ISBN 978-3-540-68264-6 (2008)

Preview

PDF - Accepted Version Download (193kB) | Preview

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.

Item Type:	Book Section
Identification Number:	10.1007/978-3-540-68265-3_2
Additional Information:	The original publication is available at www.springerlink.com
Funders:	The work presented in this report has been partially supported by EU Project Software Engineering for Service-Oriented Overlay Computers (SENSORIA, contract IST-3-016004-IP-09) by the MIUR project EOS DUE.
Subjects:	Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Research Area:	Computer Science and Applications
Depositing User:	Rocco De Nicola
Date Deposited:	25 May 2011 13:27
Last Modified:	11 Jul 2011 14:36
URI:	http://eprints.imtlucca.it/id/eprint/279

Actions (login required)

Edit Item