Title :
A Petri Net-Based Metric for Active Rule Validation
Author :
Chavarria-Baez, Lorena ; Li, XiaoOu
Author_Institution :
Escuela Super. de Computo, Inst. Politec. Nac., Mexico City, Mexico
Abstract :
Active rules are the mechanism by which some systems can behave automatically. Rule validation is a mandatory step to guarantee those systems work properly. One of the most used validation techniques is based on test cases. In this paper we introduce a new metric through the Conditional Colored Petri Net model of the rule base, to determine the number of test cases.
Keywords :
Petri nets; knowledge based systems; program testing; Petri net based metric; active rule validation; conditional colored Petri net model; test cases; Complexity theory; Conferences; Cybernetics; Database systems; IP networks; Knowledge based systems; Measurement; Conditional Colored Petri Net; Rule validation; metric;
Conference_Titel :
Tools with Artificial Intelligence (ICTAI), 2011 23rd IEEE International Conference on
Conference_Location :
Boca Raton, FL
Print_ISBN :
978-1-4577-2068-0
Electronic_ISBN :
1082-3409
DOI :
10.1109/ICTAI.2011.156
