Skip to main content
SpringerLink
Log in
Book cover

International Conference on Software Engineering and Formal Methods

SEFM 2013: Software Engineering and Formal Methods pp 3–14Cite as

Towards Global and Local Types for Adaptation

  • Conference paper
  • First Online:

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

Abstract

Choreographies allow designers to specify the protocols followed by participants of a distributed interaction. In this context, adaptation may be necessary to respond to external requests or to better suit a changing environment (a self-update). Adapting the behavior of a participant requires to update in a coordinated way possibly all the participants interacting with him. We propose a language able to describe a choreography together with its adaptation strategies, and we discuss the main issues that have to be solved to enable adaptation on a participant code dealing with many interleaved protocols.

This is a preview of subscription content, 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   39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.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

Learn about institutional subscriptions

References

  1. Bravetti, M., Di Giusto, C., Pérez, J.A., Zavattaro, G.: Adaptable processes. Logical Methods Comput. Sci. 8(4), 1–71 (2012)

    Google Scholar 

  2. 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)

    Google Scholar 

  3. Capecchi, S., Giachino, E., Yoshida, N.: Global escape in multiparty sessions. In: FSTTCS. LIPIcs, vol. 8, pp. 338–351. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik (2010)

    Google Scholar 

  4. Carbone, M., Honda, K., Yoshida, N.: Structured communication-centered programming for web services. ACM Trans. Program. Lang. Syst. 34(2), 8 (2012)

    Article  Google Scholar 

  5. Carbone, M., Montesi, F.: Deadlock-freedom-by-design: multiparty asynchronous global programming. In: POPL, pp. 263–274. ACM (2013)

    Google Scholar 

  6. 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)

    Google Scholar 

  7. Castagna, G., Gesbert, N., Padovani, L.: A theory of contracts for web services. In: POPL, pp. 261–272. ACM, New York (2008)

    Chapter  Google Scholar 

  8. Coppo, M., Dezani-Ciancaglini, M., Venneri, B.: Self-adaptive monitors for multiparty sessions. In: PDP (2014) (to appear)

    Google Scholar 

  9. Dalla Preda, M., Lanese, I., Mauro, J., Gabbrielli, M., Giallorenzo, S.: Safe run-time adaptation of distributed applications, 2013. Submitted. Available at http://www.cs.unibo.it/lanese/publications/fulltext/adaptchor2.pdf.gz

  10. Di Giusto, C., Pérez, J.A.: Disciplined structured communications with consistent runtime adaptation. In: SAC, pp. 1913–1918. ACM (2013)

    Google Scholar 

  11. Henriksen, A.S., Nielsen, L., Hildebrandt, T.T., Yoshida, N., Henglein, F.: Trustworthy pervasive healthcare services via multiparty session types. In: Weber, J., Perseil, I. (eds.) FHIES 2012. LNCS, vol. 7789, pp. 124–141. Springer, Heidelberg (2013)

    Google Scholar 

  12. Honda, K., Yoshida, N., Carbone, M.: Multiparty asynchronous session types. In: POPL, pp. 273–284. ACM (2008)

    Google Scholar 

  13. Lanese, I., Bucchiarone, A., Montesi, F.: A framework for rule-dased dynamic adaptation. In: Wirsing, M., Hofmann, M., Rauschmayer, A. (eds.) TGC 2010. LNCS, vol. 6084, pp. 284–300. Springer, Heidelberg (2010)

    Google Scholar 

  14. Lanese, I., Guidi, C., Montesi, F., Zavattaro, G.: Bridging the gap between interaction- and process-oriented choreographies. SEFM, pp. 323–332. IEEE Computer Society, Washington, DC (2008)

    Google Scholar 

  15. Lanese, I., Montesi, F., Zavattaro, G.: Amending choreographies. In: WWV. EPTCS, vol. 123, pp. 34–48. Open Publishing Association (2013)

    Google Scholar 

  16. Lyng, K.M., Hildebrandt, T., Mukkamala, R.R.: From paper based clinical practice guidelines to declarative workflow management. In: ProHealth, BPM 2008 Workshops, pp. 36–43 (2008)

    Google Scholar 

  17. Mukkamala, R.R., Hildebrandt, T., Slaats, T.: Towards trustworthy adaptive case management with dynamic condition response graphs. In: EDOC, pp. 127–136. IEEE (2013)

    Google Scholar 

  18. OMG. Case management model and notation 1.0 - beta 1, January 2013

    Google Scholar 

  19. Swenson, K.D.: Mastering the Unpredictable - How Adaptive Case Management Will Revolutionize the Way That Knowledge Workers Get Things Done. Meghan-Kiffer, Tampa (2010)

    Google Scholar 

Download references

Acknowledgments

This work was partially supported by COST Action IC1201: Behavioural Types for Reliable Large-Scale Software Systems (BETTY). Jorge A. Pérez was partially supported by grants SFRH/BPD/84067/2012 and CITI of the Portuguese Foundation for Science and Technology (FCT).

Author information

Authors and Affiliations

  1. Lab. Focus, University of Bologna/INRIA, Bologna, Italy

    Mario Bravetti, Ivan Lanese, Jacopo Mauro & Gianluigi Zavattaro

  2. IT University of Copenhagen, Copenhagen, Denmark

    Marco Carbone & Thomas Hildebrandt

  3. CITI and Departamento de Informática, FCT - Universidade Nova de Lisboa, Lisboa, Portugal

    Jorge A. Pérez

Authors
  1. Mario Bravetti
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Marco Carbone
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Thomas Hildebrandt
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Ivan Lanese
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Jacopo Mauro
    View author publications

    You can also search for this author in PubMed Google Scholar

  6. Jorge A. Pérez
    View author publications

    You can also search for this author in PubMed Google Scholar

  7. Gianluigi Zavattaro
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Mario Bravetti .

Editor information

Editors and Affiliations

  1. Brunel University, Uxbridge, Middlesex, United Kingdom

    Steve Counsell

  2. Universidad Complutense de Madrid, Madrid, Spain

    Manuel Núñez

Rights and permissions

Reprints and permissions

Copyright information

© 2014 Springer International Publishing Switzerland

About this paper

Cite this paper

Bravetti, M. et al. (2014). Towards Global and Local Types for Adaptation. In: Counsell, S., Núñez, M. (eds) Software Engineering and Formal Methods. SEFM 2013. Lecture Notes in Computer Science(), vol 8368. Springer, Cham. https://doi.org/10.1007/978-3-319-05032-4_1

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-05032-4_1

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-05031-7

  • Online ISBN: 978-3-319-05032-4

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation