A simulation-based SDL support system

Abstract

This paper presents a simulation-based system for supporting software development in CCITT's SDL. The system can simulate the dynamic interactions of multiple communicating SDL processes concurrently, and can detect various logical and temporal problems in an SDL specification prior to implementation. At the bottom of this system lies the object-oriented SDL modeling methodology. The system is implemented in Allegro Common Lisp, whose CLOS and multiprocessing facilities are effectively utilized. This work contributes to an improved understanding and realization of automated specification verification.<>