This paper addresses the formal specification and description of manufacturing systems. It is considered the use of SDL (Specification and Description Language), a standard FDT (Formal Description Technique), to model the behaviour, data and structure aspects of a manufacturing system. SDL was originally developed for telecommunication systems (protocol specification and data processing). The a...

We present the results of a case study in which the use of SDL tools was analysed on the basis of the sliding window protocol We chose the SDL speci cation of the protocol which was rst published by the ISO While editing and simulating the SDL speci cation we found out that the speci cation contains signi cant errors and does not meet the informal description of the protocol We describe these e...

Context: Self-directed learning (SDL) is an individual’s ability to effectively use various strategies reach his/her goals. We conducted this systematic review explore the different methods, advantages, and challenges in SDL. Method: A comprehensive literature search on PubMed, Scopus, Google Scholar databases was carried out using keywords such as “self-directed learning”, “self-regulated “med...

With the 1992 revision of SDL [1], object oriented structuring concepts were introduced into the language. However, some object oriented concepts known from modern languages are still missing, e.g. exception handling and references, which are related to polymorphism as well as late binding of operators. The main reason for these lacks is the formal base of data types ACT ONE [2]. This algebraic...

Test case generation for a network protocol by extended finite state machine (EFSM) based modeling is a well-known technique in formal methods in conformance testing. An input output based EFSM (IOEFSM) is a popular model for a protocol specified in the specification and description language (SDL) because an SDL process diagram is based on an input-driven EFSM. However, as an SDL specification ...

UML and MSC are widely used by software practitioners. SDL is an ITU standard language for telecommunications software specification. It has a formal semantics, and is supported by several commercial tools, which allow for simulation and validation of SDL design specifications as well as automatic code generation from these specifications. In order to take advantages of the SDL available tools ...

A new bilingual speciication environment consisting of the two languages SDL and S/R is described. The new design is based on the SDL-to-S/R compiler that was implemented at a previous phase and introduces the necessary interface semantics as restrictions on special SDL shell processes that encapsulate the interfaced S/R modules. The environment can be used in SW/HW co-design by involving the v...

We propose modeling the architecture of web systems using the Specification and Description Language (SDL), which is a formal language. SDL is shown to be quite convenient for modeling features of web systems such as hyperlinks, sending and receiving data, and client-server communication. Hence, it facilitates our understanding of web applications. Further, we describe how to test web systems, ...

Self-directed learning (SDL) is defined as a process or a learning method in which individuals take initiative, with or without the help of others, in diagnosing their needs, formulating goals, identifying human and material resources for learning, choosing and implementing appropriate learning strategies and evaluating outcomes.1 As medical knowledge continuously changes, health care professio...