BibTeX
@MISC{Holz_aunified,
author = {Eckhardt Holz},
title = {A Unified Concept for Blocks and Processes in SDL},
year = {}
}
Share
 |
 |
 |
 |
||
OpenURL
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. 1 Introduction Currently SDL [1] provides different concepts for the structural and behavioural decomposition of a system specification. The concept of blocks is used to specify the potential static structure of the system. Blocks are containers for concurrent behaviour elements (processes) or are again de...
Keyphrases
unified concept structural decomposition basic sdl dynamic semantics concurrent behaviour element different concept nested block definition contained process behavioural decomposition unified block process concept complex structure introduction currently sdl system specification transformation rule dynamic creation current principle potential static structure behavioural point concurrent execution
