Issue No. 03 - May/June (1991 vol. 8)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/52.88944
<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
D. S. Rosenblum, "Specifying Concurrent Systems with TSL," in IEEE Software, vol. 8, no. , pp. 52-61, 1991.