This volume, the proceedings of the Fourth SDL Forum, contains nearly 40 contributions illustrating the latest experiences in applying SDL, the Specification and Description Language recommended by CCITT. SDL is a formal language based on communicating extended state machines and algebraically defined data. The contributions cover training, applications, methodology, language evolution and support tools, including tools for document handling, simulation, test and verification. The book contains descriptions of about 20 SDL tools demonstrated at the Forum, which form an up-to-date survey of those commercially available as well as the more research oriented tools.
