Title :
A simulation-based SDL support system
Author :
Li, Xiaofeng ; Shigo, Osamu
Author_Institution :
C&C Software Dev. Lab., NEC America Inc., Irving, TX, USA
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
Keywords :
formal specification; multiprocessing programs; object-oriented programming; software tools; specification languages; Allegro Common Lisp; CCITT; CLOS; SDL; SDL specification; Specification and Description Language; automated specification verification; multiprocessing; object-oriented SDL modeling methodology; simulation-based SDL support system; software development; software tools; Automata; Containers; National electric code; Object oriented modeling; Productivity; Programming; Signal processing; Software engineering; Specification languages;
Conference_Titel :
Software Engineering and Knowledge Engineering, 1992. Proceedings., Fourth International Conference on
Conference_Location :
Capri
Print_ISBN :
0-8186-2830-8
DOI :
10.1109/SEKE.1992.227917
