Abstract
We investigate the issue of conflict detection and resolution for policies formulated as sets of event-condition-action rules. We focus on the temporal dimension of policies. In particular, we consider sequence events in rules, conflict resolution through cancellation or delay, and temporal action constraints. We formally define monitors — procedures for resolving conflicts. We present algorithms for the computation of optimal monitors.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
R. Agrawal, R. Cochrane, and B. G. Lindsay. On maintaining priorities in a production rule system. In VLDB, pages 479–487, 1991.
C. Baral, J. Lobo, and G. Trajcevski. Formal characterizations of active databases: II. In Proc. of the International Conference on Deductive and Object Oriented Databases, Lecture Notes in Computer Science. Springer, Switzerland, December 1997.
R. Bhatia, J. Lobo, and M. Kohli: Policy Evaluation for Network Management. In Proc. of the 19th Conference on Computer Communication, INFOCOM 2000. Israel, March 2000.
L. Brownston, R. Farell, E. Kant, and N. Martin. Programming Expert Systems in OPS5: An Introduction to Rule-Based Programming. Addison-Wesley, 1985.
H. Kleine Büning, U. Löwen, and S. Schmitgen. Inconsistency of production systems. Journal of Data and Knowledge Engineering, 3:245–260, 1988/89.
J. Chomicki. Efficient Checking of Temporal Integrity Constraints Using Bounded History Encoding. ACM Transactions on Database Systems, 20(2):149–186, June 1995.
J. Chomicki, J. Lobo, and S. Naqvi. Axiomatic conflict resolution in policy management. Technical Report ITD-99-36448R, Bell Labs, February 1999.
J. Chomicki and J. Lobo. Monitors for History-Based Policies. Technical report, Lucent Bell Labs, 2000.
J. Chomicki, J. Lobo, and S. Naqvi. A Logic Programming Approach to Conflict Resolution in Policy Management. In International Conference on Principles of Knowledge Representation and Reasoning, Breckenridge, Colorado, April 2000.
T. Eiter and V.S. Subrahmanian. Heterogeneous active agents, II: Algorithms and complexity. Artificial Intelligence, 108:257–307, March 1999.
T. Eiter, V.S. Subrahmanian, and G. Pick. Heterogeneous active agents, I: Semantics. Artificial Intelligence, 108:179–255, March 1999.
Y. E. Ioannidis and T. K. Sellis. Supporting inconsistent rules in database systems. Journal of Intelligent Information Systems, 1(3/4), 1992.
H. V. Jagadish, A. O. Mendelzon, and I. S. Mumick. Managing conflicts between rules. In Proc. 15th ACM SIGACT/SIGMOD Symposium on Principles of Database Systems, pages 192–201, 1996.
J. Lobo, R. Bhatia, and S. Naqvi. A policy description language. In Proc. of AAAI, Orlando, FL, July 1999.
E. C. Lupu and M. Sloman. Conflict analysis for management policies. In R. Stadler A. Lazar, R. Saraco, editor, Proc. 5th IFIP/IEEE International Symposium on Integrated Network Management, pages 430–443, 1997.
A. Virmani, J. Lobo, and M. Kohli. NETMON: Network management for the SARAS softswitch. In Proc. of the IEEE/IFIP Network Operations and Management Symposium, April 2000.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Chomicki, J., Lobo, J. (2001). Monitors for History-Based Policies. In: Sloman, M., Lupu, E.C., Lobo, J. (eds) Policies for Distributed Systems and Networks. POLICY 2001. Lecture Notes in Computer Science, vol 1995. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-44569-2_4
Download citation
DOI: https://doi.org/10.1007/3-540-44569-2_4
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-41610-4
Online ISBN: 978-3-540-44569-2
eBook Packages: Springer Book Archive