| |
SDL with APPLICATIONS from PROTOCOL specification
F. Belina, D. Hogrefe and A. Sarma. Prentice Hall 1991, ISBN
0-13-785890-6.
This book on the Specification and Description Language SDL
meets the urgent need for an introduction to the language and, in
particular, SDL88. SDL is a standard formal language for the
specification and description of systems.
- Features include:
| A gradual introduction of SDL concepts, complemented by
real-life examples. |
| A complete treatment of the language constructs, enabling
the reader to understand and write SDL specifications. |
| A chapter devoted to the use of SDL for the specification
of OSI protocols and services. |
| Appendices containing complete lexical and syntax rules
and a list of all the graphical symbols |
Unfortunately this book seems to be
out of print.
|