Advertisement

An Event-Based Approach to Runtime Adaptation in Communication-Centric Systems

  • Cinzia Di Giusto
  • Jorge A. Pérez
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 9421)

Abstract

This paper presents a model of session-based concurrency with mechanisms for runtime adaptation. Thus, our model allows to specify communication-centric systems whose session behavior can be dynamically updated at runtime. We propose an event-based approach: adaptation requests, issued by the system itself or by its environment, are assimilated to events which may trigger runtime adaptation routines. Based on type-directed checks, these routines naturally enable the reconfiguration of processes with active sessions. We develop a type system that ensures communication safety and consistency properties: while the former guarantees absence of runtime communication errors, the latter ensures that update actions do not disrupt already established sessions.

Keywords

Asynchronous Communication Active Session Session Type Dynamic Reconfiguration Reduction Semantic 
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.

Notes

Acknowledgments

We are grateful to Ilaria Castellani, Mariangiola Dezani-Ciancaglini, and the anonymous reviewers for useful remarks. This research was partially supported by COST Action IC1201: Behavioural Types for Reliable Large-Scale Software Systems.

Supplementary material

References

  1. 1.
    Anderson, G., Rathke, J.: Dynamic software update for message passing programs. In: Jhala, R., Igarashi, A. (eds.) APLAS 2012. LNCS, vol. 7705, pp. 207–222. Springer, Heidelberg (2012)CrossRefGoogle Scholar
  2. 2.
    Bravetti, M., Di Giusto, C., Pérez, J.A., Zavattaro, G.: Adaptable processes. Logical Methods Comput. Sci. 8(4:13), 1–71 (2012)MathSciNetzbMATHGoogle Scholar
  3. 3.
    Coppo, M., Dezani-Ciancaglini, M., Venneri, B.: Self-adaptive monitors for multiparty sessions. In: PDP 2014, pp. 688–696. IEEE (2014)Google Scholar
  4. 4.
    Di Giusto, C., Pérez, J.A.: Session types with runtime adaptation: Overview and examples. In: PLACES. EPTCS, vol. 137, pp. 21–32 (2013)Google Scholar
  5. 5.
    Di Giusto, C., Perez, J.A.: An Event-Based Approach to Runtime Adaptation in Communication-Centric Systems. Research report, December 2014. https://hal.archives-ouvertes.fr/hal-01093090
  6. 6.
    Dumas, M., Rosa, M.L., Mendling, J., Reijers, H.A.: Fundamentals of Business Process Management. Springer, Berlin (2013)CrossRefGoogle Scholar
  7. 7.
    Gay, S.J., Hole, M.: Subtyping for session types in the pi calculus. Acta Inf. 42(2–3), 191–225 (2005)MathSciNetCrossRefzbMATHGoogle Scholar
  8. 8.
    Di Giusto, C., Pérez, J.A.: Disciplined structured communications with disciplined runtime adaptation. Sci. Comput. Program. 97, 235–265 (2015)CrossRefGoogle Scholar
  9. 9.
    Honda, K., Vasconcelos, V.T., Kubo, M.: Language primitives and type discipline for structured communication-based programming. In: Hankin, C. (ed.) ESOP 1998. LNCS, vol. 1381, pp. 122–138. Springer, Heidelberg (1998)CrossRefGoogle Scholar
  10. 10.
    Hu, R., Kouzapas, D., Pernet, O., Yoshida, N., Honda, K.: Type-safe eventful sessions in Java. In: D’Hondt, T. (ed.) ECOOP 2010. LNCS, vol. 6183, pp. 329–353. Springer, Heidelberg (2010)CrossRefGoogle Scholar
  11. 11.
    Kouzapas, D.: A Study of Bisimulation Theory for Session Types. Ph.D. thesis, Imperial College London (2012)Google Scholar
  12. 12.
    Kouzapas, D., Yoshida, N., Honda, K.: On asynchronous session semantics. In: Bruni, R., Dingel, J. (eds.) FORTE 2011 and FMOODS 2011. LNCS, vol. 6722, pp. 228–243. Springer, Heidelberg (2011)CrossRefGoogle Scholar
  13. 13.
    Kouzapas, D., Yoshida, N., Hu, R., Honda, K.: On asynchronous eventful session semantics. Math. Struct. Comput. Sci. 26(2), 303–364 (2016)MathSciNetCrossRefGoogle Scholar
  14. 14.
    Costa Seco, J., Caires, L.: Types for dynamic reconfiguration. In: Sestoft, P. (ed.) ESOP 2006. LNCS, vol. 3924, pp. 214–229. Springer, Heidelberg (2006)CrossRefGoogle Scholar

Copyright information

© Springer International Publishing Switzerland 2016

Authors and Affiliations

  1. 1.I3S, UMR 7271University of Nice Sophia AntipolisNiceFrance
  2. 2.Johann Bernoulli Institute for Mathematics and Computer ScienceUniversity of GroningenGroningenThe Netherlands

Personalised recommendations