Self-adaptive monitors for multiparty sessions

Proceedings - 2014 22nd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, PDP 2014

Volumn , Issue , 2014, Pages 688-696

  Coppo, Mario ^a   Dezani Ciancaglini, Mariangiola ^a   Venneri, Betti ^b  

^a UNIVERSITY OF TURIN   (Italy)

^b UNIVERSITY OF FLORENCE   (Italy)

Author keywords

Global Types; Multiparty Sessions; Self Adaptation

Indexed keywords

DYNAMIC ADAPTATIONS; FORMAL FRAMEWORK; GLOBAL STATE; GLOBAL TYPES; MULTIPARTY SESSIONS; RUNTIMES; SELF ADAPTATION;

EID: 84899436049     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/PDP.2014.18     Document Type: Conference Paper

References (32)

1. F. Zambonelli and M. Viroli, "From Service-Oriented Architectures to Nature-Inspired Pervasive Service Ecosystems," in WOA'10, ser. CEUR Workshop Proceedings, vol. 621. CEUR-WS.org, 2010.
2. C. Ghezzi, M. Pradella, and G. Salvaneschi, "An Evaluation of the Adaptation Capabilities in Programming Languages," in SEAMS'11. ACM Press, 2011, pp. 50-59.
3. H. Psaier, L. Juszczyk, F. Skopik, D. Schall, and S. Dustdar, "Runtime Behavior Monitoring and Self-Adaptation in Service-Oriented Systems," in SASO'10. IEEE Computer Society, 2010, pp. 164-173.
4. R. Bruni, A. Corradini, F. Gadducci, A. Lluch-Lafuente, and A. Vandin, "A Conceptual Framework for Adaptation," in FASE'12, ser. LNCS, vol. 7212. Springer, 2012, pp. 240-254.
5. K. Honda, N. Yoshida, and M. Carbone, "Multiparty Asynchronous Session Types," in POPL'08. ACM Press, 2008, pp. 273-284.
6. M. Carbone, K. Honda, and N. Yoshida, "Structured Communication-Centered Programming for Web Services," ACM Trans. Program. Lang. Syst., vol. 34, no. 2, pp. 8:1-8:78, Jun. 2012.
7. P.-M. Deniélou and N. Yoshida, "Dynamic Multirole Session Types," in POPL'11. ACM Press, 2011, pp. 435-446.
8. L. Bocchi, T.-C. Chen, R. Demangeon, K. Honda, and N. Yoshida, "Monitoring Networks through Multiparty Session Types," in FMOOD-S/FORTE'13, ser. LNCS, vol. 7892. Springer, 2013, pp. 50-65.
9. G. Castagna, M. Dezani-Ciancaglini, and L. Padovani, "On Global Types and Multi-Party Sessions," Log. Meth. Comp. Scie., vol. 8, pp. 1-45, 2012.
10. L. Bettini, M. Coppo, L. D'Antoni, M. De Luca, M. Dezani-Ciancaglini, and N. Yoshida, "Global Progress in Dynamically Interleaved Multiparty Sessions," in CONCUR'08, ser. LNCS, vol. 5201. Springer, 2008, pp. 418-433.
11. K. Honda, V. T. Vasconcelos, and M. Kubo, "Language Primitives and Type Disciplines for Structured Communication-based Programming," in ESOP'98, ser. LNCS, vol. 1381. Springer, 1998, pp. 22-138.
12. S. Gay and M. Hole, "Subtyping for Session Types in the Pi Calculus," Acta Inf., vol. 42, no. 2/3, pp. 191-225, 2005.
13. S. J. Gay, "Bounded Polymorphism in Session Types," Math. Struct. in Comp. Science, vol. 18, no. 5, pp. 895-930, 2008.
14. M. Dezani-Ciancaglini, S. Drossopoulou, E. Giachino, and N. Yoshida, "Bounded Session Types for Object-Oriented Languages," in FMCO'07, ser. LNCS, vol. 4709. Springer, 2007, pp. 207-245.
15. L. Padovani, "Session Types = Intersection Types + Union Types," in ITRS'10, ser. EPTCS, vol. 45, 2010, pp. 71-89.
16. T.-C. Chen, L. Bocchi, P.-M. Deniélou, K. Honda, and N. Yoshida, "Asynchronous Distributed Monitoring for Multiparty Session Enforcement," in TGC'11, ser. LNCS, vol. 7173. Springer, 2012, pp. 25-45.
17. L. Padovani, "Fair Subtyping for Multi-party Session Types," in CO-ORDINATION'11, ser. LNCS, vol. 6721. Springer, 2011, pp. 127-141.
18. M. Bravetti, C. Di Giusto, J. A. Pérez, and G. Zavattaro, "Adaptable Processes," Log. Meth. Comp. Scie., vol. 8, no. 4, 2012.
19. C. Di Giusto and J. A. Pérez, "Disciplined Structured Communications with Consistent Runtime Adaptation," in SAC'13. ACM Press, 2013, pp. 1913-1918.
20. P. Garralda, A. B. Compagnoni, and M. Dezani-Ciancaglini, "BASS: Boxed Ambients with Safe Sessions," in PPDP'06. ACM Press, 2006, pp. 61-72.
21. M. Bugliesi, G. Castagna, and S. Crafa, "Access Control for Mobile Agents: The Calculus of Boxed Ambients," ACM Trans. Program. Lang. Syst., vol. 26, no. 1, pp. 57-124, 2004.
22. G. Anderson and J. Rathke, "Dynamic Software Update for Message Passing Programs," in APLAS'12, ser. LNCS, vol. 7705. Springer, 2012, pp. 207-222.
23. M. dalla Preda, I. Lanese, J. Mauro, M. Gabbrielli, and S. Giallorenzo. (2013) Safe Run-time Adaptation of Distributed Systems. [Online]. Available: http://www.cs.unibo.it/~lanese/publications/fulltext/safeadapt.pdf.gz
24. I. Lanese, A. Bucchiarone, and F. Montesi, "A Framework for Rule-Based Dynamic Adaptation," in TGC'10, ser. LNCS, vol. 6084. Springer, 2010, pp. 284-300.
25. M. dalla Preda, I. Lanese, J. Mauro, and M. Gabbrielli. (2013) Adaptive Choreographies. [Online]. Available: http://www.cs.unibo.it/~lanese/ publications/adaptchor.pdf.gz
26. G. L. Ferrari, E. Moggi, and R. Pugliese, "Guardians for Ambient-based Monitoring," ENTCS, vol. 66, no. 3, pp. 52-75, 2002.
27. D. Gorla, M. Hennessy, and V. Sassone, "Security Policies as Membranes in Systems for Global Computing," ENTCS, vol. 138, no. 1, pp. 23-42, 2005.
28. V. T. Vasconcelos, "Fundamentals of Session Types," Inf. Comput., vol. 217, pp. 52-70, 2012.
29. L. Padovani, "Fair Subtyping for Open Session Types," in ICALP'13, ser. LNCS, vol. 7966. Springer, 2013, pp. 373-384.
30. R. Demangeon and K. Honda, "Full Abstraction in a Subtyped pi-Calculus with Linear Types," in CONCUR'11, ser. LNCS, vol. 6901. Springer, 2011, pp. 280-296.
31. D. Kouzapas, N. Yoshida, and K. Honda, "On Asynchronous Session Semantics," in FMOODS/FORTE'11, ser. LNCS, vol. 6722. Springer, 2011, pp. 228-243.
32. D. Mostrous, N. Yoshida, and K. Honda, "Global Principal Typing in Partially Commutative Asynchronous Sessions," in ESOP'09, ser. LNCS, vol. 5502. Springer, 2009, pp. 316-332.