DocumentCode
3298594
Title
TQL: a tasking query language for concurrent program analysis
Author
Black, C. ; Shatz, S.M. ; Upp, S.
Author_Institution
Dept. of Electr. Eng. & Comput. Sci., Illinois Univ., Chicago, IL, USA
fYear
1992
fDate
9-12 Jun 1992
Firstpage
382
Lastpage
389
Abstract
A tasking query language (TQL) for aiding very general analysis of Ada tasking in a Petri-net-based environment is discussed. An important principle of TQL´s design is that of hiding the formalism upon which the analysis framework is built. Instead, TQL defines a language by which queries of Ada interactions themselves can be expressed. Examples of TQL´s capabilities are presented, and a sample analysis session using the gas station program is described
Keywords
Ada; Petri nets; parallel programming; query languages; Ada tasking; Petri-net-based environment; TQL; concurrent program analysis; gas station program; sample analysis; tasking query language; Algorithm design and analysis; Concurrent computing; Database languages; History; Laboratories; Processor scheduling; Software systems; State-space methods; System recovery; User interfaces;
fLanguage
English
Publisher
ieee
Conference_Titel
Distributed Computing Systems, 1992., Proceedings of the 12th International Conference on
Conference_Location
Yokohama
Print_ISBN
0-8186-2865-0
Type
conf
DOI
10.1109/ICDCS.1992.235017
Filename
235017
Link To Document