Title :
Specifying Ada tasking using patterns of behavior
Author :
Meldal, S. ; Luckham, D.C. ; Haberler, Michael A.
Author_Institution :
Inst. of Inf., Bergen Univ., Norway
Abstract :
TLS-1 is a language for specifying sequences of tasking events occurring in the execution of concurrent Ada programs. Such specifications are intended primarily for testing and debugging of Ada tasking programs. They can also be applied in the design of programs. TSL-1 specifications are included in Ada programs as formal comments. They express constraints to be satisfied by the sequences of actual tasking events. An overview is presented of TSL-1 as an annotation and specification language. The features of the language are described informally, using the alternating-bit protocol as an example. The main goal is to show how to express the patterns of desirable and undesirable behavior as well as the circumstances under which the patterns must or must not happen.<>
Keywords :
Ada; multiprogramming; Ada tasking programs; TLS-1; alternating-bit protocol; annotation language; behaviour patterns; concurrent Ada programs; constraints; debugging; desirable behaviour; formal comments; sequence specification; specification language; tasking events; testing; undesirable behavior; Computer science; Concurrent computing; Contracts; Debugging; Informatics; Laboratories; Monitoring; Protocols; Runtime; Testing;
Conference_Titel :
System Sciences, 1988. Vol.II. Software Track, Proceedings of the Twenty-First Annual Hawaii International Conference on
Conference_Location :
Kailua-Kona, HI, USA
Print_ISBN :
0-8186-0842-0
DOI :
10.1109/HICSS.1988.11798
