Behavior composition is a means to achieve modularity and adaptability. Unlike process algebra, SDL does not explicitly define composition operators. In this paper, we propose design patterns and rules for expressing elementary behaviors called roles and their composition in SDL. The composite state concept newly introduced in SDL-2000 is used in an original and innovative way to model roles an...

This paper presents a first attempt to embed a restricted version of SDL as a target language in Focus. Brief introductions to both Focus and SDL are given, and it is shown how both methods can be assigned a denotational semantics based on streams and stream processing functions. A set of Focus specifications, referred to as F-SDL, is characterized whose elements structurally and semantically m...

Behaviour composition is a means to achieve modularity and adaptability. Differently from process algebra, SDL does not explicitly define composition operators. In this paper, we propose design patterns and rules for expressing elementary behaviours called roles and their composition in SDL. The composite state concept newly introduced in SDL-2000 is used in an original and innovative way to mo...

Serum digoxin levels (SDL) were compared with tolerance for the rapidly acting cardiac aglycone, acetyl strophanthidin (AS). AS titration tests were performed on 133 patients with diverse cardiac disorders. All were receiving maintenance digoxin. Both exquisite AS sensitivity and tolerance for a 1.0 mg AS were associated with a wide range of SDL values. Concordance and discordance between the t...

Taurine was extracted from Pegasus laternarius Cuvier to study its effects on learning and memory in mice. Mice were treated with different doses of taurine (10 mg/kg, 20 mg/kg, 40 mg/kg). The mice were treated with various chemical agents (pentobarbital, cycloheximide, sodium nitrite, alcohol) to disrupt the normal memory process. We measured the effect of taurine on step-down latency (SDL) an...

In this paper, we present the first version of a simulator that allows executing models defined using Discrete Event System Specification and models defined using Specification and Description Language. Specification and Description Language (SDL) is a graphical language, standardized under the ITU Z.100 recommendation, widely used to represent telecommunication systems, process control and rea...

State Machine Semantics of SDL Uwe Glasser (Heinz Nixdorf Institut Universitat-GH Paderborn, Germany [email protected]) Ren e Karges (metronet GmbH Koln, Germany [email protected]) Abstract: Based on the ITU-T Recommendation Z.100 [27]|also known as SDL-92| we de ne a formal semantic model of the dynamic properties of Basic SDL in terms of an abstract SDL machine. More precisel...

Thus, SDL supports the rapid development and extension of complex systems to meet stringent time-to-market and cost constraints. In conjunction with SDL, Message Sequence Charts (MSC) are employed to describe specific use cases of the system. However, SDL and MSC abstract from nonfunctional aspects and implementational details as time, performance and other limitations of physical systems. Thus...