[发明专利]基于可执行元语言的电信领域建模方法

说明书

技术领域

本发明属于电信网络管理的技术领域，具体涉及电信领域网络设备、网络性能、网络故障的建模方法和模型正确性的验证方法。

背景技术

随着电信产业的飞速发展，各电信运营商之间的竞争日趋激烈，快速发展的用户群、多样化的业务以及经营竞争环境对电信企业的服务质量提出更高、更新的要求。面对市场挑战，电信运营商需要提高管理效率，提高网络管理水平。因而，建设一套跨平台的网络综合管理系统势在必行，该平台能够从全网的高度，直观、综合、快速地对运营商电信业务网运行质量进行分析评判，进行故障发现、定位与排除，分析业务和客户影响性。在电信领域，网络设备多样化，网络业务多样化，领域建模的思想能够从根本上解决目前电信网络管理新业务、新设备不断发展给建设网络管理系统带来的问题。

目前，流行的面向对象建模工具有Rational公司开发的Rational Rose。国内的有北大青鸟面向对象建模工具。这些建模工具基于一个共同的建模语言——统一建模语言。统一建模语言是对象管理组织发起的一个面向对象建模语言标准，目前已经成为了面向对象建模的标准。统一建模语言通过类、对象、关系等描述系统的静态结构信息，通过序列图、状态转换图等描述系统的动态行为。这种抽象化的对软件系统地描述方便了开发人员之间思想的交流，也为文档处理提供了方便。统一建模语言是一个非常成功的建模语言，为软件过程的标准化、提高软件开发的效率做出了巨大的贡献。但是在实际应用的过程中也遇到了问题。最重要的问题就是统一建模语言目前还仅仅是应用在软件过程中的分析、设计阶段，使用该建模语言建立的模型是不可执行的，分析设计人员只能人工检验模型的正确性，这为模型的设计、代码的实现都带来了隐患。

发明内容：

本发明要解决的技术问题是，提供了一种基于可执行元语言的电信领域建模方法，并解决目前电信领域中领域模型建立后无法验证的问题。

模型是本发明所构建的系统的功能、行为和结构的形式化表示，通过把领域模型表示成可执行模型，可以在领域层次测试模型的正确性，而不用考虑平台相关的问题，这样，领域模型永远不会因为技术的变化而过时，从而做到了可不断发展和可复用。

一种基于可执行元语言的电信领域建模方法，该方法包括以下步骤：

a)基于元对象设施(MOF)对统一建模语言进行扩展设计了一种适合电信领域的可执行元模型语言——xKL语言，并设计构建了基于xKL语言的建模工具和验证工具。

b)收集电信领域相关信息，把它们整合成领域模型并用可视化的组件描述成类图结构；用xKL填充类图中的约束以及静态语义部分，生成完整的图形化领域模型。

c)将图形化领域模型映射到完全基于xKL文本的电信领域模型。

d)从电信领域模型出发，根据需要解决的问题，选择领域模型中的类进行实例化，生成基于xKL的内存动态可操作对象，并将领域模型中类之间关系实例化为xKL内存对象之间的关系，形成对象模型。

e)执行领域模型中基于xKL的约束，验证对象模型中对象之间是否满足应有的约束，若不满足，则按照相应的约束动态修改模型，并返回修改的结果。

f)向模型中特定的对象发送指令，使其执行相应的方法，检验方法执行的效果。

所述的xKL语言由静态语法元模型和动态行为元模型组成，如图1所示。静态语法元模型是扩展了EMOF元模型，定义了表示模型所需的结构；动态行为元模型是对OCL做了外围扩展，形成了xOCL语言，xOCL定义了对模型的操作。

从图1可知，xKL语言的组成更具体的叙述是：

1、静态语法元模型。EMOF是MOF2.0的基本核心，静态语法元模型通过扩展EMOF元模型，形成了xKL语言的语法结构部分。为了适应平台无关性的需求，它仅定义了一个模型所需要的结构，没有给出任何模型行为的规范。

2、动态行为元模型。行为元模型对OCL作了外围扩展，形成了xOCL语言。xOCL规范完全基于UML和MOF的核心定义，这使得它可以被应用到MOF和UML中。由于EMOF是不可执行的，因此需要添加一些行为元素，通过在OCL语言中添加对模型的一些操作形成行为元模型，结构模型和行为模型通过在类的操作体中书写行为语句进行联系。