基于corba的智能网业务逻辑设计和业务验证的研究-计算机系统结构专业论文.docxVIP

摘要摘要 摘要 摘要 本文研究了基于CORBA的智能网业务生成技术，提出了基于CORBA的分布式智 能网体系结构。同时本文给出了CORBA平台上智能网业务的系统设计，即提出利用 GSL(全局业务逻辑)表、SIB(业务独立构件)表和EDP(事件检测点)表等来实现 业务逻辑。相关CORBA对象(如SIB对象、SSD(业务支持数据)对象、FSM(有限 状态机)对象和业务逻辑对象等)的设计和AAB(自动更换帐单)等业务的设计也被 给出。本文还研究了智能网业务的验证技术，提出了一种描述智能网业务的规范，并将 规范中涉及并发、同步等的描述转化成Petri网模型，探讨了在该模型上的验证方法。 关键词：智能网CORBA，业务验证Petr i网 。一7 L／L／ ABSTRACTABSTRACT ABSTRACT ABSTRACT This PaDeldiscusses the technique of CORBA based Intelligent Network service creation，proposes the architecture of the distributed CORBA based 1N，and presents the system design of CORBA based IN services using GSL(Global Service Logic)table，SIB (Service Independent Building)table，and EDP(Event Detection Point)table．Also，the implementation of some CORBA objects，such as SIB objects，SSD(Service Supported Data) objects，FSM(Finite State Machine)objects，service logic objects，and the Automatic Alternative Billing service is given．This paper also introduces a specification of service logic according to the analysis of IN services，and presents a model of the components of the specification that are related to concurrency and synchronization with Petri Nets．The verification on the modeliS then diSCussed． Keyword：Intdligent Networks CORBA Service Verification Petri Nets y五0 y五0 5‘O 0 声明 本人声明所呈交的论文是我个人在导师指导下进行的研究工作及取得的研究成 果。尽我所知，除了文中特别加以标注和致谢中所罗列的内容以外，论文中不包含其 他人已经发表或撰写过的研究成果；也不包含为获得西安电子科技大学或其他教育机 构的学位或证书而使用过的材料。与我一同工作的同志对本研究所做的任何贡献均已 在论文中做了明确的说明并表示了谢意。 本人签名：丛釜迸 日期 2tof?|．3 关于论文使用授权的说明 本人完全了解西安电子科技大学有关保留和使用学位论文的规定，即：学校有权 保留送交论文的复印件，允许查阅和借阅论文；学校可以公布论文的全部或部分内容， 可以允许采用影印、缩印或其他复制手段保存论文。(保密的论文在解密后遵守此规 定) 导师签名 幽 本人签名：查堕孽 日期：塑!￡：!：主 日期：基Qt厶￡! 、 第一章绪论 第一章绪论 ! 第一章绪论 1．1智能网的发展 电信业务发展的两大趋势促使智能网的出现，一是随着经济技术的发展，人们已不 再满足于原有的电话电信业务，不断向电信部门提出各种新的业务需求，而且有时希望 自己能够参与这些新业务的管理，这就要求电信部门提供比较灵活的业务：二是电信部 门转向开放式经营，竞争越来越激烈，要占领市场就必须快速方便地提供新业务并不断 降低业务生成的成本。 智能网是为了快速提供增值业务而在原有通信网络基础上设置的附加网络结构，它 将业务控制与网络交换分离。智能网的概念最早是由美国提出的，由于它能促使用户方 便、灵活地达到通信的目的，所以在许多经济发达国家都得到了快速的发展。在80年 代末、90年代初，国际上逐渐形成了智能网的标准规范，并出现了研究开发的热潮。目 前关于智能网的国际标准主要有两个：一个是由Bellcore实验室提出，目前为北