In this paper a new approach to the veriication of SDL-speciications is presented. The key idea of the method consists of associating a com-positional Petri net semantics to SDL-speciications. A temporal logic is deened which allows the formulation of relevant properties of SDL-speciications. The model checking problem for SDL-speciications according to this logic is then reduced to the model c...

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...

In this paper a new approach to the veriication of SDL-speciications is presented. The key idea of the method consists in associating a compositional Petri net semantics to SDL-speciications. A temporal logic is deened which allows the formulation of relevant properties of SDL-speciications. The model checking problem for SDL-speciications according to this logic is then reduced to the model ch...

UML and SDL both have their own merits and form a strong alliance when combined in one methodology. In this paper we describe three scenarios for combining UML and SDL: Forward Engineering, Reverse Engineering and Round-Trip Engineering. The foundation that makes these scenarios possible is a profound translation between UML & SDL'96 concepts. We also explain how the translation is adapted to i...

SDL (Specification and Description Language) is popular for communication protocol design. SDL tools allow simulating and verifying SDL models. In this paper, we show how SDL models can be transformed into hardware/software implementations for embedded systems. Our design flow contains a lightweight operating system integration layer and a cosimulation framework that supports hardware/software ...

Here we report the isolation of a murine model for heritable T cell lymphoblastic leukemia/lymphoma (T-ALL) called Spontaneous dominant leukemia (Sdl). Sdl heterozygous mice develop disease with a short latency and high penetrance, while mice homozygous for the mutation die early during embryonic development. Sdl mice exhibit an increase in the frequency of micronucleated reticulocytes, and T-A...

research shows a positive relationship between self-directed learning (sdl) andreading comprehension. the present quasi-experimental study attempted to expandthe scope of sdl by investigating its effect on the components of readingcomprehension. sixty high school students took the reading comprehension part ofpet as the pretest and the posttest. over 16 weeks, the experimental group,consisting ...

Abstract A scale-dependent localization (SDL) method was formulated and implemented in the Gridpoint Statistical Interpolation (GSI)-based four-dimensional ensemble-variational (4DEnVar) system for NCEP FV3-based Global Forecast System (GFS). SDL applies different to scales of ensemble covariances, while performing a single-step simultaneous assimilation all available observations. Two variants...

Self-directed learning (SDL) was developed initially for adult learning. Guglielmino constructed a scale to measure SDL. Recent researchers have applied this concept to children. Although there are sufficient theoretical evidences to present the possibility of applying this concept to children, empirical evidences were not provided. This study aimed to examine the quality of SDL and construct a...

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...