%0 Conference Proceedings
%T Retractable and Speculative Contracts
%+ Università degli studi di Catania = University of Catania (Unict)
%+ Foundations of Component-based Ubiquitous Systems (FOCUS)
%+ Dipartimento di Informatica [Torino]
%A Barbanera, Franco
%A Lanese, Ivan
%A de 'Liguoro, Ugo
%Z Part 3: Types
%< avec comité de lecture
%( Lecture Notes in Computer Science
%B 19th International Conference on Coordination Languages and Models (COORDINATION)
%C Neuchâtel, Switzerland
%Y Jean-Marie Jacquet
%Y Mieke Massink
%I Springer
%3 Coordination Models and Languages
%V 10319
%P 119-137
%8 2017-06-19
%D 2017
%R 10.1007/978-3-319-59746-1_7
%Z Computer Science [cs]/Programming Languages [cs.PL]
%Z Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]Conference papers
%X Behavioral contracts are abstract descriptions of the communications that clients and servers perform. Behavioral contracts come naturally equipped with a notion of compliance: when a client and a server follow compliant contracts, their interaction is guaranteed to progress or successfully complete. We study two extensions of contracts, dealing respectively with backtracking and with speculative execution. We show that the two extensions give rise to the same notion of compliance. As a consequence, they also give rise to the same subcontract relation, which determines when one server can be replaced by another preserving compliance. Moreover, compliance and subcontract relation are both decidable in polynomial time.
%G English
%Z TC 6
%Z WG 6.1
%2 https://inria.hal.science/hal-01633262/document
%2 https://inria.hal.science/hal-01633262/file/mainCOORD.pdf
%L hal-01633262
%U https://inria.hal.science/hal-01633262
%~ INRIA
%~ INRIA-SOPHIA
%~ INRIASO
%~ OPENAIRE
%~ INRIA_TEST
%~ TESTALAIN1
%~ IFIP-LNCS
%~ IFIP
%~ INRIA2
%~ IFIP-TC
%~ IFIP-WG
%~ IFIP-TC6
%~ IFIP-WG6-1
%~ IFIP-COORDINATION
%~ INRIA2017
%~ IFIP-LNCS-10319
%~ UNIV-COTEDAZUR