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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
M. Amer, T. Gray, A. Karmouch, and S. Mankovskii. Feature-Interaction Resolution Using Fuzzy policies. Feature Interactions in Telecommunications and Software systems VI, 2000.
J. A. Bergstra, A. Ponse, and S. A. Smolka, editors. Handbook of Process Algebra. Elsevier, 2001.
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.
E. Brinksma. A Theory for Derivation of Tests. In IFIP WG6.1 8th Int. Symp. On Protocol Specification, Testing and Verification, 1998. North Holland.
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.
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.
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.
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.
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.
ITUT-T. Recommandation Z.100: CCITT Specification and Description Language (SDL). Technical report, IUT-T, 1999.
ITU-T. General Recommendations on Telephone Switching and Signalling, Intelligent Network, Q-Series Intelligent Network Q.1200-Q.1290. Technical report, ITU-T, 1993.
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.
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.
T. F. LaPorta, D. Lee, Y.-J. Lin, and M. Yannakakis. Protocol Feature Interactions. Proc. FORTE-PSTV, France, 1998.
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.
R. Milner. Communication and Concurrency. Prentice Hall, Englewood Cliffs, New Jersey, 1989.
A. Petri. Kommunikation mit Automaten. PhD thesis, Universitat Bonn, 1962.
R. Tarjan. Depth-First Search And Linear Graph Algorithms, volume 1. SIAM J. Computer, June 1972.
Verilog. ObjectGEODE Simulator, Reference Manual, 1997.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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