论文信息 - TSL: task sequencing language

TSL: task sequencing language

TSL is a language for specifying sequences of tasking events in Ada1 programs. TSL specifications are submitted with an Ada program and are monitored at runtime for consistency with the actual tasking events as they occur. This paper presents a preliminary design for TSL, an informal overview of its capabilities, and an operational semantics.

David Luckham | D. Helmbold | D. Luckham | David Helmbold

[1] Steven M. German. Monitoring for Deadlock and Blocking in Ada Tasking , 1984, IEEE Transactions on Software Engineering.

[2] Roy H. Campbell,et al. The specification of process synchronization by path expressions , 1974, Symposium on Operating Systems.

[3] D. Helmbold,et al. Runtime detection and description of deadness errors in Ada tasking , 1985, ALET.

[4] Leslie Lamport,et al. Time, clocks, and the ordering of events in a distributed system , 1978, CACM.

[5] David Luckham,et al. Debugging Ada Tasking Programs , 1985, IEEE Software.