Honesty by Typing

Conference object, Preprint English OPEN
Bartoletti , Massimo ; Scalas , Alceste ; Tuosto , Emilio ; Zunino , Roberto (2013)
  • Publisher: Springer
  • Related identifiers: doi: 10.2168/LMCS-12(4:7)2016, doi: 10.1007/978-3-642-38592-6_21
  • Subject: [ INFO.INFO-NI ] Computer Science [cs]/Networking and Internet Architecture [cs.NI] | Computer Science - Programming Languages | [ INFO ] Computer Science [cs] | D.2.4 | D.3.1 | D.3.2 | F.3.2 | F.3.1

We propose a type system for a calculus of contracting processes. Processes can establish sessions by stipulating contracts, and then can interact either by keeping the promises made, or not. Type safety guarantees that a typeable process is honest - that is, it abides ... View more
  • References (16)
    16 references, page 1 of 2

    [1] M. Bartoletti, E. Tuosto, and R. Zunino. Contracts in distributed systems. In ICE, 2011.

    [2] M. Bartoletti, E. Tuosto, and R. Zunino. On the realizability of contracts in dishonest systems. In Proc. COORDINATION, 2012.

    [3] M. Bartoletti, E. Tuosto, and R. Zunino. Contract-oriented computing in CO2. Scientific Annals in Computer Science, 22(1):5-60, 2012.

    [4] L. Bettini, M. Coppo, L. D'Antoni, M. De Luca, M. DezaniCiancaglini, and N. Yoshida. Global Progress in Dynamically Interleaved Multiparty Sessions. In CONCUR'08, volume 5201 of LNCS, pages 418-433. Springer, 2008.

    [5] L. Bocchi, K. Honda, E. Tuosto, and N. Yoshida. A theory of designby-contract for distributed multiparty interactions. In CONCUR, 2010.

    [6] M. Bravetti and G. Zavattaro. Towards a unifying theory for choreography conformance and contract compliance. In Software Composition, 2007.

    [7] M. Bravetti and G. Zavattaro. Contract-based discovery and composition of web services. In Formal Methods for Web Services, volume 5569 of LNCS, pages 261-295. Springer Berlin / Heidelberg, 2009. ISBN 978-3-642-01917-3.

    [8] M. Buscemi, M. Coppo, M. Dezani-Ciancaglini, and U. Montanari. Constraints for service contracts. In TGC, 2011. To appear.

    [9] M. G. Buscemi and U. Montanari. CC-Pi: A constraint-based language for specifying service level agreements. In ESOP, 2007.

    [10] S. Carpineti, G. Castagna, C. Laneve, and L. Padovani. A formal account of contracts for web services. In WS-FM, 2006.

  • Metrics
    No metrics available
Share - Bookmark