Orchestrated Session Compliance
Copyright policy )Orchestrated Session Compliance
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.
In Proceedings ICE 2015, arXiv:1508.04595
FOS: Computer and information sciences, Computer Science - Logic in Computer Science, subcontract, QA75.5-76.95, F.1.2; F.3.1; F.3.3, Distributed systems, compliance, 004, session contracts, Logic in Computer Science (cs.LO), Compliance; Orchestration; Session contracts; Subcontract, Electronic computers. Computer science, Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.), QA1-939, orchestration, F.3.3, F.1.2, F.3.1, Mathematics
FOS: Computer and information sciences, Computer Science - Logic in Computer Science, subcontract, QA75.5-76.95, F.1.2; F.3.1; F.3.3, Distributed systems, compliance, 004, session contracts, Logic in Computer Science (cs.LO), Compliance; Orchestration; Session contracts; Subcontract, Electronic computers. Computer science, Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.), QA1-939, orchestration, F.3.3, F.1.2, F.3.1, Mathematics
selected citations These citations are derived from selected sources.This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).6 popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.Average influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).Average impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.Average
Citations provided by BIP!Popularity provided by BIP!