Robustness in Interaction Systems

Abstract

Abstract.We treat the effect of absence/failure of ports or components on properties of component-based systems. We do so in the framework of interaction systems, a formalism for component-based systems that strictly separates the issues of local behavior and interaction, for which ideas to establish properties of systems were developed. We propose how to adapt these ideas to analyze how the properties behave under absence or failure of certain components or merely some ports of components. We demonstrate our approach for the properties local and global deadlockfreedom as well as liveness and local progress.

Compositional analysis of deadlock-freedom for tree-like component architectures

“…In [16,15,24,23,25] we took the first approach for general interaction systems. First attempts to exploit compositionality can be found in [24,21,3,1].…”