Skip to main content
SpringerLink
Log in

Detecting feature interaction in CPL

  • Regular Paper
  • Published:
Software & Systems Modeling Aims and scope Submit manuscript

Abstract

This article addresses the problem of detecting feature interactions in the area of telephony systems design. The proposed approach consists of two phases: filtering and testing. The filtering phase detects possible interactions by identifying incoherencies in a logic specification of the main elements of the features, consisting of preconditions, triggers, results and constraints. If incoherencies are identified, then an interaction is suspected, test cases corresponding to the suspected interaction are generated and testing is applied to see if the interaction actually exists. Two case studies, carried out on established benchmarks, show that this approach gives good results in practice.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Zave, P.: Architectural solutions to feature-interaction problems in telecommunications. In: Calder, M., Magill, E. (eds.) Feature Interactions in Telecommunications and software systems VI, pp. 10–22. IOS Press (1998)

  2. Kimbler, K., Bouma, L.G.: Feature Interactions in Telecommunications and software systems VI. IOS Press (1998)

  3. Calder, M., Magill, E.H.: Feature Interactions in Telecommunications and software systems VI. IOS Press (2000)

  4. Amyot, D., Logrippo, L.: (Eds.). Feature Interactions in telecommunications and software systems VII. IOS Press (2003)

  5. Calder, M., Kolberg, M., Magill, E.H., Reiff-Marganiec, S.: Feature interaction: A critical review and considered forecast. In Computer Networks, vol 41 (1) 115–141. Elsevier Science (2003)

  6. Reiff-Marganiec, S., Turner, K.J.: Feature interactions in policies. Computer Networks 45(5), 569–584 (2004)

    Article  Google Scholar 

  7. Dini, P., Clemm, A., Gray, T., Lin, F.J., Logrippo, L., Reiff-Marganiec, S.: Policy-enabled mechanisms for feature interactions: Reality, expectations, challenges. Computer Networks 45(5), 585–603 (2004)

    Article  Google Scholar 

  8. Cameron, E.J., Griffeth, N., Lin, Y., Nilson, M.E., Schnure, W.K., Velthuijsen, H.: A feature interaction benchmark for in and beyond. In Workshop on Feature Interactions in telecommunications Systems, pp. 1–23. IEEE Communications 31 (1993) 64–69 (revised and reprinted In: Bouma, L.G., Velthuijsen, H. (eds.), IOS Press, Amsterdam) (1994)

  9. Amyot, D., Gray, T., Liscano, R., Logrippo, L., Sincennes, J.: Interactive conflict detection and resolution for personalized features. To appear in the Journal of Communications and Networks (2004)

  10. Kimbler, K.: Addressing the interaction problem at the enterprise level. In Dini, P., Boutaba, R., and Logrippo, L. (eds.) Feature Interactions in Telecommunications Networks IV(FIW'97), pp. 13–22 (1997)

  11. Metzger, A., Webel, C.: Feature interaction detection in building control systems by means of a formal product model. In: Amyot, D., Logrippo, L. (eds.) Feature Interactions in Telecommunications and software systems VII, pp. 105–121. IOS Press, (2003)

  12. Buhr, R.J.A., Amyot, D., Elammari, M., Quesnel, D., Gray, T., Mankovski, S.: Feature-interaction visualization and resolution in an agent environment. In Kimbler, K. and Bouma, L.G. (eds.) Feature Interactions in Telecommunications and software systems V, pp. 135–149. IOS Press (1998)

  13. Marples, D., Magill, E.H.: The use of rollback to prevent incorrect operation of features in intelligent network based systems. In: Kimbler, K. Bouma, L.G. (eds.) Feature Interactions in Telecommunications and software systems V, pp. 115–134. IOS Press (1998)

  14. Jia, Y., Atlee, J.M.: Run-time management of feature interactions. In ICSE Workshop on Component-Based Software Engineering (CBSE6) (2003)

  15. Black, U.: The Intelligent Network: Customizing Telecommunication Networks and Services. Prentice Hall (1998)

  16. Rosenberg, J., Schulzrinne, H., Camarillo, G., Johnston, A., Peterson, J., Sparks, R., Handley, M., Schooler, E.: SIP: Session Initiation Protocol. Internet Engineering Task Force (IETF), June (2002) RFC-3261

  17. Lennox, J., Schulzrinne, H.: Call Processing Language Framework and Requirements. Internet Engineering Task Force (IETF), May 2000. RFC-2824

  18. Bolognesi, T., Briskma, E.: Introduction to the ISO specification language LOTOS. In Computer Networks and ISDN Systems 14 (1987), pp. 25–59. Elsevier (1989)

  19. Logrippo, L., Faci, M., Haj-Hussein, M.: An Introduction to LOTOS: Learning by Examples. Computer Networks and ISDN Systems 23(5), 325–342, (1992). Errata in 25(1), 99–100 (1992)

  20. Turner, K.J.: Using Formal Description Techniques. J. Wiley & sons Ltd. (1993)

  21. Milner, R.: Communication and Concurrency. Prentice-Hall (1989)

  22. Hoare, C.A.R.: Communicating Sequential Processes. Prentice-Hall (1985)

  23. Gorse, N.: The feature interaction problem: Automatic filtering of incoherences & generation of validation test suites at the design stage. Master's thesis, University of Ottawa, Ottawa (2001)

  24. Clocksin, W.F., Mellish, C.S.: Programming in Prolog. Springer, 4th edition (1994)

  25. Wielemaker, J.: SWI Prolog reference manual. Dept. of Social Science Informatics (SWI) (2000)

  26. Pavón, S., Larrabeiti, D., Rabay, G.: LOtos LAboratory user manual (version 3r6). Universidad Politécnica de Madrid (1995)

  27. Amyot, D., Charfi, L., Gorse, N., Gray, T., Logrippo, L., Sincennes, J., Stepien, B., Ware, T.: Feature description and feature interaction analysis with Use Case Maps and LOTOS In: Calder, M., Magill, E. (eds.) Feature Interactions in Telecommunications and software systems VI, pp. 274–289. IOS Press (2000)

  28. Yoneda, T., Ohta, T.: A formal approach for definitions and detection of feature interactions. In: Kimbler, K., Bouma, L.G. (eds.) Feature Interactions in Telecommunications and software systems V, pp. 202–216. IOS Press (1998)

  29. Yoneda, T., Ohta, T.: Automatic elicitation of knowledge for detecting feature interactions in telecommunications services. In IEICE Transactions on Information and Systems, pp. 640–647. IEICE, Japan (2000)

    Google Scholar 

  30. Xu, Y., Logrippo, L., Sincennes, J.: Detecting feature interactions in pair-wise cpl scripts. To appear in the Journal of Network and Computer Applications (2004)

  31. Barbuceanu, M., Gray, T., Mankowski, S.: How to make your agents fulfil their obligations. In Proceedings of PAAM-98 (1998)

Download references

Author information

Authors and Affiliations

  1. Dépt. d'informatique et recherche opérationnelle, Université de Montréal, Montréal, Canada

    Nicolas Gorse

  2. Dépt. d'informatique et ingénierie, Université du Québec en Outaouais, Gatineau, Canada

    Luigi Logrippo

  3. School of information technology and engineering, ,University of Ottawa, Ottawa, Canada

    Jacques Sincennes

Authors
  1. Nicolas Gorse
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Luigi Logrippo
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Jacques Sincennes
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Nicolas Gorse.

Additional information

Communicated by Robert France

Nicolas Gorse received a Master of Computer Science from the University of Ottawa, School of Information Technology and Engineering in 2001.

He is currently a Ph.D. candidate in the Département d'Informatique et Recherche Opérationnelle of the Université de Montréal. His research interests relate to formal methods and their application in the design and verification of complex electronic systems at high levels of abstraction.

Luigi Logrippo received a degree in law from the University of Rome (Italy) in 1961, and in the same year he started a career in computing. He worked for several computer companies and in 1969 he obtained a Master of Computer Science from the University of Manitoba, followed by a Ph.D. of Computer Science from the University of Waterloo in 1974.

He was with the University of Ottawa for 29 years, where he was Chair of the Computer Science Department for 7 years. In 2002 he moved to the Université du Québec en Outaouais, Département d'Informatique et Ingénierie, while remaining associated with the University of Ottawa as an Adjunct Professor.

His interest area is formal and logic-based methods and their applications in the design of communications systems. For a number of years he worked on the development of tools and methods for the language LOTOS. Current research deals with the formal analysis of advanced communications services made possible by internet telephony, of the policies that govern them, and of their interactions, in application areas such as presence features and e-commerce contracts.

Jacques Sincennes is a research programmer/systems analyst at the University of Ottawa, School of Information Technology and Engineering. He has held this position for the past 17 years. He is coauthor of a number of papers and a patent application.

An erratum to this article is available at http://dx.doi.org/10.1007/s10270-005-0104-3.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Gorse, N., Logrippo, L. & Sincennes, J. Detecting feature interaction in CPL. Softw Syst Model 5, 121–134 (2006). https://doi.org/10.1007/s10270-005-0101-6

Download citation

  • Received:

  • Revised:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10270-005-0101-6

Keywords

Search

Navigation