Text size
  • Small
  • Medium
  • Large
  • Standard
  • Blue text on blue
  • High contrast (Yellow text on black)
  • Blue text on beige

    SDL-2000: A Language with a Formal Semantics

    Rigorous Object-Oriented Methods 2000

    York, UK. 17 January 2000


    J. Fischer, E. Holz, M.V. Löwis & A. Prinz


    A new version of SDL called SDL-2000 is currently reaching maturity, and is expected to pass the standardization bodies shortly.

    It will offer new features as object-oriented data types, simplify and unify concepts of previous language versions and provide an alignment with UML.

    Due to the significant changes to SDL it was necessary to define a new formal semantics for SDL. Abstract State Machines (ASMs) have been chosen as the underlying formalism.

    In this paper, after introducing the new SDL language features, it is shown, how these features get an executable formal semantics using ASMs.


    PDF filePDF Version of this Paper (106kb)