Specifying concurrent systems with TSL
- 1 May 1991
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Software
- Vol. 8 (3) , 52-61
- https://doi.org/10.1109/52.88944
Abstract
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.Keywords
This publication has 3 references indexed in Scilit:
- Testing the correctness of tasking supervisors with TSL specificationsPublished by Association for Computing Machinery (ACM) ,1989
- Task sequencing language for specifying distributed Ada systemsPublished by Springer Nature ,1987
- High-level debugging of distributed systems: The behavioral abstraction approachJournal of Systems and Software, 1983