TY - GEN
T1 - An Event-Based Approach to Runtime Adaptation in Communication-Centric Systems
AU - Di Giusto, Cinzia
AU - Pérez, Jorge A.
N1 - Funding Information:
We are grateful to Ilaria Castellani, Mariangiola Dezani-Ciancaglini, and the anonymous reviewers for useful remarks. This research was partially supported by COST Action IC1201: Behavioural Types for Reliable Large-Scale Software Systems.
Publisher Copyright:
© Springer International Publishing Switzerland 2016.
PY - 2016
Y1 - 2016
N2 - This paper presents a model of session-based concurrency with mechanisms for runtime adaptation. Thus, our model allows to specify communication-centric systems whose session behavior can be dynamically updated at runtime. We propose an event-based approach: adaptation requests, issued by the system itself or by its environment, are assimilated to events which may trigger runtime adaptation routines. Based on type-directed checks, these routines naturally enable the reconfiguration of processes with active sessions. We develop a type system that ensures communication safety and consistency properties: while the former guarantees absence of runtime communication errors, the latter ensures that update actions do not disrupt already established sessions.
AB - This paper presents a model of session-based concurrency with mechanisms for runtime adaptation. Thus, our model allows to specify communication-centric systems whose session behavior can be dynamically updated at runtime. We propose an event-based approach: adaptation requests, issued by the system itself or by its environment, are assimilated to events which may trigger runtime adaptation routines. Based on type-directed checks, these routines naturally enable the reconfiguration of processes with active sessions. We develop a type system that ensures communication safety and consistency properties: while the former guarantees absence of runtime communication errors, the latter ensures that update actions do not disrupt already established sessions.
UR - http://www.scopus.com/inward/record.url?scp=84964791121&partnerID=8YFLogxK
U2 - 10.1007/978-3-319-33612-1_5
DO - 10.1007/978-3-319-33612-1_5
M3 - Conference contribution
AN - SCOPUS:84964791121
SN - 978-3-319-33611-4
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 67
EP - 85
BT - Web Services, Formal Methods, and Behavioral Types - 11th International Workshop, WS-FM 2014 and 12th International Workshop, WS-FM/BEAT 2015, Revised Selected Papers
A2 - Ravara, Antonio
A2 - Hildebrandt, Thomas
A2 - Weidlich, Matthias
A2 - van der Werf, Jan Martijn
PB - Springer Verlag
T2 - 11th International Workshop on Web Services, Formal Methods, and Behavioral Types, WS-FM 2014 and 12th International Workshop on Web Services, Formal Methods, and Behavioral Types, WS-FM/BEAT 2015
Y2 - 4 September 2015 through 5 September 2015
ER -