Subject: Announcement Annex F + Web Page
From: Reinhard Gotzhein (gotzhein#informatik.uni-kl.de)
Date: Tue Jan 02 2001 - 12:41:31 GMT
Dear All,
Following is a short announcement of Annex F, combined with the URL of a
Web page with some more information on the topic. You may use this
announcement whereever you think this can be useful. If you have any
comments on the web page (http://rn.informatik.uni-kl.de/projects/sdl/),
please let me know.
Best regards,
Reinhard
---------------------------------------------------------------------------
Formal Semantics for SDL-2000 Based on ASMs Now Officially Approved by ITU
(URL: http://rn.informatik.uni-kl.de/projects/sdl/)
Bo Ai, Beijing University of Posts & Telecommunications
Robert Eschbach, University of Kaiserslautern
Uwe Glaesser, University of Paderborn
Reinhard Gotzhein, University of Kaiserslautern
Martin von Loewis of Menar, Humboldt-University Berlin
Andreas Prinz, Humboldt-University Berlin
Ying Wang, Beijing University of Posts & Telecommunications
Weilei Zhang, Beijing University of Posts & Telecommunications
Yuhong Zhao, Beijing University of Posts & Telecommunications
In November 1999, a new version of SDL (Specification and Description
Language) called SDL-2000 has passed ITU, an international standardization
body for telecommunication. SDL is a fairly complex, graphical formal
description technique for the development of distributed systems,
which has been broadly used in industry for more than 20 years. With its
object-oriented features, its direct support for reuse, its integration
with other development languages such as MSC and UML, its commercial
tool support, and being an international standard, SDL satisfies the
primary needs of many system developers.
Efforts to define the semantics of SDL-2000 formally have started at
the beginning of 1998. By the end of 1998, a group of international
experts had been formed, which decided to apply the Abstract State
Machine formalism introduced by Yuri Gurevich. This decision has been
driven by a number of design objectives including intelligibility,
maintainability, expressiveness and executability. After 2 years of
intensive collaboration, work has been successfully completed. In November
2000, the formal semantics document (about 350 pages) has been officially
approved by ITU, and has become Annex F to Z.100, the SDL standard.
NOTE: To obtain access to Z.100 including Annex F, permission of the ITU
is required. Alternatively, access to these documents can be obtained
by becoming member of the SDL Forum Society. For more information, see
http://www.sdl-forum.org/ or contact Jeanne Reed at admin#sdl-forum.org.
This archive was generated by hypermail 2a23 : Mon May 05 2008 - 20:30:55 GMT