Paper appeared in: K. Kimbler and L.G. Bouma (Eds.). Feature Interactions in Telecommuni
cations and Software Systems V. IOS Press, 1998, 172-186.

Goal-Oriented Feature Interaction Detection in the Intelligent Network Model

Jalel KAMOUN and Luigi LOGRIPPO 
University of Ottawa

Abstract

In the first part of the paper, a LOTOS model for specifying the
Intelligent Network call model and services belonging to the Distributed
Functional Plane is de scribed. The functional entities involved in
the establishment of call connection and invocation of services are
formally specified.

In the second part of the paper, an approach to detect feature
interactions between IN services is presented. Interactions caused by
violation of features properties are detected. The approach is based on
stating feature properties, on deriving goals satisfying the negation
of these properties, and on use of Goal Oriented Execution to detect
traces satisfying these goals. Such traces, if found, show that
interactions exists between the specified features by showing that a
scenario violating one of the properties of the features can be found.

An example showing the detection of interaction between Originating Call
Screening and Call Forward Always is given.