A simulation-based SDL support system

Author

Li, Xiaofeng ; Shigo, Osamu

Author_Institution

C&C Software Dev. Lab., NEC America Inc., Irving, TX, USA

fYear

1992

fDate

15-20 Jun 1992

Firstpage

284

Lastpage

291

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Software Engineering and Knowledge Engineering, 1992. Proceedings., Fourth International Conference on

Conference_Location

Capri

Print_ISBN

0-8186-2830-8

Type

conf

DOI

10.1109/SEKE.1992.227917

Filename

227917