Journal of Communications and Networks

The Korean Institute of Commucations and Information Sciences (한국통신학회)
권호 표지

Interactive Conflict Detection and Resolution for Personalized Features

  • Published : 2005.09.01
Download PDF
⟨ Previous Next ⟩

Abstract

In future telecommunications systems, behaviour will be defined by inexperienced users for many different purposes, often by specifying requirements in the form of policies. The call processing language (CPL) was developed by the IETF in order to make it possible to define telephony policies in an Internet telephony environment. However, user-defined policies can hide inconsistencies or feature interactions. In this paper, a method and a tool are proposed to flag inconsistencies in a set of policies and to assist the user in correcting them. These policies can be defined by the user in a user-friendly language or derived automatically from a CPL script. The approach builds on a pre-existing logic programming tool that is able to identify inconsistencies in feature definitions. Our new tool is capable of explaining in user-oriented terminology the inconsistencies flagged, to suggest possible solutions, and to implement the chosen solution. It is sensitive to the types of features and interactions that will be created by naive users. This tool is also capable of assembling a set of individual policies specified in a user-friendly manner into a single CPL script in an appropriate priority order for execution by telecommunication systems.

Keywords

References

  1. M. Amer, A. Karmouch, T. Gray, and S. Mankovskii, 'Feature interaction resolution using fuzzy policies,' in Feature Interactions in Telecommunications and Software Systems VI (Proc. FIW 2000), M. Calder and E. Magill, Eds., IOS Press, May 2000, pp. 94-112
  2. T. Gray, R. Liscano, B. Wellman, A. Quan-Haase, T. Radhkrishnan, and D. Choi, 'Context and intent in call processing,' in Feature Interactions in Telecommunications and Software Systems VII (Proc. FIW 2003), IOS Press, 2003, pp. 177-184
  3. S. Reiff-Marganiec and K. J. Turner, 'Feature interactions in policies,' Computer Networks, vol. 45, pp. 569-584, 2004 https://doi.org/10.1016/j.comnet.2004.03.004
  4. D. Amyot and L. Logrippo, Eds., Feature Interactions in Telecommunications and Software Systems VII (Proc. FIW 2003), IOS Press, 2003
  5. M. Calder, E. Magill, M. Kolberg, and S. Reiff-Marganiec, 'Feature interactions: A critical review and considered forecast,' Computer Networks vol. 41, pp. 115-141, 2003 https://doi.org/10.1016/S1389-1286(02)00352-3
  6. U. Black, The Intelligent Network, Prentice-Hall, 1998
  7. A. B. Johnston, SIP: Understanding the Session Initiation Protocol, Artech House, 2001
  8. L. Lennox, X. Wu, and H. Schulzrinne, 'Call processing language (CPL): A language for user control of Internet telephony services,' RFC 3880, Internet Engineering Task Force, Oct. 2004
  9. J. Lennox and H. Schulzrinne, 'Feature interaction in Internet telephony,' in Feature Interactions in Telecommunications and Software Systems VI (Proc. FIW 2000), M. Calder and E. Magill, Eds., IOS Press, May 2000, pp.38-50
  10. J. D. Moffett and M. S. Sloman, 'Policy conflict analysis in distributed system,' J. Organizational Computing, pp. 1-22, 1994
  11. S. Thebaut, W. Scott, E. Rustici, P. Kaikini, L. Lewis, R. Malik, S. Sycamore, R. Dev, O. Ibe, A. Aggarwal, and T. Wohlers, 'Policy management and conflict resolution in computer networks,' US Patent 5,889,953, 30 Mar. 1999
  12. E. Lupu and M. S. Sloman, 'Conflicts in policy based distributed system management,' IEEE Trans. Software Eng., vol. 25, Nov./Dec. 1999
  13. Z. Fu, S. F. Wu, H. Huang, K. Loh, and F. Gong, 'IPSec/VPN security policy: Correctness, conflict detection, and resolution,' in Proc. IEEE Policy Workshop 2001, Jan. 2001
  14. S. Reiff-Marganiec and K. J. Turner, 'Use of logic to describe enhanced communication services,' in Formal Techniques for Networked and Distributed Systems (Proc. FORTE 2002), D. A. Peled and M. Y. Vardi, Eds., LNCS 2529, Springer-Verlag, 2002, pp. 130-145
  15. T. Bray, J. Paoli, and C. M. Sperberg-McQueen, Extensible Markup Language (XML) 1.0, 2nd ed., W3C Recommendation REC-xml-20001006, World Wide Web Consortium (W3C), Oct. 2000
  16. X. Wu and H. Schulzrinne, 'Location-based services in Internet telephony,' in Proc. IEEE CCNC 2005, Jan. 2005
  17. X. Wu and H. Schulzrinne, 'Feature interactions in Internet telephony end systems,' Technical report, department of computer science, columbia university, NY, U.S.A., Jan. 2004
  18. N. Gorse, 'The feature interaction problem: Automatic filtering of incoherences & generation of validation test suites at the design stage,' M.Sc. thesis, SITE, University of Ottawa, Canada, Sept. 2000
  19. N. Gorse, L. Logrippo, and J. Sincennes, 'The feature interaction problem: Automatic filtering of incoherences and generation of validation test suites at the design stage,' J. Software & Syst. Modeling, to be published
  20. A. Colmerauer, 'Prolog in 10 figures,' Commun. the ACM, vol. 28, pp. 1296-1310, 1985 https://doi.org/10.1145/214956.214958
  21. D. Raggett, A. Le Hors, and J. Jacobs, HTML 4.01 specification, W3C Recommendation REC-html401-19991224, World Wide web Consortium (W3C), Dec. 1999.
  22. F. Dawson and D. Stenerson, 'Internet calendaring and scheduling core object specification (iCalendar),' RFC 2445, Internet Engineering Task Force, Nov. 1998
  23. M. Nakamura, P. Leelaprute, K. Matsumoto, and T. Kikuno, 'Semantic warnings and feature interaction in call processing language on Internet telephony,' in Proc. IEEE SAINT 2003, Jan. 2003, pp. 283-290
  24. M. Nakamura, P. Leelaprute, K. Matsumoto, and T. Kikuno, 'Detecting script-to-script interactions in call processing language,' in Feature Interactions in Telecommunications and Software Systems VII (Proc. FIW 2003), pp.215-230
  25. M. Nakamura, P. Leelaprute, K. Matsumoto, and T. Kikuno, 'On detecting feature interactions in the programmable service environment of Internet telephony,' Computer Networks, vol. 45, pp. 605-624, 2004 https://doi.org/10.1016/j.comnet.2004.03.003
  26. Y. Xu, 'Detecting feature interactions and feature inconsistencies in CPL,' M.Sc. thesis, SITE, University of Ottawa, Canada, Sept. 2003
  27. Y. Xu and L. Logrippo, 'Detecting feature interactions in CPL,' submitted for publication
  28. S. McGlashan et al., Voice Extensible Markup Language (VoiceXML) Version 2.0, W3C Candidate Recommendation, 20 Feb. 2003
  29. L. Blair and K. J. Turner, 'Handling policy conflicts in call control,' in Feature Interactions in Telecommunications and Software Systems VII (Proc. ICFI 2005), S. Reiff-Marganiec and M. D. Ryan, Eds., IOS Press, June 2005, pp. 39-57
  30. P. Dini, A. Clemm, T. Gray, F. J. Lin, L. Logrippo, and S. Reiff-Marganiec, 'Policy-enabled mechanisms for feature interactions: Reality, expectations, challenges,' Computer Networks, vol. 45, pp. 585-603, 2004 https://doi.org/10.1016/j.comnet.2004.03.001