Design and verification of service feature interaction manager on AIN using Z schema

In this paper, we design a feature interaction manager(FIM) used in the AIN switching system. By analyzing the interactions between features that have been the major obstacle of introducing the AIN service, it is shown that most of the interactions are caused by sharing of limited resources, and on the basis of this knowledge, an interaction testing and handling logic is designed. Compared with other methods, the FIM suggested here has advantages such as a simple process logic, small memory space requirements, and the runtime processing, and it is independent of adding new features. The FIM is designed using Z schema. This paper also shows the testing and handling process of interactions, using set relation of Z schema.