A simulation-based SDL support system

A simulation-based SDL support system

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 implemen...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Xiaofeng Li, Shigo, O.
Format: Tagungsbericht
Sprache:eng
Schlagworte:
Object oriented modeling
Programming
Online-Zugang:Volltext bestellen
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung: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.< >
DOI:10.1109/SEKE.1992.227917