Abstract
The paper presents the top-down design of a synchronization component refining the communicationoriented input/output behaviour into a state-based implementation. The component constrains the flow of messages on two parallel communication channels to stay within a specified tolerance. The formal derivation uses transformations which are of general importance for the design of interactive components. The differentiation of the stream function localizes the effect of a single input with respect to previous input histories. The history abstraction extracts the component's state from the input histories. The design safely bridges different views of the synchronization component ranging from the stream based specification to the state based implementation.
| Originalsprache | Englisch |
|---|---|
| Titel | 2007 IEEE/ACS International Conference on Computer Systems and Applications |
| Seitenumfang | 8 |
| Herausgeber (Verlag) | IEEE |
| Erscheinungsdatum | 26.11.2007 |
| Seiten | 909-916 |
| Aufsatznummer | 4231068 |
| ISBN (Print) | 1-4244-1030-4, 1-4244-1031-2 |
| DOIs | |
| Publikationsstatus | Veröffentlicht - 26.11.2007 |
| Veranstaltung | 2007 IEEE/ACS International Conference on Computer Systems and Applications - Amman, Jordanien Dauer: 13.05.2007 → 16.05.2007 Konferenznummer: 70247 |
UN SDGs
Dieser Output leistet einen Beitrag zu folgendem(n) Ziel(en) für nachhaltige Entwicklung
