Skip to main content

Advertisement

SpringerLink
Log in
Menu
Find a journal Publish with us
Search
Cart
Book cover

International Conference on Coordination Languages and Models

COORDINATION 2012: Coordination Models and Languages pp 245–260Cite as

  1. Home
  2. Coordination Models and Languages
  3. Conference paper
On the Realizability of Contracts in Dishonest Systems

On the Realizability of Contracts in Dishonest Systems

  • Massimo Bartoletti17,
  • Emilio Tuosto18 &
  • Roberto Zunino19 
  • Conference paper
  • 586 Accesses

  • 11 Citations

Part of the Lecture Notes in Computer Science book series (LNPSE,volume 7274)

Abstract

We develop a theory of contracting systems, where behavioural contracts may be violated by dishonest participants after they have been agreed upon — unlike in traditional approaches based on behavioural types. We consider the contracts of [10], and we embed them in a calculus that allows distributed participants to advertise contracts, reach agreements, query the fulfilment of contracts, and realise them (or choose not to). Our contract theory makes explicit who is culpable at each step of a computation. A participant is honest in a given context S when she is not culpable in each possible interaction with S. Our main result is a sufficient criterion for classifying a participant as honest in all possible contexts.

Keywords

  • Latent Contract
  • Online Store
  • Bilateral Contract
  • Process Calculus
  • External Choice

These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Download conference paper PDF

References

  1. Artikis, A., Sergot, M.J., Pitt, J.V.: Specifying norm-governed computational societies. ACM Trans. Comput. Log. 10(1) (2009)

    Google Scholar 

  2. Bartoletti, M., Tuosto, E., Zunino, R.: Contracts in distributed systems. In: ICE (2011)

    Google Scholar 

  3. Bartoletti, M., Tuosto, E., Zunino, R.: On the Realizability of Contracts in Dishonest Systems. In: COORDINATION 2012. LNCS, vol. 7274, pp. 245–260. Springer, Heidelberg (2012)

    Google Scholar 

  4. Bartoletti, M., Zunino, R.: A calculus of contracting processes. In: LICS (2010)

    Google Scholar 

  5. Bocchi, L., Honda, K., Tuosto, E., Yoshida, N.: A Theory of Design-by-Contract for Distributed Multiparty Interactions. In: Gastin, P., Laroussinie, F. (eds.) CONCUR 2010. LNCS, vol. 6269, pp. 162–176. Springer, Heidelberg (2010)

    CrossRef  Google Scholar 

  6. Bravetti, M., Zavattaro, G.: Towards a Unifying Theory for Choreography Conformance and Contract Compliance. In: Lumpe, M., Vanderperren, W. (eds.) SC 2007. LNCS, vol. 4829, pp. 34–50. Springer, Heidelberg (2007)

    CrossRef  Google Scholar 

  7. Buscemi, M.G., Coppo, M., Dezani-Ciancaglini, M., Montanari, U.: Constraints for service contracts. In: TGC (2011) (to appear)

    Google Scholar 

  8. Buscemi, M.G., Montanari, U.: CC-Pi: A Constraint-Based Language for Specifying Service Level Agreements. In: De Nicola, R. (ed.) ESOP 2007. LNCS, vol. 4421, pp. 18–32. Springer, Heidelberg (2007)

    CrossRef  Google Scholar 

  9. Carpineti, S., Laneve, C.: A Basic Contract Language for Web Services. In: Sestoft, P. (ed.) ESOP 2006. LNCS, vol. 3924, pp. 197–213. Springer, Heidelberg (2006)

    CrossRef  Google Scholar 

  10. Castagna, G., Gesbert, N., Padovani, L.: A theory of contracts for web services. ACM Transactions on Programming Languages and Systems 31(5) (2009)

    Google Scholar 

  11. Dam, M.: On the Decidability of Process Equivalences for the π-calculus. Theoretical Computer Science 183(2), 215–228 (1997)

    CrossRef  MathSciNet  MATH  Google Scholar 

  12. Degano, P., Priami, C.: Enhanced operational semantics. ACM Comput. Surv. 33(2), 135–176 (2001)

    CrossRef  MathSciNet  Google Scholar 

  13. Emerson, E.A.: Temporal and modal logic. In: Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B). North-Holland Pub. Co./MIT Press (1990)

    Google Scholar 

  14. Honda, K., Yoshida, N., Carbone, M.: Multiparty asynchronous session types. In: POPL (2008)

    Google Scholar 

  15. Prisacariu, C., Schneider, G.: A Formal Language for Electronic Contracts. In: Bonsangue, M.M., Johnsen, E.B. (eds.) FMOODS 2007. LNCS, vol. 4468, pp. 174–189. Springer, Heidelberg (2007)

    CrossRef  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dipartimento di Matematica e Informatica, Università degli Studi di Cagliari, Italy

    Massimo Bartoletti

  2. Department of Computer Science, University of Leicester, UK

    Emilio Tuosto

  3. DISI, Università di Trento and COSBI, Italy

    Roberto Zunino

Authors
  1. Massimo Bartoletti
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Emilio Tuosto
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Roberto Zunino
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. School of Computer Science, Reykjavik University, Menntavegur 1, 101, Reykjavik, Iceland

    Marjan Sirjani

Rights and permissions

Reprints and Permissions

Copyright information

© 2012 IFIP International Federation for Information Processing

About this paper

Cite this paper

Bartoletti, M., Tuosto, E., Zunino, R. (2012). On the Realizability of Contracts in Dishonest Systems. In: Sirjani, M. (eds) Coordination Models and Languages. COORDINATION 2012. Lecture Notes in Computer Science, vol 7274. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-30829-1_17

Download citation

  • .RIS
  • .ENW
  • .BIB
  • DOI: https://doi.org/10.1007/978-3-642-30829-1_17

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-30828-4

  • Online ISBN: 978-3-642-30829-1

  • eBook Packages: Computer ScienceComputer Science (R0)

Share this paper

Anyone you share the following link with will be able to read this content:

Sorry, a shareable link is not currently available for this article.

Provided by the Springer Nature SharedIt content-sharing initiative

Search

Navigation

  • Find a journal
  • Publish with us

Discover content

  • Journals A-Z
  • Books A-Z

Publish with us

  • Publish your research
  • Open access publishing

Products and services

  • Our products
  • Librarians
  • Societies
  • Partners and advertisers

Our imprints

  • Springer
  • Nature Portfolio
  • BMC
  • Palgrave Macmillan
  • Apress
  • Your US state privacy rights
  • Accessibility statement
  • Terms and conditions
  • Privacy policy
  • Help and support

167.114.118.210

Not affiliated

Springer Nature

© 2023 Springer Nature