Abstract
New functionality is added to telecommunications systems in the form of features or services. However, this is a very provider-centric approach, not giving much control to the user. We consider a logic that allows the user to express preferences as to how they wish calls to be handled. This logic is encapsulated in a user-friendly policy description language. The transferability of a policy description language (Ponder) developed for system management and access control is discussed.
Chapter PDF
Similar content being viewed by others
References
M. Amer, A. Karmouch, T. Gray, and S. Mankovskii. Feature interaction resolution using fuzzy policies. In [CM00], pages 94–112, May 2000.
R. J. A. Buhr, D. Amyot, M. Elammari, D. Quesnel, T. Gray, and S. Mankovski. Feature-interaction visualization and resolution in an agent environment. In [KB98], pages 135–149, September 1998.
M. Barbuceanu, T. Gray, and S. Mankovski. How to make your agents fulfil their obligations. Proceedings of the 3rd International Conference on the Practical Applications of Agents and Multi-Agent Systems (PAAM-98), 1998.
M. Calder and E. Magill, editors. Feature Interactions in Telecommunications and Software Systems VI. IOS Press (Amsterdam), May 2000.
N. Damianou, N. Dulay, E. Lupu, and M. Sloman. Ponder: A language specifying security and managements policies for distributed systems. Imperial College (London) Research Report, 2000.
N. Damianou, N. Dulay, E. Lupu, and M. Sloman. The Ponder policy specification language. Lecture Notes in Computer Science, 1997:18–39, 2001.
N. Dulay, E. Lupu, M. Sloman, and N. Damianou. A policy deployment model for the Ponder language. Proceedings of IEEE/IFIP Symposium on Integrated Network Managament 2001, 2001.
M. Handley, H. Schulzrinne, E. Schooler, and J. Rosenberg. SIP: Session initiation protocol. Request for Comments 2543 bis, March 2002.
International Telecommunications Union ITU. ITU-T Recommendation H.323: Packet Based Multimedia Communications Systems (Version 4). ITU-T, November 2000.
K. Kimbler and L. G. Bouma, editors. Feature Interactions in Telecommunications and Software Systems V. IOS Press (Amsterdam), September 1998.
J. Lennox, J. Rosenberg, and H. Schulzrinne. Common gateway interface for SIP. IETF Internet-Draft, 2000.
E. Lupu and M. Sloman. Conflicts in policy based distributed systems management. IEEE Transactions on Software Engineering, 25(6), November/December 1999.
J. Lennox and H. Schulzrinne. CPL: A language for user control of internet telephony services. IETF Internet-Draft, 2000.
D. Mariott, M. Mansouri-Samani, and M. Sloman. Specification of management policies. Proceedings of the fifth IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, 1994.
M. W. A. Steen and J. Derrick. Formalising ODP enterprise policies. Proceedings of 3rd International Enterprise Distributed Object Computing Conference (EDOC’ 99), September 1999.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Reiff-Marganiec, S., Turner, K.J. (2002). Use of Logic to Describe Enhanced Communications Services. In: Peled, D.A., Vardi, M.Y. (eds) Formal Techniques for Networked and Distributed Sytems — FORTE 2002. FORTE 2002. Lecture Notes in Computer Science, vol 2529. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-36135-9_9
Download citation
DOI: https://doi.org/10.1007/3-540-36135-9_9
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-00141-6
Online ISBN: 978-3-540-36135-0
eBook Packages: Springer Book Archive