Abstrakt. Regelbaserade policy- och kontraktssystem har sällan studerats i fråga om sina programvarutekniska egenskaper. Detta är ett allvarligt utelämnande, eftersom regler i regelbaserad politik eller kontraktsrepresentation språk används som ett deklarativ programmeringsspråk för att formalisera verkliga beslut logik och skapa IS produktionssystem på. I detta dokument används en SE-metod från extrem programmering, nämligen testdriven utveckling, och diskuteras hur den kan anpassas till verifiering, validering och integritetstester (V&V&I) av policy- och kontraktsspecifikationer. Eftersom det testdrivna tillvägagångssättet fokuserar på beteendeaspekterna och de dragna slutsatserna i stället för strukturen på regelbasen och orsakerna till fel, är det oberoende av komplexiteten i regelspråket och det system som testas och därmed mycket lättare att använda och förstå för regelingenjören och användaren.
I REF diskuterar Paschke vidare verifiering, validering och integritetskontroll av policyer via testdriven utvecklingsteknik.
Verification, Validation and Integrity of Distributed and Interchanged Rule Based Policies and Contracts in the Semantic Web
{'venue': "A.Paschke: Verification, Validation, Integrity of Rule Based Policies and Contracts in the Semantic Web, 2nd International Semantic Web Policy Workshop (SWPW'06), Nov. 5-9, 2006, Athens, GA, USA", 'journal': None, 'mag_field_of_study': ['Computer Science']}