Policy conflict filtering for call control

Feature Interactions in Software and Communication Systems IX

Volumn , Issue , 2008, Pages 83-98

  Campbell, Gavin A ^a   Turner, Kenneth J ^a  

^a UNIVERSITY OF STIRLING   (United Kingdom)

Author keywords

Call control; Conflict detection; Ontology; OWL; Policy

Indexed keywords

CALL CONTROL; COMBINATORIAL PROBLEM; CONFLICT DETECTION; CONFLICT DETECTION AND RESOLUTION; DOMAIN KNOWLEDGE; FEATURE INTERACTIONS; OWL; POTENTIAL CONFLICT;

COMMUNICATION SYSTEMS; ONTOLOGY; PUBLIC POLICY;

TOOLS;

EID: 84881644098     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (18)

1. R.B. D'Agostino and M.A. Stephens. Goodness-of-Fit Techniques. Marcel Dekker. 1986.
2. M. Calder and E. Magill, editors. Feature Interactions in Telecommunications Systems VI. IOS Press. 2000.
3. P. Dini, R. Boutaba and L. Lognppo editors. Feature Interactions in Telecommunications Systems IV. IOS Press. 1997.
4. L. du Bousquei. Feature interaction detection using testing and model-checking, experience report. In World Congress on Formal Methods, volume 1708 of LNCS, pages 622-641, Toulouse, France,September 1999. Spnnger Y'erlag.
5. L. du Bousquet, F. Ouabdcsselam, J.-L. Richier, and N. Zuanon. Lutess: A specification- driven testing environment for synchronous software. In 21st International Conference on Software Engineering ACM Press. May 1990.
6. L. du Bousquet, F. Ouabdcsselam. J.-L. Richier. and N. Zuanon. Feature interaction detection using synchronous approach and testing. Computer Networks and ISDN Systems, 11(4):419- 446.2000.
7. A. P. Felly and K. S. Namjoshi. Feature specification and automated conflict detection. In Feature Interactions in Telecommunications and Software Systems VI. IOS Press, 2000.
8. J. P Gibson. Feature requirements models: Understanding interactions. In Feature Interactions in Telecommunications' and Software Systems IV, pages 46-60. IOS Press, 1997.
9. N. Halbwachs. Synchionous programming of reactive systems, a tutorial and commented bibliography. In Tenth International Conference on Computer-Aided Verification (CAV), Vancouver (B.C.), June 1998. LNCS 1427. Spnnger.
10. T.P. Hettmansperger. Statistical Inference based on Ranks. Wiley. 1984.
11. J. Kamoun and L. Lognppo. Goal-onented feature interaction detection in the intelligent network model. In FIW, pages 172-186, 1998.
12. K. Kimbler and L.G. Bouma. editors. Feature Interactions in Telecommunications Systems V IOS Press. 1998.
13. L. Lamport. Proving die corrcctncss of multiprocess programs. IEEE Transactions on Software Engineering, 3(2): 125-143. March 1977.
14. J.F. Lawless. Statistical Models and Methods for Lifetime Data, 2nd edition. Wiley, 2003.
15. G.J. McLachlan and T. Krishnan. The EM algorithm and extensions. Wiley, 1997.
16. M. Nakamura, Y. Kakuda and T. Kikuno. Petri-Net Based Detection Method for Non- Deterministic Feature Interactions and its Experimental Evaluation. In Feature Interactions in Telecommunications Networks IV. June 1997.
17. M. Plath and M. Ryan. The feature construct for SMV: Semantics. In Feature Interactions in Telecommunications Networks VI. May 2000.
18. T. Yoneda, S. Kawauchi, J. Yoshida and T. Ohta. Formal Approaches for Detecting Feature Interactions, Their Experimental Results, and Application to VoIP. In Feature Interactions in Telecommunications and Software Systems VII, IOS Press. June 2003.