Towards Global and Local Types for Adaptation

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.

[1]  Ivan Lanese,et al.  Amending Choreographies , 2013, WWV.

[2]  Ivan Lanese,et al.  AIOCJ: A Choreographic Framework for Safe Adaptive Distributed Applications , 2014, SLE.

[3]  Keith D. Swenson,et al.  Mastering the Unpredictable: How Adaptive Case Management Will Revolutionize the Way That Knowledge Workers Get Things Done , 2010 .

[4]  Fabrizio Montesi,et al.  Deadlock-freedom-by-design: multiparty asynchronous global programming , 2013, POPL.

[5]  Ivan Lanese,et al.  Bridging the Gap between Interaction- and Process-Oriented Choreographies , 2008, 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods.

[6]  Fritz Henglein,et al.  Trustworthy Pervasive Healthcare Services via Multiparty Session Types , 2012, FHIES.

[7]  Mario Bravetti,et al.  Towards a Unifying Theory for Choreography Conformance and Contract Compliance , 2007, SC@ETAPS.

[8]  Antonio Bucchiarone,et al.  A Framework for Rule-Based Dynamic Adaptation , 2010, TGC.

[9]  Nobuko Yoshida,et al.  Structured Communication-Centred Programming for Web Services , 2007, ESOP.

[10]  Luca Padovani,et al.  A theory of contracts for Web services , 2007, TOPL.

[11]  Nobuko Yoshida,et al.  Structured Communication-Centered Programming for Web Services , 2007, TOPL.

[12]  Raghava Rao Mukkamala,et al.  From Paper Based Clinical Practice Guidelines to Declarative Workflow Management , 2008, Business Process Management Workshops.

[13]  Mario Bravetti,et al.  Adaptable processes , 2011, Log. Methods Comput. Sci..

[14]  Mariangiola Dezani-Ciancaglini,et al.  Self-Adaptive Monitors for Multiparty Sessions , 2014, 2014 22nd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing.

[15]  Jorge A. Pérez,et al.  Disciplined structured communications with consistent runtime adaptation , 2013, SAC '13.

[16]  Raghava Rao Mukkamala,et al.  Towards Trustworthy Adaptive Case Management with Dynamic Condition Response Graphs , 2013, 2013 17th IEEE International Enterprise Distributed Object Computing Conference.

[17]  Cosimo Laneve,et al.  A Basic Contract Language for Web Services , 2006, ESOP.

[18]  Mario Bravetti,et al.  Towards the Verification of Adaptable Processes , 2012, ISoLA.