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 |