Go home now Header Background Image
Submission Procedure
share: |
Follow us
Volume 3 / Issue 12

available in:   PDF (437 kB) PS (156 kB)
Similar Docs BibTeX   Write a comment
Links into Future
DOI:   10.3217/jucs-003-12-1382


Abstract State Machine Semantics of SDL

Uwe Glaesser (Heinz Nixdorf Institut, Universit├Ąt-GH Paderborn, Germany)

Rene Karges (metronet GmbH, Germany)


Based on the ITU-T Recommendation Z.100 [27]---also known as SDL-92--- we define a formal semantic model of the dynamic properties of Basic SDL in terms of an abstract SDL machine. More precisely, we use the concept of multi-agent realtime ASM [17] as a semantic platform on top of which we construct our mathematical description. The resulting interpretation model is not only mathematically precise but also reflects the common understanding of SDL in a direct and intuitive manner; it provides a concise and understandable representation of the complete dynamic semantics of Basic SDL. Moreover, the model can easily be extended and modified---a particularly important issue for an evolving technical standard.

In this article, we consider all relevant aspects concerning the behavior of channels, processes and timers with respect to signal transfer operations and timer operations. The model we obtain is intended as a basis for formal documentation as well as for executable high-level SDL specifications.

Keywords: Abstract State Machines, Basic SDL, Executable Specifications, Formal Documentation, SDL, Semantic Foundations, Telecommunication Systems

Categories: C.2.1, C.2.4, D.2.1, D.3.1, D.3.3, F.3.2