|
 
|
[COU03] Improving Termination Analysis of Active Rules with Priorities
Conférence Internationale avec comité de lecture : Forum of the 15th Conference on Advanced Information Systems Engineering (CAISE Forum), January 2003, pp.37-40,
motcle:
Résumé:
This paper presents an algorithm for termination static analysis of
active rules with priorities. Active rules termination is an undecidable
problem. Several recent works have suggested proving termination by using
the concept of triggering graph. We propose here a refinement of these
works, exploiting the priorities defined between rules.
BibTeX
| @inproceedings { | |||
| COU03, | |||
| title | = | "{Improving Termination Analysis of Active Rules with Priorities}", | |
| author | = | " A. Couchot ", | |
| booktitle | = | "{Forum of the 15th Conference on Advanced Information Systems Engineering (CAISE Forum)}", | |
| year | = | 2003, | |
| month | = | "January", | |
| pages | = | "37-40", | |
| } | |||
