电信业务冲突出的研究现郑州智能网中的解决方案研究.pdf

第六届全国青年通信学术会议论文集 电信业务冲突的研究现状和在智能网中的解决方案 元兆瑞 杨放春 北京邮电大学程控交换技术与通信网国家重点实验室 北京 100876 摘要 电信业务冲突是影响网络安全性和业务质1的t要问题.本文概述了当前研究业务冲 突的主要方法，并提出了在智能网系统中研究和解决业务冲突的方案，分析了技术要点. 关性词 智能网业务冲突 一、 引官 电信业务指用户能从电信网上得到的服务，例如呼叫转移、呼叫等待、热线电话等。通 信网中引入了智能网、ISDN等新技术后，新业务越来越多。如果一个呼叫激活多个电信业 务，并发执行的各业务属性之间会相互影响。此时，如果一个业务的行为被另一业务改变， 或者某一业务的行为和单独执行时的行为不一致，即发生了电信业务冲突川 。例如，用记 账卡业务拨打免费电话，会导致计费冲突。如果主叫用户申请了主叫号码屏蔽业务，被叫用 户申请了主叫号码显示业务，主叫呼叫被叫时电信系统将无法决定是否提供主叫号码。 电信业务冲突是电信领域公认的世界性难题，美国和欧洲在 90年代初期开展了对电信 业务冲突的研究，在国内，这还是一个全新的研究领域。但是随着国内通信技术的发展，在 电信网上开发和运营多种多样的新业务是必然趋势，例如智能网业务、ISDN业务、多媒体 业务、个人通信业务等等。在这种情况下，电信业务之间的相互干扰将成为阻碍电信网发展 的重要问题。本文综述了国际上通用的三种电信业务冲突研究方法— 业务冲突检测、避 免和解决，分析了各自的优缺点，并提出了在智能网系统中解决电信业务冲突的方案。 二、业务神央植侧技术 对业务冲突检测的研究集中在使用形式化方法进行业务描述，并利用形式化方法的推导 功能推导出业务对之间的冲突.在电信新业务加载到电信网络上运行之前，往往要通过形式 化方法对业务行为进行静态分析，以最大限度保证网络安全性和业务质全。同时，这一阶段 的分析结果，也是后来在电信网络中动态解决业务冲突的基础。 用于描连业务属性和推导业务冲突的形式化方法必需具有以下能力: (1)对老式的电话业务 ((POTS)，附加业务，智能业务的行为和特征提供无二义性描述; (2)支持对进程并发的描述 ; (3)提供推导和验证工具，以支持对并发进程之间冲突问题的检测; (4)该方法可以在计算机上实现。 目前，应用在业务冲突检测方面的形式化描述方法主要可以分为三类:基于数理逻辑的 方法，如时序逻辑:基于进程代数的方法，如通信顺序进程;基于有限状态自动机的方法 如SDL。虽然检测方法多种多样，但它们遵循的模式基本一致，描述如下,'I 设N表示对网络模型的描述，J表示业务正常终止，5，和5:表示对业务I和业务2的 行为描述，(D,,。:表示对业务I和业务2的特性描迷，并且N.S,}D(，N.Si=*4D, 若N.S,.S,-q，并且呻S,.S,} 。，n。:，则业务不存在相互干扰，否则存在 相互干扰。 0表示业务和网络模型的复合关系运算，由具体的描述方法确定。 下面，以逻辑的方法为例对用形式化方法检测业务冲突加以说明: (1)引入一系列逻辑规则描述电信系统行为 idle(x)一 ready(x) ready(x)nidle(y)一 d'}1r")-->calling(x,y)ifxxy ready(x)入busy(y)-magxr)-->busytone(x) 271 第六届全国青年通信学术会议论文集 其中，x,:为话机号码;idle,ready,busy-tone,dial分别表示话机空闲、就绪、 听忙音、拨号;calli.g表示主叫呼叫被叫. (2)用一系列断言省述电信系统特征 read叭x)=vial_tone calling(x,y)> ringingx(Y())入ring_back_tone(x) ring_back_tone浓示回铃音。类似的公式还有很多，不一一A举。 (3)用逻辑规则描述业务属性