An ASM semantics for SDL, submitted for SDL’99
- U. Glässer, A. Prinz
The authors develop an unified concept for blocks and processes in SDL. The current principles for a structural decomposition of a system into a set of nested block definitions have been applied to SDL processes. This enables a decomposition of processes into contained processes and opens also the possibility of a dynamic creation of such complex structures. From a behavioural point of view this structural decomposition can be realized by a concurrent execution or by an interleaved (alternating) execution of the contained processes. The dynamic semantics of the proposed concept is explained by transformation rules, mapping the unified block/process concept onto basic SDL.