====== Differences ====== This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | |||
api4kb_rules [2012/10/22 05:34] apaschke |
api4kb_rules [2012/12/09 15:18] apaschke |
||
---|---|---|---|
Line 25: | Line 25: | ||
* Validation is concerned with the correctness of a rule-based system in a certain domain or application (e.g. a derived discount of 10% and 5% might be mutual exclusive or might add up depending on the domain/application) | * Validation is concerned with the correctness of a rule-based system in a certain domain or application (e.g. a derived discount of 10% and 5% might be mutual exclusive or might add up depending on the domain/application) | ||
* Integrity (constraints) are a way to formulate consistency (or inconsistency) criteria | * Integrity (constraints) are a way to formulate consistency (or inconsistency) criteria | ||
- | * Uses Test Cases for VVI (see [[http://km.aifb.kit.edu/ws/swese2006/final/paschke_full.pdf|RuleML test cases for VVI]]) | + | * Uses Test Cases for VVI (see [[http://km.aifb.kit.edu/ws/swese2006/final/paschke_full.pdf|RuleML test cases for VVI]] [[http://www.l3s.de/~olmedilla/events/2006/SWPW06/programme/paper_15.pdf|Verification, Validation, Integrity of Rule Based Policies and Contracts in the Semantic Web]]) |
* Test Cases can be used for testing at design time (test-driven development) and run time (e.g. rule translation and compliance test cases) | * Test Cases can be used for testing at design time (test-driven development) and run time (e.g. rule translation and compliance test cases) | ||
* Test cases can be interchanged together with rules and | * Test cases can be interchanged together with rules and |