Implementing Session Centered Calculi

12 years 5 months ago
Implementing Session Centered Calculi
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 o implement in Java all CaSPiS abstractions and thus to easily write the implementation in Java of a CaSPiS process.
Lorenzo Bettini, Rocco De Nicola, Michele Loreti
Added 18 Oct 2010
Updated 18 Oct 2010
Type Conference
Year 2008
Authors Lorenzo Bettini, Rocco De Nicola, Michele Loreti
Comments (0)