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) | |
Abstract: 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. |
BayCEER-Kolloquium: |
---|
Do. 18.04.2024 The Canvas of Change: Creative Marketing for Behaviour Change, Sustainability and Social Good |
Do. 18.04.2024 Survival, 'dormancy', and resuscitation of microorganisms in water-limited environments: insights from coastal salt flats and desert soil crusts |
BayCEER Short Courses: |
Di. 16.04.2024 Geographical information system and R environment for conservation biology |
Ökologisch-Botanischer Garten: |
So. 07.04.2024 Führung | Talking Tree: Was Bäume über´s Klima erzählen |
Fr. 19.04.2024 Führung | Gesteine im Ökologisch-Botanischen Garten |