CITI has stopped operations in 2014, to co-launch NOVA LINCS THIS SITE IS NOT BEING UPDATED SINCE 2013
citi banner
Home Page FCT/UNL UNL
  Home  \  Publications  \  InProceedings Page Login  
   
banner bottom
File Top
An Event-Based Approach to Runtime Adaptation in Communication-Centric Systems
Abstract:

This paper addresses the enhancement of session-based concurrency with constructs for runtime adaptation, to allow for the dynamic update of the behavior of communication-centric systems. We propose an event-based approach: adaptation requests, issued by the system or 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. An associated type system ensures communication safety and consis- tency properties: while the former guarantees absence of runtime communication errors, the latter ensures that update actions do not disrupt established sessions.


@ Web Services and Formal Methods - 11th International Workshop, WS-FM 2014


Series: Lecture Notes in Computer Science (To appear)

Publisher: Springer ( Germany )


Date: November, 2014


Authors:

File Bottom