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
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;
Conference_Titel :
Distributed Computing Systems, 1992., Proceedings of the 12th International Conference on
Conference_Location :
Yokohama
Print_ISBN :
0-8186-2865-0
DOI :
10.1109/ICDCS.1992.235017
