Skip to main content
SpringerLink
Log in

Automata for Analysing Service Contracts

  • Conference paper
  • First Online:
Trustworthy Global Computing (TGC 2014)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 8902))

Included in the following conference series:

Abstract

A novel approach to the formal description of service contracts is presented in terms of automata. We focus on the basic property of guaranteeing that in the multi-party composition of principals each individual gets his requests satisfied, so that the overall composition reaches its goal. Depending on whether requests are satisfied synchronously or asynchronously, we construct an orchestrator that at static time either yields composed services enjoying the required properties or detects the individuals responsible for possible violations. To do that in the asynchronous case we resort to techniques from Operational Research.

This work has been partially supported by the MIUR project Security Horizons and IST-FP7-FET open-IP project ASCENS.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 34.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 44.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. Acciai, L., Boreale, M., Zavattaro, G.: Behavioural contracts with request-response operations. Sci. Comput. Program. 78(2), 248–267 (2013)

    Article  MATH  Google Scholar 

  2. Bartoletti, M., Cimoli, T., Pinna, G.M.: Lending Petri nets and contracts. In: Arbab, F., Sirjani, M. (eds.) FSEN 2013. LNCS, vol. 8161, pp. 66–82. Springer, Heidelberg (2013)

    Chapter  Google Scholar 

  3. Bartoletti, M., Cimoli, T., Zunino, R.: A theory of agreements and protection. In: Basin, D., Mitchell, J.C. (eds.) POST 2013. LNCS, vol. 7796, pp. 186–205. Springer, Heidelberg (2013)

    Chapter  Google Scholar 

  4. Bartoletti, M., Degano, P., Ferrari, G.L.: Planning and verifying service composition. Journal of Computer Security 17(5), 799–837 (2009)

    Google Scholar 

  5. Bartoletti, M., Degano, P., Ferrari, G.L., Zunino, R.: Call-by-contract for service discovery, orchestration and recovery. In: Wirsing, M., Hölzl, M. (eds.) SENSORIA Project. LNCS, vol. 6582, pp. 232–261. Springer, Heidelberg (2011)

    Chapter  Google Scholar 

  6. Bartoletti, M., Tuosto, E., Zunino, R.: Contract-oriented computing in co2. Sci. Ann. Comp. Sci. 22(1), 5–60 (2012)

    MathSciNet  Google Scholar 

  7. Bartoletti, M., Zunino, R.: A logic for contracts. In: Cherubini, A., Coppo, M., Persiano, G. (eds.) ICTCS, pp. 34–37 (2009)

    Google Scholar 

  8. Basile, D., Degano, P., Ferrari, G.-L.: Secure and unfailing services. In: Malyshkin, V. (ed.) PaCT 2013. LNCS, vol. 7979, pp. 167–181. Springer, Heidelberg (2013)

    Chapter  Google Scholar 

  9. Basile, D., Degano, P., Ferrari, G.L., Tuosto, E.: Automata for analysing service contracts. Extended version: http://www.di.unipi.it/~basile/TGC14.pdf

  10. Basile, D., Degano, P., Ferrari, G.L., Tuosto, E.: From orchestration to choreography through Contract Automata. In: ICE (to appear, 2014)

    Google Scholar 

  11. Brand, D., Zafiropulo, P.: On communicating finite-state machines. J. ACM 30(2), 323–342 (1983)

    Article  MATH  MathSciNet  Google Scholar 

  12. Cassandras, C.G., Lafortune, S.: Introduction to Discrete Event Systems. Springer-Verlag New York Inc., Secaucus (2006)

    Google Scholar 

  13. Castagna, G., Dezani-Ciancaglini, M., Padovani, L.: On global types and multi-party session. Logical Methods in Computer Science 8(1) (2012)

    Google Scholar 

  14. Castagna, G., Gesbert, N., Padovani, L.: A theory of contracts for web services. ACM Trans. Program. Lang. Syst. 31(5) (2009)

    Google Scholar 

  15. Castagna, G., Padovani, L.: Contracts for mobile processes. In: Bravetti, M., Zavattaro, G. (eds.) CONCUR 2009. LNCS, vol. 5710, pp. 211–228. Springer, Heidelberg (2009)

    Chapter  Google Scholar 

  16. Deniélou, P.-M., Yoshida, N.: Multiparty compatibility in communicating automata: Characterisation and synthesis of global session types. In: Fomin, F.V., Freivalds, R., Kwiatkowska, M., Peleg, D. (eds.) ICALP 2013, Part II. LNCS, vol. 7966, pp. 174–186. Springer, Heidelberg (2013)

    Chapter  Google Scholar 

  17. Gray, J., Harrison, M.A., Ibarra, O.H.: Two-way pushdown automata. Information and Control 11(1/2), 30–70 (1967)

    Article  MATH  MathSciNet  Google Scholar 

  18. Hemmecke, R., Koppe, M., Lee, J., Weismantel, R.: Nonlinear integer programming. In: Junger, M., Liebling, T.M., Naddef, D., Nemhauser, G.L., Pulleyblank, W.R., Reinelt, G., Rinaldi, G., Wolsey, L.A. (eds.) 50 Years of Integer Programming 1958–2008, pp. 561–618. Springer, Heidelberg (2010)

    Google Scholar 

  19. Honda, K., Yoshida, N., Carbone, M.: Multiparty asynchronous session types. In: Necula, G.C., Wadler, P. (eds.) POPL, pp. 273–284. ACM (2008)

    Google Scholar 

  20. Lange, J., Tuosto, E.: Synthesising choreographies from local session types. In: Koutny, M., Ulidowski, I. (eds.) CONCUR 2012. LNCS, vol. 7454, pp. 225–239. Springer, Heidelberg (2012)

    Chapter  Google Scholar 

  21. OASIS-Technical-Committee: OASIS WSBPEL TC, Web services business process execution language version 2.0 (2007), technical Report, OASIS. http://docs.oasis-open.org/wsbpel/2.0/OS/wsbpel-v2.0-OS.html

Download references

Author information

Authors and Affiliations

  1. Dipartimento di Informatica, Università di Pisa, Pisa, Italy

    Davide Basile, Pierpaolo Degano & Gian Luigi Ferrari

Authors
  1. Davide Basile
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Pierpaolo Degano
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Gian Luigi Ferrari
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Davide Basile .

Editor information

Editors and Affiliations

  1. Department of Computer Science, Saarland University, Saarbrücken, Germany

    Matteo Maffei

  2. Computer Science, University of Leicester, Leicester, United Kingdom

    Emilio Tuosto

Rights and permissions

Reprints and permissions

Copyright information

© 2014 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Basile, D., Degano, P., Ferrari, G. (2014). Automata for Analysing Service Contracts. In: Maffei, M., Tuosto, E. (eds) Trustworthy Global Computing. TGC 2014. Lecture Notes in Computer Science(), vol 8902. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-45917-1_3

Download citation

  • DOI: https://doi.org/10.1007/978-3-662-45917-1_3

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-662-45916-4

  • Online ISBN: 978-3-662-45917-1

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation