Sciweavers

Share
ROOM
2000

SDL-2000: A Language with a Formal Semantics

8 years 7 months ago
SDL-2000: A Language with a Formal Semantics
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 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.
Joachim Fischer, Eckhardt Holz, Martin von Lö
Added 01 Nov 2010
Updated 01 Nov 2010
Type Conference
Year 2000
Where ROOM
Authors Joachim Fischer, Eckhardt Holz, Martin von Löwis, Andreas Prinz
Comments (0)
books