Trots flera forskningsstudier är en effektiv analys av policybaserade system fortfarande en stor utmaning. Policyanalys bör åtminstone (i) vara uttrycklig (ii) ta hänsyn till skyldigheter och tillstånd, (iii) innehålla en dynamisk systemmodell och (iv) ge användbar diagnostisk information. Vi presenterar en logikbaserad policyanalysram som uppfyller dessa krav och visar hur många betydande policyrelaterade egenskaper som kan analyseras, och vi ger detaljer om en prototypimplementering.
Slutligen, även om det inte är specifikt DSA-relaterat, lägger REF fram en ram för politisk analys som tar hänsyn till tillstånd och skyldigheter och ger användbar diagnostisk information.
Expressive policy analysis with enhanced system dynamicity
{'venue': "ASIACCS '09", 'journal': None, 'mag_field_of_study': ['Computer Science']}