Generative communication in Linda
ACM Transactions on Programming Languages and Systems (TOPLAS)
Design patterns: elements of reusable object-oriented software
Design patterns: elements of reusable object-oriented software
Language Primitives and Type Discipline for Structured Communication-Based Programming
ESOP '98 Proceedings of the 7th European Symposium on Programming: Programming Languages and Systems
Disciplining Orchestration and Conversation in Service-Oriented Computing
SEFM '07 Proceedings of the Fifth IEEE International Conference on Software Engineering and Formal Methods
A flexible and modular framework for implementing infrastructures for global computing
DAIS'05 Proceedings of the 5th IFIP WG 6.1 international conference on Distributed Applications and Interoperable Systems
SCC: a service centered calculus
WS-FM'06 Proceedings of the Third international conference on Web Services and Formal Methods
Sessions and Pipelines for Structured Service Programming
FMOODS '08 Proceedings of the 10th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
Provably Correct Implementations of Services
Trustworthy Global Computing
Calculi for Service-Oriented Computing
Formal Methods for Web Services
Enhanced Coordination in Sensor Networks through Flexible Service Provisioning
COORDINATION '09 Proceedings of the 11th International Conference on Coordination Models and Languages
Dynamic Error Handling in Service Oriented Applications
Fundamenta Informaticae - Application of Concurrency to System Design
SENSORIA results applied to the case studies
Rigorous software engineering for service-oriented systems
Using formal methods to develop WS-BPEL applications
Science of Computer Programming
Servilla: A flexible service provisioning middleware for heterogeneous sensor networks
Science of Computer Programming
An operational semantics of BPEL orchestrations integrating web services resource framework
WS-FM'11 Proceedings of the 8th international conference on Web Services and Formal Methods
Dynamic Error Handling in Service Oriented Applications
Fundamenta Informaticae - Application of Concurrency to System Design
Orchestrating tuple-based languages
TGC'11 Proceedings of the 6th international conference on Trustworthy Global Computing
Hi-index | 0.00 |
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.