基于INAP的智能业务形式化描述和冲突检测

您当前的位置：

首页 >

文章列表页 >

基于INAP的智能业务形式化描述和冲突检测

更新时间：2024-10-14

- 基于INAP的智能业务形式化描述和冲突检测
- Issue 2, Pages: 87-92(2001)
- 作者机构：
  
  北京邮电大学,北京,100876
- 作者简介：
- 基金信息：
- DOI：
  CLC： TN915.5
- Published：2001
- 稿件说明：
移动端阅览
[1]元兆瑞,杨放春.基于INAP的智能业务形式化描述和冲突检测[J].通信学报,2001(02):87-92.

[J]. 2001, (2): 87-92.
[1]元兆瑞,杨放春.基于INAP的智能业务形式化描述和冲突检测[J].通信学报,2001(02):87-92. DOI：

[J]. 2001, (2): 87-92. DOI：

摘要

基于业务自然语言定义的业务形式化描述具有模糊性

不能精确地检测出业务冲突的问题

本文提出了一种新的基于智能网应用协议INAP)的业务形式化描述和冲突检测方法

Abstract

关键词

Keywords

references

Views

595

下载量

CSCD

Alert me when the article has been cited

提交

Tools

Publicity Resources

应用于智能网软件的并发对象模型

智能网SCP的两级并发模型与软件容错研究

对基于虚拟机机制的智能网SCF程序结构的研究

全面支持业务开发的智能网业务生成环境

中国智能网UPT业务计费方法的研究

Related Author

陈俊亮

王柏

艾波

杨放春

刘云龙

郑少仁

陈涓

郭传雄

Related Institution

北京邮电大学

北京邮电大学程控交换技术与通信网国家重点实验室

通信工程学院交换技术与ATM研究中心!南京210016

北京邮电大学程控交换与通信网国家重点实验室

北京邮电大学程控交换与通信网国家重点实验室北京100876

AI问答

⁰

基于INAP的智能业务形式化描述和冲突检测

DOI：

摘要

Abstract

关键词

Keywords

references