|4.17 Interface PCODE-STM|
The state automata specified by STM define certain sequences of communicating processes. In the detailed design, the individual processes are formulated in pseudocode. In this connection it is important to note that the specified behavior preset by STM is exactly represented in the PCODE./Buhr, 1984/, p.157-163.
when STATE = IDLE or STATE = WRITE_READY
accept write request
set STATE = WRITING
when STATE = IDLE or STATE = READING
accept read request
STATE = IDLE: set STATE = READING
STATE = READING : ...
|/Buhr, 1984/||Contains examples about state diagrams and corresponding program examples in chap. 5.3.|
|GDPA Online Last Updated 01.Jan.2002 Updated by Webmaster Last Revised 01.Jan.2002 Revised by Webmaster|