| 基于INAP的智能业务形式化描述和冲突检测 |
| |
| 引用本文： | 元兆瑞,杨放春.基于INAP的智能业务形式化描述和冲突检测[J].通信学报,2001,22(2):87-92. |
| |
| 作者姓名： | 元兆瑞 杨放春 |
| |
| 作者单位： | 北京邮电大学, |
| |
| 基金项目： | 高等学校博士学科点专项科研基金资助项目 |
| |
| 摘 要： | 基于业务自然语言定义的业务形式化描述具有模糊性，不能精确地检测出业务冲突的问题，本文提出了一种新的基于智能网应用协议INAP的业务形式化描述和冲突检测方法。
|
| 关 键 词： | 智能网 业务冲突 INAP 智能业务形式化描述 冲突检测 |
| 文章编号： | 1000-436X(2001)02-0087-06 |
| 修稿时间： | 1998年12月4日 |
Formal specification of IN
services and feature interaction detection based on INAP |
| |
| YUAN Zhao rui,YANG Fang chun.Formal specification of IN
services and feature interaction detection based on INAP[J].Journal on Communications,2001,22(2):87-92. |
| |
| Authors: | YUAN Zhao rui YANG Fang chun |
| |
| Abstract: | 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 |
| |
| Keywords: | intelligent network feature interaction |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
