Skip to main content
SpringerLink
Log in
Book cover

International Conference on Formal Engineering Methods

ICFEM 2002: Formal Methods and Software Engineering pp 371–382Cite as

A New Algorithm for Service Interaction Detection

  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 2495))

Abstract

This paper presents a new formal method for telephony services engineering allowing feature interactions detection. System and service specifications are provided using the specification language SDL. These specifications are simulated in order to obtain finite state machines. An algorithm allowing to compare service scenarios according to marked transitions is proposed. The algorithm has been implemented and applied to a case study, a telecommunication system on Intelligent Network architecture including the Basic Call Service (BCS) and two supplementary: Originating Call Service (OCS) and Call Forward Unconditional (CFU). The results of this application are presented.

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

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. M. Amer, T. Gray, A. Karmouch, and S. Mankovskii. Feature-Interaction Resolution Using Fuzzy policies. Feature Interactions in Telecommunications and Software systems VI, 2000.

    Google Scholar 

  2. J. A. Bergstra, A. Ponse, and S. A. Smolka, editors. Handbook of Process Algebra. Elsevier, 2001.

    Google Scholar 

  3. T.F. Bowen, F.S. Dworak, C.H. Chow, N.D. Griffeth, G.E. Herman, and Y.-J. Lin. The Feature Interaction Problem in Telecommunication Systems. Proceedings of the Seventh IEE International Conference on Software Engineering for Telecommunications Systems, March 1989.

    Google Scholar 

  4. E. Brinksma. A Theory for Derivation of Tests. In IFIP WG6.1 8th Int. Symp. On Protocol Specification, Testing and Verification, 1998. North Holland.

    Google Scholar 

  5. E. J. Cameron, N. D. Griffeth, Y.-J. Lin, M. E. Nilson, W. K. Schnure, and H. Velthuijsen. A Feature Interaction Benchmark for IN and Beyond. Technical report, Bellcore and PTT Research, 1993.

    Google Scholar 

  6. R. Dssouli, S. Some, J.W. Guillery, and N. Rico. Detection of Feature Interactions with REST. In L.M.S. Logrippo P. Dini, R. Boutaba, editor, 4th Int. Workshop on Feature Interactions in Telecommunications Networks and Software Systems, pages 271–283. IOS Press, June 1997. Netherland.

    Google Scholar 

  7. M. Frappier, A. Mili, and J. Desharnais. Defining and Detecting Feature Interactions. In R.S. Bird and L.G.L.T. Meertens, editors, IFIP TC 2 Working Conference on Algorithmic Languages and Calculi. Chapman and Hall, 1997.

    Google Scholar 

  8. P. Gibson, G. Hamilton, and D. Méry. A taxonomy for Triggered Interactions using Fair Object Semantics. In M. Calder and E. Magill, editors, Feature Interaction in Telecommunications and Software Systems VI. IOS Press, 2000.

    Google Scholar 

  9. J. Hassine, T. Kikuno, L. Logrippo, and M. Nakamura. Feature Interaction Filtering with Use Case Maps at Requirements Stage. Feature Interactions in Telecommunications and Software systems VI, 2000.

    Google Scholar 

  10. ITUT-T. Recommandation Z.100: CCITT Specification and Description Language (SDL). Technical report, IUT-T, 1999.

    Google Scholar 

  11. ITU-T. General Recommendations on Telephone Switching and Signalling, Intelligent Network, Q-Series Intelligent Network Q.1200-Q.1290. Technical report, ITU-T, 1993.

    Google Scholar 

  12. D. O. Keck and P. J. Kuehn. The Feature and Service Interaction Problem in Telecommunications Systems: A Survey. In IEEE Transactions on Software Engineering, volume 24, pages 779–795. TSE, October 1998.

    Google Scholar 

  13. F. Khendek and A. Sefidcon. A Pragmatic Approach for Feature Interaction Detection in Intelligent Networks. In Proceedings of the IEEE International Conference on Computer Communications and Networks, October 1999. Boston, Massachusetts.

    Google Scholar 

  14. T. F. LaPorta, D. Lee, Y.-J. Lin, and M. Yannakakis. Protocol Feature Interactions. Proc. FORTE-PSTV, France, 1998.

    Google Scholar 

  15. D. Lee and M. Yannakakis. Principles and Methods of Testing Finite State Machines-A Survey. The Proceedings of IEEE, 84(8):1090–1123, August 1996.

    Google Scholar 

  16. R. Milner. Communication and Concurrency. Prentice Hall, Englewood Cliffs, New Jersey, 1989.

    MATH  Google Scholar 

  17. A. Petri. Kommunikation mit Automaten. PhD thesis, Universitat Bonn, 1962.

    Google Scholar 

  18. R. Tarjan. Depth-First Search And Linear Graph Algorithms, volume 1. SIAM J. Computer, June 1972.

    Google Scholar 

  19. Verilog. ObjectGEODE Simulator, Reference Manual, 1997.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institut National des Télécommunications, 9 rue Charles Fourier, F-91011, Evry Cedex, France

    Ana Cavalli & Stéphane Maag

Authors
  1. Ana Cavalli
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Stéphane Maag
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. International Institute for Software Technology, United Nations University, Casa Silva Mendes, Est. do Engenheiro Trigo No. 4, P.O. Box 3058, Macao

    Chris George

  2. School of Computer Engineering and Science, Shanghai University, 149 Yanchang Road, Shanghai, 200072, P.R. China

    Huaikou Miao

Rights and permissions

Reprints and permissions

Copyright information

© 2002 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Cavalli, A., Maag, S. (2002). A New Algorithm for Service Interaction Detection. In: George, C., Miao, H. (eds) Formal Methods and Software Engineering. ICFEM 2002. Lecture Notes in Computer Science, vol 2495. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-36103-0_38

Download citation

  • DOI: https://doi.org/10.1007/3-540-36103-0_38

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-00029-7

  • Online ISBN: 978-3-540-36103-9

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation