Title :
Termination Analysis Approach: A Comparative Study
Author :
Baba-Hamed, Latifa
Author_Institution :
Comput. Sci. Dept, Univ. of Oran Es-senia Lab. of Signals, Oran
Abstract :
This paper presents a new static approach for termination analysis of the active rules, based on Petri nets. It consists of the detection of cycles in a graph called ECPN (Extend Colored Petri Net). In this approach, not only composite events can affect the termination of a set of active rules but also the condition and the priority of a rule. A comparative study of the suggested method with the most known approaches was made to show our contribution in the field considered.
Keywords :
Petri nets; active databases; graph colouring; program diagnostics; program verification; active rules; extend colored Petri net; graph theory; static analysis; termination analysis approach; Algebra; Computer science; Database languages; Database systems; Laboratories; Petri nets; Programming profession; Relational databases; Signal analysis; Transaction databases; ECPN graph; active database; active rules; cyclic path; termination analysis;
Conference_Titel :
Information and Communication Technologies: From Theory to Applications, 2008. ICTTA 2008. 3rd International Conference on
Conference_Location :
Damascus
Print_ISBN :
978-1-4244-1751-3
Electronic_ISBN :
978-1-4244-1752-0
DOI :
10.1109/ICTTA.2008.4530298
