基于可执行元语言的电信领域建模方法

摘要

本发明的基于可执行元语言的电信领域建模方法属于电信网络管理的技术领域，具体涉及电信领域网络设备、网络性能、网络故障的建模方法和模型正确性的验证方法。建模过程的实现核心是适合电信领域的可执行元语言xKL；它指导元建模过程，描述并动态实例化领域模型，验证和执行实例化后的模型，使得生成的模型具有可执行性。本发明具有以下优点：具有良好的伸缩性和适应性；具有良好的重用性；对象模型的可执行性；领域模型可以在系统需求和底层实现之间建立起良好的映射关系；可以缩短产品投放市场的时间，改善、提高产品质量，提高客户满意度。

主权项

一种基于可执行元语言的电信领域建模方法，该方法包括以下步骤：a)基于元对象设施对统一建模语言进行扩展设计了一种适合电信领域的可执行元模型语言——xKL语言，并设计构建了基于xKL语言的建模工具和验证工具；所述的xKL语言由静态语法元模型和动态行为元模型组成；静态语法元模型是扩展了EMOF元模型，定义了表示模型所需的结构；动态行为元模型是对OCL做了外围扩展，形成xOCL语言，xOCL定义了对模型的操作；b)收集电信领域相关信息，把它们整合成领域模型并用可视化的组件描述成类图结构；用xKL填充类图中的约束以及静态语义部分，生成完整的图形化领域模型；c)将图形化领域模型映射到完全基于xKL文本的电信领域模型；d)从电信领域模型出发，根据需要解决的问题，选择领域模型中的类进行实例化，生成基于xKL的内存动态可操作对象，并将领域模型中类之间关系实例化为xKL内存对象之间的关系，形成对象模型；e)执行领域模型中基于xKL的约束，验证对象模型中对象之间是否满足应有的约束，若不满足，则按照相应的约束动态修改模型，并返回修改的结果；f)向模型中特定的对象发送指令，使其执行相应的方法，检验方法执行的效果。