The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.03 - May/June (1991 vol.8)
pp: 52-61
ABSTRACT
<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>
INDEX TERMS
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
CITATION
David S. Rosenblum, "Specifying Concurrent Systems with TSL", IEEE Software, vol.8, no. 3, pp. 52-61, May/June 1991, doi:10.1109/52.88944
4 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool