智能网业务冲突层次化检测技术的研究

论文摘要

智能网业务冲突检测技术是智能网系统研究领域内的一项关键技术,它对于确保各个智能业务在智能网系统中安全、稳定和高效地运行起着十分重要的作用。在各种各样的智能业务不断涌现出来的今天,怎样能够准确、快速地检测出各种业务之间已经存在的冲突,已经成为了一个非常突出的问题。 本文首先从智能网业务冲突检测技术中的动态技术和静态技术入手,重点介绍分析了静态技术中使用的软件工程方法和形式化方法的研究现状;其次研究了智能网技术的基本原理和智能网基本呼叫状态模型,认识到智能业务实质上是通过对传统简单电话业务的执行流程进行修改来实现其功能,并总结出业务冲突是在连续的状态转换过程中出现异常状态的形式化定义;第三,在业务生命周期模型的基础上,结合软件工程方法和形式化方法各自的特点,提出了一种业务冲突分层检测模型。该模型将检测过程分成了两步:在业务的需求分析阶段使用业务冲突过滤算法,在详细设计阶段使用业务冲突检测算法。该模型同时能使两种方法有机结合;第四,深入分析和研究了基于场景的可视化建模工具用例图,以及利用它建立的基本呼叫处理模型和智能业务模型。针对该模型,设计了一种业务的概要设计阶段使用的业务冲突过滤算法:基于呼叫处理场景的业务冲突过滤改进算法。该算法从增加排除合并前提条件和增强过滤检测定理两个方面进行了改进,理论分析和实验结果表明该改进算法能够更加精确的定位冲突,减少不确定结论,并且提高过滤的效率;第五,深入分析和研究了状态转换规则形式化语言和建模分析工具有色Petri网之间的关系,以及P不变量的可达性分析。针对传统简单电话业务的有色Petri网模型,设计了一种能够在业务的详细设计阶段使用的业务冲突检测算法:一种引入验证库的P不变量可达性分析冲突检测改进算法。该算法通过修改变量置换定理和引入验证库来进行改进。理论分析和实验结果表明该改进算法能明显减少检测过程中产生的待分析状态的数量,缩短算法运算的时间,提高检测效率;最后对本文进行总结,并展望今后的工作重点。

论文目录

• 摘要
• ABSTRACT
• 插图索引
• 首字母缩写表
• 第1章 绪论
• 1.1 研究背景
• 1.2 文献综述
• 1.2.1 业务冲突检测技术的动态方法
• 1.2.2 业务冲突检测技术的静态方法
• 1.3 研究目标
• 1.4 论文所完成的工作
• 1.5 论文的章节安排
• 第2章 智能网及业务冲突分层检测模型
• 2.1 智能网原理
• 2.1.1 智能网结构
• 2.1.2 智能网概念模型
• 2.1.3 智能网基本呼叫状态模型
• 2.1.4 智能业务
• 2.1.5 智能网业务冲突及其分类
• 2.2 智能网业务冲突分层检测模型
• 2.3 小结
• 第3章 基于呼叫处理场景的一种业务冲突过滤算法
• 3.1 引言
• 3.2 基于场景可视化描述工具UCM简介
• 3.2.1 场景的基本概念
• 3.2.2 UCM概述
• 3.2.3 UCM图基本符号元素
• 3.2.4 UCM图高级符号元素
• 3.3 基本呼叫处理过程及智能业务建模
• 3.3.1 基本呼叫处理模型
• 3.3.2 智能业务模型
• 3.4 动态基桩配置矩阵
• 3.4.1 动态基桩配置矩阵定义
• 3.4.2 配置矩阵的合并规则
• 3.5 基于呼叫处理场景的业务冲突过滤改进算法
• 3.5.1 对旧算法不足的分析
• 3.5.2 业务冲突过滤改进算法
• 3.6 仿真实验结果
• 3.7 性能分析
• 3.8 小结
• 第4章 基于可达性分析的一种业务冲突检测算法
• 4.1 引言
• 4.2 状态转换规则形式化语言
• 4.2.1 状态转换规则语言简介
• 4.2.2 语法和触发规则
• 4.2.3 业务的形式化描述
• 4.3 Petri网理论
• 4.3.1 Petri网概述
• 4.3.2 有色网的基本原理
• 4.3.3 有色网的关联矩阵
• 4.3.4 P不变量和可达性分析
• 4.3.5 状态转换规则语言到有色Petri网的映射
• 4.4 POTS业务建模
• 4.5 基于P不变量可达性分析的冲突检测改进算法
• 4.5.1 旧算法的缺陷分析和改进要点
• 4.5.2 冲突检测改进算法的描述
• 4.5.3 冲突检测改进算法的运行实例
• 4.6 仿真实验结果
• 4.7 性能分析
• 4.8 小结
• 结束语
• 参考文献
• 致谢
• 附录A 攻读学位期间所发表的学术论文