DocumentCode
2652240
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
fYear
2011
fDate
7-9 Nov. 2011
Firstpage
922
Lastpage
923
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Tools with Artificial Intelligence (ICTAI), 2011 23rd IEEE International Conference on
Conference_Location
Boca Raton, FL
ISSN
1082-3409
Print_ISBN
978-1-4577-2068-0
Electronic_ISBN
1082-3409
Type
conf
DOI
10.1109/ICTAI.2011.156
Filename
6103447
Link To Document