The Community for Technology Leaders
Green Image
Issue No. 03 - May/June (1991 vol. 8)
ISSN: 0740-7459
pp: 52-61
<p>The Task Sequencing Language (TSL), which lets programmers specify constraints on the behavior of concurrent programs, is described. The constraints, specified by high-level annotations to Ada programs, are monitored at runtime; when a violation is detected, control is returned to the user, along with information about the nature of the violation. It is argued that such a tool is a necessary crutch for human reasoning capabilities when dealing with the complexities of concurrent process interaction. The first large-scale application of TSL, the specification and validation of a distributed tasking supervisor for Ada, is described.</p>
Task Sequencing Language; concurrent programs; high-level annotations; Ada programs; violation; human reasoning capabilities; concurrent process interaction; large-scale application; TSL; specification; validation; distributed tasking supervisor; Ada; parallel programming; program verification; specification languages; system recovery
David S. Rosenblum, "Specifying Concurrent Systems with TSL", IEEE Software, vol. 8, no. , pp. 52-61, May/June 1991, doi:10.1109/52.88944
262 ms
(Ver 3.3 (11022016))