Well-documented standard languages for system specification such as CCITT SDL provide essential support for the modern software designer. This in itself is not enough, however. To be fully effective, such languages require a sound mathematical semantics which will permit formal reasoning about specifications, and enable more comprehensive support tools and techniques to be developed. This paper proposes a language, LSD, within which many of the most important concepts in SDL can be interpreted, and suggests methods which may be useful in the design and analysis of SDL specifications.
- Full text PDF
- In Proc of SDL '87 - State Of The Art and Future Trends