Logotipo ImpactU
Autor

Event-based run-time adaptation in communication-centric systems

Acceso Abierto
ID Minciencias: ART-0000698580-48
Ranking: ART-ART_A2

Abstract:

Abstract Communication-centric systems are software systems built as assemblies of distributed artifacts that interact following predefined communication protocols. Session-based concurrency is a type-based approach to ensure the conformance of communication-centric systems to such protocols. This paper presents a model of session-based concurrency with mechanisms for run-time adaptation . Our model allows us to specify communication-centric systems whose session behavior can be dynamically updated at run-time. We improve on previous work by proposing an event-based approach: adaptation requests, issued by the system itself or by its context, are assimilated to events which may trigger adaptation routines. These routines exploit type-directed checks to enable the reconfiguration of processes with active protocols. We equip our model with a type system that ensures communication safety and consistency properties: while safety guarantees absence of run-time communication errors, consistency ensures that update actions do not disrupt already established session protocols. We provide soundness results for binary and multiparty protocols.

Tópico:

Service-Oriented Architecture and Web Services

Citaciones:

Citations: 6
6

Citaciones por año:

Altmétricas:

Paperbuzz Score: 0
0

Información de la Fuente:

SCImago Journal & Country Rank
FuenteFormal Aspects of Computing
Cuartil año de publicaciónNo disponible
Volumen28
Issue4
Páginas531 - 566
pISSNNo disponible
ISSN1433-299X

Enlaces e Identificadores:

Artículo de revista