Towards Global and Local Types for Adaptation

Mario Bravetti, Marco Carbone, Thomas Hildebrandt, Ivan Lanese, Jacopo Mauro, Jorge A. Pérez, Gianluigi Zavattaro

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

12 Citations (Scopus)

Abstract

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.

Original languageEnglish
Title of host publicationSOFTWARE ENGINEERING AND FORMAL METHODS
EditorsS Counsell, M Nunez
PublisherSPRINGER INT PUBLISHING AG
Pages3-14
Number of pages12
ISBN (Print)978-3-319-05031-7
DOIs
Publication statusPublished - 2014
Event11th International Conference on Software Engineering and Formal Methods (SEFM) - Madrid, Spain
Duration: 23 Sep 201327 Sep 2013

Publication series

NameLecture Notes in Computer Science
PublisherSPRINGER INT PUBLISHING AG
Volume8368
ISSN (Print)0302-9743

Conference

Conference11th International Conference on Software Engineering and Formal Methods (SEFM)
CountrySpain
CityMadrid
Period23/09/1327/09/13

Keywords

  • WEB SERVICES

Cite this