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