This paper presents an automated transition from OMT* (a formal variant of OMT) towards SDL. This work is a partial result from a larger research eeort proposing an integrated methodology and toolset based on the combination of Object-Orientation and Formal-Description Techniques. In this project OMT is used as the systems requirements analysis technique and OMT* for for System Design, while SD...

Discrete Event System Specification (DEVS) is one of the main widely used formal languages to represent simulation models, while Specification and Description Language (SDL) is a graphical ITU-T standard language, commonly used in telecommunication and engineering areas. In this paper, we present an algorithm, and a simulation infrastructure that implements this algorithm, to transform a simula...

The automated functional and performance analysis of communicating systems speciied with some Formal Description Technique has long been the goal of protocol engineers. In this paper we give a description of a Petri net enhanced with queued places which enables one to automatically translate an SDL speciication to a net for its direct functional and performance analysis. In particular, the new ...

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

A new approach for the translation of SDL specifications to a mixed hardware/software system is presented. Based on the computational model of communicating extended finite state machines (EFSM) the control flow is separated from data flow of the SDL process. Hence for the first time it is possible to generate a mixed hardware/software implementation of an SDL process. This technique also reduc...

The SDL work was done in the ESTI Sub-Technical Committee SPS3 on a voluntary basis with support of the Permanent Expert Group (PEX) at ETSI and the Technical Committee Methods for Testing and Specification (TC MTS). The SDL was developed in parallel with the INAP protocol standardization with only a little delay. The work started in the middle of 1995 and the SDL model was finished in the midd...

This paper discusses a new platform for network simulation. It combines the advantages of a functional description technique (SDL) with the advantages of graphical design entry and visualization possibilities known from network simulators. Thus it is well suited for protocol simulation and performance simulation. From basic considerations on simulation environments to the specific new platform ...

We present a shape de nition language, called SDL, for retrieving objects based on shapes contained in the histories associated with these objects. It is a small, yet powerful, language that allows a rich variety of queries about the shapes found in historical time sequences. An interesting feature of SDL is its ability to perform blurry matching. A \blurry" match is one where the user cares ab...

AIMS To investigate the relationship between the sweet liking/sweet disliking phenotype (a putative probe of brain opioid function), craving for alcohol and response to treatment with naltrexone in individuals with alcohol dependence. METHODS Forty individuals with alcohol dependence were enrolled in a 12-week open-label study of 50 mg of naltrexone with four sessions of motivational enhancem...

This dissertation concerns the design and implementation of SemCom, an interpreter generator for arbitrary languages, which compiles a two-level operational semantics (in either bigor small-step style). Input to SemCom is expressed in a purpose-designed Semantic Description Language (SDL). An SDL file contains the definition of an evaluation and typing relation, and can express type systems up ...