Titlebar

Export bibliographic data
Literature by the same author
plus on the publication server
plus at Google Scholar

 

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