%0 Conference Proceedings
%T Modelling the Dynamic Reconfiguration of Application Topologies, Faults Included
%+ University of Pisa - Università di Pisa
%A Brogi, Antonio
%A Canciani, Andrea
%A Soldani, Jacopo
%Z Part 4: Resource, Components and Information Flow
%< avec comité de lecture
%( Lecture Notes in Computer Science
%B 19th International Conference on Coordination Languages and Models (COORDINATION)
%C Neuchâtel, Switzerland
%Y Jean-Marie Jacquet
%Y Mieke Massink
%I Springer International Publishing
%3 Coordination Models and Languages
%V LNCS-10319
%P 178-196
%8 2017-06-19
%D 2017
%R 10.1007/978-3-319-59746-1_10
%Z Computer Science [cs]
%Z Computer Science [cs]/Networking and Internet Architecture [cs.NI]Conference papers
%X Fault-aware management protocols permit modelling the management of application components (including potential faults) and analysing the management behaviour of a multi-component application. The analysis is driven by the application topology, and it assumes many-to-1 dependencies among application components, i.e. each requirement of a component can be satisfied by exactly one other component.In this paper we extend fault-aware management protocols to account for many-to-many dependencies among components, i.e. different application components can be used to satisfy a requirement of another component. The extension also accounts for dynamic changes in the topology, hence enabling the analysis of the management behaviour of dynamically reconfigurable multi-component applications.
%G English
%Z TC 6
%Z WG 6.1
%2 https://inria.hal.science/hal-01657338/document
%2 https://inria.hal.science/hal-01657338/file/450044_1_En_10_Chapter.pdf
%L hal-01657338
%U https://inria.hal.science/hal-01657338
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-TC
%~ IFIP-WG
%~ IFIP-TC6
%~ IFIP-WG6-1
%~ IFIP-COORDINATION
%~ IFIP-LNCS-10319