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

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 limited resources, and on the basis of this knowledge, an interaction testing and handling logic is designed. Compared with other methods, the FIM has advantages such as a simple process logic, small memory space requirements, and runtime processing, and it is independent of new features. The FIM is designed using Z schema. This paper also shows the testing and handling process of interactions using the set relation of Z schema