api4kb_rules
====== 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] (current) 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 | ||
api4kb_rules.1350898482.txt.gz · Last modified: 2012/10/22 05:34 by apaschke
Page Tools
