Formal Approaches for Detecting Feature Interactions, Their Experimental
Results, and Application to VoIP
T. YONEDA, S. KAWAUCHI, J. YOSHIDA, and T. OHTA
SOKA University, 1-236, Tangi-cho, Hachioji-shi 192-8577 Japan
ohta@t.soka.ac.jp
Abstract. Services that operate normally independently will behave
differently when initiated simultaneously with another service. This behavior
is called feature interaction. This paper describes the results of experiments
with formal approaches for detecting feature interactions in telecommunication
services, evaluation of these results, and application to VoIP. One of the
most difficult problems in this field is terminal assignment, which was discussed
at the FIREWORKS workshop which was a collocated conference just before
FIW2000, and nobody could resolve the problem. This paper describes briefly
how to make terminal assignments. The results of experiments were evaluated
by comparing them to a benchmark based on FIW98. The detection system was
applied to a validation server, which was designed for an active VoIP gatekeeper.
Keywords: Feature interaction detection, filtering, specification validation,
VoIP