A calculus of mobile processes, II
Information and Computation
Language Primitives and Type Discipline for Structured Communication-Based Programming
ESOP '98 Proceedings of the 7th European Symposium on Programming: Programming Languages and Systems
Multiparty asynchronous session types
Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
ECOWS '07 Proceedings of the Fifth European Conference on Web Services
Session-Based Distributed Programming in Java
ECOOP '08 Proceedings of the 22nd European conference on Object-Oriented Programming
Dynamic Fault Handling Mechanisms for Service-Oriented Applications
ECOWS '08 Proceedings of the 2008 Sixth European Conference on Web Services
Dynamic Error Handling in Service Oriented Applications
Fundamenta Informaticae - Application of Concurrency to System Design
A calculus for orchestration of web services
ESOP'07 Proceedings of the 16th European conference on Programming
A tool for rapid development of WS-BPEL applications
Proceedings of the 2010 ACM Symposium on Applied Computing
COORDINATION'08 Proceedings of the 10th international conference on Coordination models and languages
SOCK: a calculus for service oriented computing
ICSOC'06 Proceedings of the 4th international conference on Service-Oriented Computing
Interface-Based service composition with aggregation
ESOCC'12 Proceedings of the First European conference on Service-Oriented and Cloud Computing
Deadlock-freedom-by-design: multiparty asynchronous global programming
POPL '13 Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Process-aware web programming with Jolie
Proceedings of the 28th Annual ACM Symposium on Applied Computing
| Hi-index | 0.00 |
Correlation sets define a powerful mechanism for routing incoming communications to the correct running session within a server, by inspecting the content of the received messages. We present a language for programming services based on correlation sets taking into account key aspects of service-oriented systems, such as distribution, loose coupling, open-endedness and integration. Distinguishing features of our approach are the notion of correlation aliases and an asynchronous communication model. Our language is equipped with formal syntax, semantics, and a typing system for ensuring desirable properties of programs with respect to correlation sets. We provide an implementation as an extension of the JOLIE language and apply it to a nontrivial real-world example of a fully-functional distributed user authentication system.