• DocumentCode
    1583095
  • 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
  • fYear
    2008
  • Firstpage
    1
  • Lastpage
    6
  • 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;
  • fLanguage
    English
  • Publisher
    ieee
  • 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
  • Type

    conf

  • DOI
    10.1109/ICTTA.2008.4530298
  • Filename
    4530298
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=1583095