Interpretation of SDL specification in LOTOS
Tsuyoshi Ando, Masataka Ohta, Kaoru Takahashi · Systems and Computers in Japan · 1994
Abstract This paper aims at: 1 improvement of the specification verification capability of SDL without losing its advantages, i.e., transparency and descriptive power; and 2 realization of translation between specifications described by SDL and LOTOS. A method is proposed which gives a LOTOS interpretation of the specification by SDL. First, the mapping of the object system structure indicated by SDL specification to the LOTOS description is discussed. Then the description of the processing definition of SDL specification is described. Using the method proposed in this paper, a LOTOS interpretation is presented as an example for the SDL specification for the switching service. The result of interpretation is evaluated and the flexibility of the verification process is discussed.