Orchestrated session compliance
From MaRDI portal
Publication:347361
DOI10.1016/J.JLAMP.2016.08.002zbMATH Open1353.68023arXiv1508.04849OpenAlexW2963941016MaRDI QIDQ347361FDOQ347361
Authors: Franco Barbanera, Steffen Van Bakel, Ugo de'Liguoro 
Publication date: 30 November 2016
Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)
Abstract: We investigate the notion of orchestrated compliance for client/server interactions in the context of session contracts. Devising the notion of orchestrator in such a context makes it possible to have orchestrators with unbounded buffering capabilities and at the same time to guarantee any message from the client to be eventually delivered by the orchestrator to the server, while preventing the server from sending messages which are kept indefinitely inside the orchestrator. The compliance relation is shown to be decidable by means of 1) a procedure synthesising the orchestrators, if any, making a client compliant with a server, and 2) a procedure for deciding whether an orchestrator behaves in a proper way as mentioned before.
Full work available at URL: https://arxiv.org/abs/1508.04849
Recommendations
Distributed systems (68M14) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cites Work
- A calculus of mobile processes. II
- Contracts as games on event structures
- Automata for analysing service contracts
- Multiparty session types meet communicating automata
- The Must Preorder Revisited
- On Communicating Finite-State Machines
- From orchestration to choreography through contract automata
- Title not available (Why is that?)
- Contract-based discovery of Web services modulo simple orchestrators
- Subtyping for session types in the pi calculus
- Title not available (Why is that?)
- Title not available (Why is that?)
- Sub-behaviour relations for session-based client/server systems
- Modelling session types using contracts
- Decidable topologies for communicating automata with FIFO and bag channels
- Title not available (Why is that?)
- Recursive subtyping revealed
- Title not available (Why is that?)
Cited In (9)
- Compliance in behavioural contracts: a brief survey
- Foundations of Software Science and Computation Structures
- Session types and subtyping for orchestrated interactions
- Abstract Processes in Orchestration Languages
- Retractability, games and orchestrators for session contracts
- Reversible client/server interactions
- A fixed-points based framework for compliance of behavioural contracts
- Automated verification of automata communicating via FIFO and bag buffers
- Title not available (Why is that?)
This page was built for publication: Orchestrated session compliance
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q347361)
