Towards Global and Local Types for Adaptation

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

doi:10.1007/978-3-319-05032-4_1

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 proceeding › Conference contribution › peer-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 language	English
Title of host publication	SOFTWARE ENGINEERING AND FORMAL METHODS
Editors	S Counsell, M Nunez
Publisher	SPRINGER INT PUBLISHING AG
Pages	3-14
Number of pages	12
ISBN (Print)	978-3-319-05031-7
DOIs	https://doi.org/10.1007/978-3-319-05032-4_1
Publication status	Published - 2014
Event	11th International Conference on Software Engineering and Formal Methods (SEFM) - Madrid, Spain Duration: 23 Sept 2013 → 27 Sept 2013

Publication series

Name	Lecture Notes in Computer Science
Publisher	SPRINGER INT PUBLISHING AG
Volume	8368
ISSN (Print)	0302-9743

Conference

Conference	11th International Conference on Software Engineering and Formal Methods (SEFM)
Country/Territory	Spain
City	Madrid
Period	23/09/13 → 27/09/13

Keywords

WEB SERVICES

Access to Document

10.1007/978-3-319-05032-4_1

Cite this

@inproceedings{fa19c66576214a47b977895f16d94a7a,

title = "Towards Global and Local Types for Adaptation",

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.",

keywords = "WEB SERVICES",

author = "Mario Bravetti and Marco Carbone and Thomas Hildebrandt and Ivan Lanese and Jacopo Mauro and P{\'e}rez, \{Jorge A.\} and Gianluigi Zavattaro",

year = "2014",

doi = "10.1007/978-3-319-05032-4\_1",

language = "English",

isbn = "978-3-319-05031-7",

series = "Lecture Notes in Computer Science",

publisher = "SPRINGER INT PUBLISHING AG",

pages = "3--14",

editor = "S Counsell and M Nunez",

booktitle = "SOFTWARE ENGINEERING AND FORMAL METHODS",

note = "11th International Conference on Software Engineering and Formal Methods (SEFM) ; Conference date: 23-09-2013 Through 27-09-2013",

}

Bravetti, M, Carbone, M, Hildebrandt, T, Lanese, I, Mauro, J, Pérez, JA & Zavattaro, G 2014, Towards Global and Local Types for Adaptation. in S Counsell & M Nunez (eds), SOFTWARE ENGINEERING AND FORMAL METHODS. Lecture Notes in Computer Science, vol. 8368, SPRINGER INT PUBLISHING AG, pp. 3-14, 11th International Conference on Software Engineering and Formal Methods (SEFM), Madrid, Spain, 23/09/13. https://doi.org/10.1007/978-3-319-05032-4_1

Towards Global and Local Types for Adaptation. / Bravetti, Mario; Carbone, Marco; Hildebrandt, Thomas et al.
SOFTWARE ENGINEERING AND FORMAL METHODS. ed. / S Counsell; M Nunez. SPRINGER INT PUBLISHING AG, 2014. p. 3-14 (Lecture Notes in Computer Science; Vol. 8368).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Towards Global and Local Types for Adaptation

AU - Bravetti, Mario

AU - Carbone, Marco

AU - Hildebrandt, Thomas

AU - Lanese, Ivan

AU - Mauro, Jacopo

AU - Pérez, Jorge A.

AU - Zavattaro, Gianluigi

PY - 2014

Y1 - 2014

N2 - 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.

AB - 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.

KW - WEB SERVICES

U2 - 10.1007/978-3-319-05032-4_1

DO - 10.1007/978-3-319-05032-4_1

M3 - Conference contribution

SN - 978-3-319-05031-7

T3 - Lecture Notes in Computer Science

SP - 3

EP - 14

BT - SOFTWARE ENGINEERING AND FORMAL METHODS

A2 - Counsell, S

A2 - Nunez, M

PB - SPRINGER INT PUBLISHING AG

T2 - 11th International Conference on Software Engineering and Formal Methods (SEFM)

Y2 - 23 September 2013 through 27 September 2013

ER -

Towards Global and Local Types for Adaptation

Abstract

Publication series

Conference

Keywords

Access to Document

Fingerprint

Cite this