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.
Aktuelle Termine


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
Wetter Versuchsflächen
Luftdruck (356m): 956.4 hPa
Lufttemperatur: 14.2 °C
Niederschlag: 1.3 mm/24h
Sonnenschein: 1 h/d

...mehr
Globalstrahlung: 318 W/m²
Lufttemperatur: 12.1 °C
Niederschlag: 1.3 mm/24h
Wind (Höhe 32m): 5.4 km/h

...mehr
Diese Webseite verwendet Cookies. weitere Informationen