Formal specification of IN services and feature interaction detection based on INAP
Yuan Zhao · Journal of China Institute of Communications · 2001
Most of the formal specifications of telecommunication sevices derived from their definition in the natual laguage are not precise enough for feature interaction detection In this paper ,we propose a new formal method based on INAP (intelligent network application protocol),for IN service specification and interaction detection