Skip to main content
Disciplines
Automotive Business IT + Informatics Construction + Real Estate Electrical Engineering + Electronics Energy + Sustainability Insurance + Risk Finance + Banking Management + Leadership Marketing + Sales Mechanical Engineering + Materials
Events
DE
EN
Books
Journals
Topic Page
Marketing
Start single access now
Access for companies
EXTENDED SEARCH
Log in
Top
Service Oriented Computing and Applications
Published in: Service Oriented Computing and Applications 3-4/2015

01-09-2015 | Special Issue Paper

Self-adaptive multiparty sessions

Authors: Mario Coppo, Mariangiola Dezani-Ciancaglini, Betti Venneri

Published in: Service Oriented Computing and Applications | Issue 3-4/2015

Log in

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

Abstract

To model the notion of self-adaptiveness for multiparty sessions, we propose a formal framework, where participants can access and modify the global state, in such a way that the whole system can react promptly to unforeseen events by reconfiguring itself. The adaptation strategy is triggered by the overall communication choreography, represented by a global type. When the global type is dynamically updated, its projections define new monitors, which set-up novel communication protocols for the participants. The key result of this paper is that self-adaptations are performed in a type-safe way, while providing a high degree of flexibility. Subject Reduction and Progress properties are proven: any session executes all required communications in a type-safe way and never gets stuck.
previous article A formalized framework for mobile cloud computing
next article Pabble: parameterised Scribble

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

