Consistency of Networks of Components

Title data

Liu, Zhiying ; Parnas, David L. ; Trancón y Widemann, Baltasar:
Consistency of Networks of Components.
2009
Event: Sixth Asian Workshop on Foundations of Software (AWFS 2009) , April 6-8, 2009 , Tokyo, Japan.
(Conference item: Workshop , Paper )

Abstract in another language

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 onthe 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 whichan 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.

Further data

Item Type:	Conference item (Paper)
Refereed:	No
Additional notes:	BAYCEER113593
Institutions of the University:	Faculties > Faculty of Biology, Chemistry and Earth Sciences > Department of Earth Sciences > Chair Ecological Modelling Research Institutions > Research Centres > Bayreuth Center of Ecology and Environmental Research- BayCEER Faculties Faculties > Faculty of Biology, Chemistry and Earth Sciences Faculties > Faculty of Biology, Chemistry and Earth Sciences > Department of Earth Sciences Research Institutions Research Institutions > Research Centres
Result of work at the UBT:	Yes
DDC Subjects:	500 Science
Date Deposited:	06 Jul 2015 10:25
Last Modified:	06 Jul 2015 10:25
URI:	https://eref.uni-bayreuth.de/id/eprint/15897