bei Google ScholarTitelangaben
Liu, Zhiying ; Parnas, David L. ; Trancón y Widemann, Baltasar:
Consistency of Networks of Components.
2009
Veranstaltung: Sixth Asian Workshop on Foundations of Software (AWFS 2009)
, April 6-8, 2009
, Tokyo, Japan.
(Veranstaltungsbeitrag: Workshop
,
Paper
)
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 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.
Weitere Angaben
| Publikationsform: | Veranstaltungsbeitrag (Paper) |
|---|---|
| Begutachteter Beitrag: | Nein |
| Zusätzliche Informationen: | BAYCEER113593 |
| Institutionen der Universität: | Fakultäten > Fakultät für Biologie, Chemie und Geowissenschaften > Fachgruppe Geowissenschaften > Lehrstuhl Ökologische Modellbildung Forschungseinrichtungen > Forschungszentren > Bayreuther Zentrum für Ökologie und Umweltforschung - BayCEER Fakultäten Fakultäten > Fakultät für Biologie, Chemie und Geowissenschaften Fakultäten > Fakultät für Biologie, Chemie und Geowissenschaften > Fachgruppe Geowissenschaften Forschungseinrichtungen Forschungseinrichtungen > Forschungszentren |
| Titel an der UBT entstanden: | Ja |
| Themengebiete aus DDC: | 500 Naturwissenschaften und Mathematik |
| Eingestellt am: | 06 Jul 2015 10:25 |
| Letzte Änderung: | 06 Jul 2015 10:25 |
| URI: | https://eref.uni-bayreuth.de/id/eprint/15897 |