The Community for Technology Leaders
Green Image
Issue No. 01 - January/February (2003 vol. 15)
ISSN: 1041-4347
pp: 244-249
Jorge Lobo , IEEE
Jan Chomicki , IEEE Computer Society
<p><b>Abstract</b>—This paper addresses some issues involved in applying the <it>event-condition-action</it> (ECA) rule paradigm of active databases to <it>policies</it>—collections of general principles specifying the desired behavior of a system. We use a declarative policy description language <tmath>{\cal{PDL}}</tmath>, in which policies are formulated as sets of ECA rules. The main contribution of the paper is a framework for detecting action conflicts and finding resolutions to these conflicts. Conflicts are captured as violations of action constraints. The semantics of rules and conflict detection and resolution are defined axiomatically using logic programs. Given a policy and a set of action constraints, the framework defines a range of monitors that filter the output of the policy to satisfy the constraints.</p>
Policy, action constraint, conflict resolution, active rules, event, action.
Jorge Lobo, Jan Chomicki, Shamim Naqvi, "Conflict Resolution Using Logic Programming", IEEE Transactions on Knowledge & Data Engineering, vol. 15, no. , pp. 244-249, January/February 2003, doi:10.1109/TKDE.2003.1161596
103 ms
(Ver 3.3 (11022016))