This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Specifying Concurrent Systems with TSL
May/June 1991 (vol. 8 no. 3)
pp. 52-61

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.

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
Usage of this product signifies your acceptance of the Terms of Use.