Sessions and Pipelines for Structured Service Programming

Autor:	Michele Loreti, Rocco De Nicola, Michele Boreale, Roberto Bruni
Rok vydání:	2008
Předmět:	Pipelines Service (systems architecture) Nested sessions Computer science Programming language Process calculus Service oriented calculi Process calculi SCC CaSPiS Flexibility (personality) computer.software_genre Session (web analytics) Set (abstract data type) Orchestration (computing) computer
Zdroj:	Lecture Notes in Computer Science ISBN: 9783540688624 FMOODS
DOI:	10.1007/978-3-540-68863-1_3
Popis:	Service-oriented computing is calling for novel computational models and languages with primitives for client-server interaction, orchestration and unexpected events handling. We present CaSPiS , a process calculus where the notions of session and pipelining play a central role. Sessions are two-sided and can be equipped with protocols executed by each side. Pipelining permits orchestrating the flow of data produced by different sessions. The calculus is also equipped with operators for handling (unexpected) termination of the partner's side of a session. Several examples are presented to provide evidence for the flexibility of the chosen set of primitives. Our main result shows that in CaSPiS it is possible to program a "graceful termination" of nested sessions, which guarantees that no session is forced to hang forever after the loss of its partner.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_dedup___::68585298c27fd2751098c5a4eaa7aa89 https://doi.org/10.1007/978-3-540-68863-1_3 Zobrazit plný text záznamu