Conflict detection in call control using first-order logic model checking

Feature Interactions in Software and Communication Systems IX

Volumn , Issue , 2008, Pages 66-82

  Layouni, Ahmed F ^a   Logrippo, Luigi ^a   Turner, Kenneth J ^b  

^a UNIVERSITÉ DU QUÉBEC EN OUTAOUAIS   (Canada)

^b UNIVERSITY OF STIRLING   (United Kingdom)

Author keywords

Alloy; APPEL; Call control; Conflict detection; Feature interaction; Logic model checking; Policy

Indexed keywords

APPEL; CALL CONTROL; CONFLICT DETECTION; FEATURE INTERACTIONS; LOGIC MODEL CHECKING;

ALLOYING; CERIUM ALLOYS; COMMUNICATION SYSTEMS; PUBLIC POLICY; TOOLS;

MODEL CHECKING;

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

References (23)

1. Aiguier, M., Berkani, K. and Le Gall, P: Feature specification and static analysis for interaction resolution. Proc. Formal Methods '06, LNCS 4085, 364-379, 2006.
2. Calder, M., Kolberg, M., Magill, E. H. and Reiff-Marganiec, S.: Feature interaction: A critical review and considered forecast, Computer Networks, 41:115-141, Jan. 2003.
3. Cameron, E. J., Griffeth, N. D., Lin, Y.-J., Nilson, M. E., Schnure, W. K. and Velthuijsen, H.: A feature-interaction benchmark for IN and beyond, IEEE Communications Magazine, 31(8): 18-23, Aug. 1993.
4. Campbell, G., Turner, K.J. Policy calling filtering for call control. These proceedings.
5. Crespo, R.G., Carvalho, M., Logrippo, L.: Distributed resolution of feature interactions for internet applications. Computer Networks 51 (2), 382-397, Feb. 2007.
6. Damianou, N., Dulay, N., Lupu, E., Sloman, M.: The Ponder specification language. Workshop on Policies for Distributed Systems and Networks (Policy2001), Jan. 2001.
7. Felty, A.P., Namjoshi: Feature specification and automatic conflict detection, in Calder, M. and Magill, E. H. (eds.), Proc 6th. Feature Interactions in Telecommunications and Software Systems, 179-192, IOS Press, May 2000.
8. Felty, A.P., Namjoshi: Feature specification and automated conflict detection, ACM Trans, on Software Engineering and Methodology, 12(1):3-27, Jan. 2003.
9. Gorse, N., Logrippo, L., Sincennes, J.: Formal detection of feature interactions with logic programming and Lotos, Software and System Modeling, 5(2): 121- 134, (mistakenly published as Detecting feature interactions in CPL), Jun. 2006.
10. Griffeth, N.D., Blumenthal, R., Gregoire, J.-C., Ohta, T.: Feature interaction detection contest of the fifth international workshop on feature interactions. Computer Networks, 32(4):487-510, April 2000.
11. Jackson, D.: Software Abstractions: Logic, Language, Analysis, MIT Press, 2006.
12. Kolberg, M., Magill, E., Marples, D., Rciff, S.: Second feature interaction context. In: M. Calder, E. Magill (Eds.) Feature Interactions in Telecommunications and Software Systems VI. IOS Press, 2000.
13. Kolberg, M., Magill, E.H. and Wilson, M E.: Compatibility issues between services supporting networked appliances, IEEE Communications Magazine, 41(11): 136-147, Nov. 2003.
14. H.Layouni, A.F.: Methode formelle pour la detection d interactions de fonctionnalites dans les systemes de politiques. Memoire de maitrise, University du Quebec en Outaouais, Departement d'informatique et ingenierie, 2007 (forthcoming).
15. Lennox J, Wu X. and Schulzrinne H.: CPL: A language for user control of Internet telephony services, RFC 3880, Internet Engineering Task Force, Oct. 2004.
16. Montangero, C., ReifT-Marganiec, S. and Semini, L.: Logic-based detection of conflicts in APPEL policies, Proc. Symposium on Fundamentals of Software Engineering (FSEN'07), Feb. 2007.
17. Nakamura, M., Leelaprute, P., Matsumoto, K, Kikuno, T.: On detecting feature interactions in the programmable service environment of Internet telephony. Computer Networks 45(5): 605-624 (2004).
18. Shankar, C., Ranganathan, A., Campbell, R.: An ECA-P policy-based framework for managing ubiquitous computing environments. Mobiquitous 2005, July 2005.
19. Turner, K. J., Blair, L.: Policies and conflicts in call control, Computer Networks, 51(2):496-514, Feb. 2007.
20. Turner, K. J., Reiff-Marganiec, S. and Blair, L.: Appel: The Accent project policy environment/language. Technical Report CSM-161, University of Stirling, UK, Dec. 2005.
21. Turner, K. J., Reiff-Marganiec, S., Blair L., Pang, J., Gray, T., Perry, P. and Ireland, J.: Policy support for call control, Computer Standards and Interfaces, 28(6):635-649, 2006.
22. Wu, X. and Schulzrinne, H.: Handling feature interactions in the Language for End System Services, in Reiff-Marganiec, S. and Ryan, M. D. (eds.), Proc. 8th. Feature Interactions in Telecommunications and Software Systems, 270-287, IOS Press, 2005.
23. Wu, X. and Schulzrinne, H.: Handling Feature Interactions in the Language for End System Services, Computer Networks 51 (2), 515-535, 2007.