论文部分内容阅读
随着电信技术的发展及人们对电信业务需求的变迁，下一代网络(Next Generation Network，NGN)被认为是电信网发展的必然趋势。NGN是业务驱动的网络，业务向第三方开放，这给业务的快速增长带来了巨大的潜力，同时也使业务特征冲突的问题变得更复杂和严重。为了给电信用户提供更好的服务，业务特征冲突问题的解决就显得非常重要。
本文的研究目的在于：采用融入了面向对象技术的着色Petri网(Colored Petri Net，CPN)这种形式化方法来搭建NGN网络环境模型，通过运行业务测试实例检测出NGN网络环境下的部分业务特征冲突，为业务开发的设计者提供参考，使业务特征冲突能在业务设计初期阶段被发现，避免该冲突在开发或运行的后期发现导致修改成本的增加，保证业务的功能实现并提高其稳定性能。
研究的主要工作是根据下一代网络的体系结构及其关键技术理论，抽象出了下一代网络中的主要功能网元并完成模块化设计，从而搭建了NGN网络业务的运行总体环境，为业务特征冲突的检测提供了承载平台。本文中业务特征冲突的检测是基于形式化方法的一种静态检测，因此，对业务逻辑要点的准确分析是构建业务逻辑CPN模型的基础。
本文中采用的CPN 是一种对复杂系统进行检验和仿真的建模语言，CPN理论不仅在描述系统静态模型方面进行了形式化定义，而且可以描述对系统模拟的动态行为的仿真分析。由于结合了数据结构和层次分解，CPN自上而下或者自下而上的建模方法使得系统模型更加标准化和规范化，这在CPN仿真工具CPN-Tools的分层结构和融合技术中表现的非常充分。
本文提出了对两类典型的业务特征冲突的检测方法，包括活锁类和业务意愿违背类冲突。通过基于CPN-Tools的检测平台，可以清晰地表现业务特征冲突发生时业务信令的传递过程。文中提出逻辑实体“业务特征冲突管理器”FIM(Feature Interaction Manager)结构，并提出将其嵌入业务应用服务器中的设计方案，为下一代网络业务特征冲突提供了有益的参考。