Abstract
Feature interaction is a kind of inconsistent conflict between multiple communication services. In this paper we present an automatic method for detecting feature interactions in service specifications. This method is based on symbolic model checking which can perform verification by symbolically representing the search space with binary decision diagrams. Experimental results show that the method outperforms a previous method based on explicit state traversal, in terms of time and memory required for detection.
This is a preview of subscription content, log in via an institution to check access.
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
E. M. Clarke, E. A. Emerson, and A. P. Sistla, “Automatic verification of finite-state concurrent systems using temporal-logic specifications,” ACM Trans. Programming Languages and Systems, vol. 8, no. 2, pp. 244–263, 1986.
R. Dssouli, S. Some, J. W. Guillery, and N. Rico, “Detection of feature interactions with REST,” Porc. of Fourth Workshop on Feature Interactions in Telecommunications Systems, pp. 271–283, July 1997.
A. Gammelgaard, E. J. Kristensen, “Interaction detection, a logical approach,” Porc. of Second Workshop on Feature Interactions in Telecommunications Systems, pp. 178–196 1994.
Y. Harada, Y. Hirakawa, T. Takenaka, and N. Terashima, “A conflict detection support method for telecommunication service descriptions,” IEICE Trans. Commun., vol. E75-B, no. 10, Oct. 1992.
Y. Hirakawa and T. Takenaka, “Telecommunication service description using state transition rules,” Proc. of IEEE Int’l Workshop on Software Specification and Design, pp. 140–147, Oct. 1991
A. Koumsi, “Detection and resolution of interactions between services of telephone networks,” Proc. of Fourth Workshop on Feature Interactions in Telecommunications Systems, pp. 78–92, July 1997.
K. L. McMillan, Symbolic Model Checking, Kluwer Academic, 1993.
M. Nakamura and T. Kikuno, “Exploiting symmetric relation for efficient feature interaction detection,” IEICE Trans. on Information and Systems, vol. E82-D, No. 10, pp. 1352–1363, 1999.
T. Ohta and Y. Harada, “Classification, detection and resolution of service interaction in telecommunication services,” Porc. of Second Workshop on Feature Interactions in Telecommunications Systems, pp. 60–72 1994.
M. Plath and M. Ryan, “Plug-and-play features,” In W. Bouma, editor, Feature Interactions in Telecommunications Systems V, IOS Press, pp. 150–164, 1998.
ITU-T Recommendations Q.1200 Series, Intelligent Network Capability Set 1 (CS1), Sept. 1990.
Bellcore, LSSGR Feature Common to Residence and Business Customers I,II,IIIi Issue 2, July 1987.
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
Hamada, T., Tsuchiya, T., Nakamura, M., Kikuno, T. (2002). Using Symbolic Model Checking to Detect Service Interactions in Telecommunication Services. In: Chong, I. (eds) Information Networking: Wired Communications and Management. ICOIN 2002. Lecture Notes in Computer Science, vol 2343. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45803-4_58
Download citation
DOI: https://doi.org/10.1007/3-540-45803-4_58
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-44256-1
Online ISBN: 978-3-540-45803-6
eBook Packages: Springer Book Archive