inform now
Literature
1.
Anderson G, Rathke J (2012) Dynamic software update for message passing programs. In: APLAS’12, LNCS, vol 7705. Springer, Berlin, pp 207–222
2.
Bettini L, Coppo M, D’Antoni L, De Luca M, Dezani-Ciancaglini M, Yoshida N (2008) Global progress in dynamically interleaved multiparty sessions. In: CONCUR’08, LNCS, vol 5201. Springer, Berlin, pp 418–433
3.
Bocchi L, Chen T.C, Demangeon R, Honda K, Yoshida N (2013) Monitoring networks through multiparty session types. In: FMOODS/FORTE’13, LNCS, vol 7892. Springer, Berlin, pp 50–65
4.
Bravetti M, Carbone M, Hildebrandt T, Lanese I, Mauro J, Perez J.A, Zavattaro G (2014) Towards global and local types for adaptation. In: SEFM’13, LNCS, vol 8368, Springer, Berlin, pp 3–14
5.
Bravetti M, Di Giusto C, Pérez J.A, Zavattaro G (2012) Adaptable processes. Log Methods Comput Sci 8(4):1–71
6.
Bravetti M, Zavattaro G (2007) Towards a unifying theory for choreography conformance and contract compliance. In: SC’07, LNCS, vol 4829. Springer, Berlin, pp 34–50
7.
Bruni R, Corradini A, Gadducci F, Lluch-Lafuente A, Vandin A (2012) A Conceptual framework for adaptation. In: FASE’12, LNCS, vol 7212. Springer, Berlin, pp 240–254
8.
Bugliesi M, Castagna G, Crafa S (2004) Access control for mobile agents: the calculus of boxed ambients. ACM Trans Program Lang Syst 26(1):57–124CrossRef
9.
Carbone M, Honda K, Yoshida N (2012) Structured communication-centered programming for web services. ACM Trans Program Lang Syst 34(2):8:1–8:78
10.
Castagna G, Dezani-Ciancaglini M, Padovani L (2012) On global types and multi-party sessions. Log Methods Comput Sci 8:1–45MathSciNetCrossRef
11.
Chen TC, Bocchi L, Deniélou P.M, Honda K, Yoshida N (2012) Asynchronous distributed monitoring for multiparty session enforcement. In: TGC’11, LNCS, vol 7173. Springer, Berlin, pp 25–45
12.
Coppo M, Dezani-Ciancaglini M, Venneri B (2014) Self-adaptive monitors for multiparty sessions. In: PDP’14, IEEE, pp 688–696
13.
Coppo M, Dezani-Ciancaglini M, Yoshida N, Padovani L (2014) Global progress for dynamically interleaved multiparty sessions. Math Struct Comput Sci (to appear)
14.
Dalla Preda M, Gabbrielli M, Giallorenzo S, Lanese I, Mauro J (2014) Deadlock freedom by construction for distributed adaptive applications. CoRR. arxiv.​org:​1407.​0970
15.
Dalla Preda M, Giallorenzo S, Lanese I, Mauro J, Gabbrielli M (2014) AIOCJ: a choreographic framework for safe adaptive distributed applications. In: SLE’14, LNCS, vol 8706. Springer, Berlin, pp 161–170
16.
17.
18.
Demangeon R, Honda K (2011) Full abstraction in a subtyped pi-calculus with linear types. In: CONCUR’11, LNCS, vol 6901. Springer, Berlin, pp 280–296
19.
Deniélou P.M, Yoshida N (2011) Dynamic multirole session types. In: POPL’11. ACM Press, New York, pp 435–446
20.
Di Giusto C, Pérez JA (2013) Disciplined structured communications with consistent runtime adaptation. In: SAC’13, ACM Press, New York, pp 1913–1918
21.
Ferrari GL, Moggi E, Pugliese R (2002) Guardians for ambient-based monitoring. ENTCS 66(3):52–75
22.
Garralda P, Compagnoni A.B, Dezani-Ciancaglini M (2006) BASS: boxed ambients with safe sessions. In: PPDP’06, ACM Press, New York, pp 61–72
23.
24.
25.
Ghezzi C, Pradella M, Salvaneschi G (2011) An evaluation of the adaptation capabilities in programming languages. In: SEAMS’11. ACM Press, New York, pp 50–59
26.
Gorla D, Hennessy M, Sassone V (2005) Security policies as membranes in systems for global computing. ENTCS 138(1):23–42
27.
Honda K, Vasconcelos VT, Kubo M (1998) Language primitives and type disciplines for structured communication-based programming. In: ESOP’98, LNCS, vol 1381. Springer, Berlin, pp 22–138
28.
Honda K, Yoshida N, Carbone M (2008) Multiparty asynchronous session types. In: POPL’08, ACM Press, New York, pp 273–284
29.
Kouzapas D, Yoshida N, Honda K (2011) On asynchronous session semantics. In: FMOODS/FORTE’11, LNCS, vol 6722, Springer, Berlin, pp 228–243
30.
Lanese I, Bucchiarone A, Montesi F (2010) A framework for rule-based dynamic adaptation. In: TGC’10, LNCS, vol 6084, Springer, Berlin, pp 284–300
31.
Leite LAF, Oliva GA, Nogueira GM, Gerosa MA, Kon F, Milojicic DS (2013) A systematic literature review of service choreography adaptation. SOCA 7(3):199–216CrossRef
32.
Mostrous D, Yoshida N, Honda K (2009) Global principal typing in partially commutative asynchronous sessions. In: ESOP’09, LNCS, vol 5502, Springer, Berlin, pp 316–332
33.
Padovani L (2010) Session types = intersection types + union types. In: ITRS’10, EPTCS, vol 45, pp 71–89
34.
Padovani L (2011) Fair subtyping for multi-party session types. In: COORDINATION’11, LNCS, vol 6721, Springer, Berlin, pp 127–141
35.
Padovani L (2013) Fair subtyping for open session types. In: ICALP’13, LNCS, vol 7966, Springer, Berlin. pp 373–384
36.
Psaier H, Juszczyk L, Skopik F, Schall D, Dustdar S (2010) Runtime behavior monitoring and self-adaptation in service-oriented systems. In: SASO’10, IEEE Computer Society, pp 164–173
37.
Vasconcelos VT (2009) Fundamentals of session types. In: SFM’09, LNCS, vol 5569, Springer, Berlin. pp 158–186
Metadata
Title
Self-adaptive multiparty sessions
Authors
Mario Coppo
Mariangiola Dezani-Ciancaglini
Betti Venneri
Publication date
01-09-2015
Publisher
Springer London
Published in
Service Oriented Computing and Applications / Issue 3-4/2015
Print ISSN: 1863-2386
Electronic ISSN: 1863-2394
DOI
https://doi.org/10.1007/s11761-014-0171-9

Other articles of this Issue 3-4/2015

Service Oriented Computing and Applications 3-4/2015 Go to the issue

Special Issue Paper

Partially distributed coordination with Reo and constraint automata

Special Issue Paper

A formalized framework for mobile cloud computing

Guest Editorial

Preface

Special Issue Paper

Location-independent routing in process network overlays

Special Issue Paper

Pabble: parameterised Scribble

Special Issue Paper

On the behaviour of general purpose applications on cloud storages

Premium Partner

    Image Credits