|Liu, Z; Parnas, DL; Trancón y Widemann, B: Consistency of Networks of Components, Proceedings Asian Workshop on Foundations of Software, Elsevier Science B.V., 48-57 (2009)|
In this paper, we present an approach to describing a network of components and checking whether the network is complete and consistent, i.e. whether the components can work together properly. This model will be the basis of a procedure for checking the correctness of a network of fully specified components on the basis of their interface specifications and a description of the way that the components are connected. Our approach is different from others in that each component is viewed as a hardware-like device in which an output value can change instantaneously when input values change and all components operate synchronously rather than in sequence. Keywords: Networks of components, completeness, consistency, delay-free loop.