A Unified Concept for Blocks and Processes in SDL

Abstract

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.

8 Figures and Tables

Cite this paper

@inproceedings{Holz1999AUC, title={A Unified Concept for Blocks and Processes in SDL}, author={Eckhardt Holz}, year={1999} }