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.
Original language | English |
---|---|
Title of host publication | 2007 IEEE/ACS International Conference on Computer Systems and Applications |
Number of pages | 8 |
Publisher | IEEE |
Publication date | 26.11.2007 |
Pages | 909-916 |
Article number | 4231068 |
ISBN (Print) | 1-4244-1030-4, 1-4244-1031-2 |
DOIs | |
Publication status | Published - 26.11.2007 |
Event | 2007 IEEE/ACS International Conference on Computer Systems and Applications - Amman, Jordan Duration: 13.05.2007 → 16.05.2007 Conference number: 70247 |