eprintid: 279 rev_number: 13 eprint_status: archive userid: 32 dir: disk0/00/00/02/79 datestamp: 2011-05-25 13:27:57 lastmod: 2011-07-11 14:36:25 status_changed: 2011-05-25 13:27:57 type: book_section metadata_visibility: show item_issues_count: 0 creators_name: Bettini, Lorenzo creators_name: De Nicola, Rocco creators_name: Loreti, Michele creators_id: creators_id: r.denicola@imtlucca.it creators_id: title: Implementing Session Centered Calculi ispublished: pub subjects: QA75 divisions: CSA full_text_status: public note: The original publication is available at www.springerlink.com 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. date: 2008 date_type: published series: Lecture Notes in Computer Science volume: 5052 publisher: Springer pagerange: 17-32 id_number: 10.1007/978-3-540-68265-3_2 refereed: TRUE isbn: 978-3-540-68264-6 book_title: Coordination Models and Languages (COORDINATION 2008) editors_name: Lea, Doug editors_name: Zavattaro, Gianluigi official_url: http://dx.doi.org/10.1007/978-3-540-68265-3_2 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. citation: 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) document_url: http://eprints.imtlucca.it/279/1/jcaspis2008a.pdf