Towards Global and Local Types for Adaptation

  • Mario BravettiEmail author
  • Marco Carbone
  • Thomas Hildebrandt
  • Ivan Lanese
  • Jacopo Mauro
  • Jorge A. Pérez
  • Gianluigi Zavattaro
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 8368)


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.


Service Composition Label Transition System Behavioral Type Nondeterministic Choice Endpoint Specification 
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.



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


  1. 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. 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. 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. 4.
    Carbone, M., Honda, K., Yoshida, N.: Structured communication-centered programming for web services. ACM Trans. Program. Lang. Syst. 34(2), 8 (2012)CrossRefGoogle Scholar
  5. 5.
    Carbone, M., Montesi, F.: Deadlock-freedom-by-design: multiparty asynchronous global programming. In: POPL, pp. 263–274. ACM (2013)Google Scholar
  6. 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. 7.
    Castagna, G., Gesbert, N., Padovani, L.: A theory of contracts for web services. In: POPL, pp. 261–272. ACM, New York (2008)CrossRefGoogle Scholar
  8. 8.
    Coppo, M., Dezani-Ciancaglini, M., Venneri, B.: Self-adaptive monitors for multiparty sessions. In: PDP (2014) (to appear)Google Scholar
  9. 9.
    Dalla Preda, M., Lanese, I., Mauro, J., Gabbrielli, M., Giallorenzo, S.: Safe run-time adaptation of distributed applications, 2013. Submitted. Available at
  10. 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. 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. 12.
    Honda, K., Yoshida, N., Carbone, M.: Multiparty asynchronous session types. In: POPL, pp. 273–284. ACM (2008)Google Scholar
  13. 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. 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. 15.
    Lanese, I., Montesi, F., Zavattaro, G.: Amending choreographies. In: WWV. EPTCS, vol. 123, pp. 34–48. Open Publishing Association (2013)Google Scholar
  16. 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. 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. 18.
    OMG. Case management model and notation 1.0 - beta 1, January 2013Google Scholar
  19. 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

Copyright information

© Springer International Publishing Switzerland 2014

Authors and Affiliations

  • Mario Bravetti
    • 1
    Email author
  • Marco Carbone
    • 2
  • Thomas Hildebrandt
    • 2
  • Ivan Lanese
    • 1
  • Jacopo Mauro
    • 1
  • Jorge A. Pérez
    • 3
  • Gianluigi Zavattaro
    • 1
  1. 1.Lab. FocusUniversity of Bologna/INRIABolognaItaly
  2. 2.IT University of CopenhagenCopenhagenDenmark
  3. 3.CITI and Departamento de InformáticaFCT - Universidade Nova de LisboaLisboaPortugal

Personalised recommendations