为电信网络意图提供首个完整语义校验框架,确保配置正确性。
TIO-SHACL: Comprehensive SHACL validation for TMF Intent Ontologies
- 基于SHACL构建56个节点和69个属性约束,覆盖全部15个模块
- 在133个测试用例上实现100%词汇覆盖率与高精度验证
- 支持多引擎兼容,适合网络自动化与标准化团队使用
基于意图的网络管理通过让运营商指定高层次目标而非底层配置,有望革新电信网络运维。TM论坛意图本体(tio)提供了表达网络意图的标准词汇,但缺乏正式的校验机制以确保意图在接入前的正确性。本文提出tio-shacl,首个针对tmf意图本体的全面SHACL(形状约束语言)校验框架。包含56个节点形状和69个属性形状,覆盖15个tio v3.6.0本体模块;构建了25个参数化SPARQL约束组件的可复用库,并提出递归逻辑运算符、量值约束及跨期望关系的新验证模式。实现87类、109属性、72函数的100%词汇覆盖,跨三大主流SHACL引擎兼容,133个测试用例验证准确率高。tio-shacl开源于https://github.com/EricssonResearch/tio-shacl,支持网络意图的自动语法与语义校验,填补领域关键空白。
原文摘要 · Abstract (English)
Intent-based networking promises to revolutionize telecommunications network management by enabling operators to specify high-level goals rather than low-level configurations. The TM Forum Intent Ontology (tio) provides a standardized vocabulary for expressing network intents, yet lacks formal validation mechanisms to ensure intent correctness before its admission. We present tio-shacl, the first comprehensive SHACL (Shapes Constraint Language) validation framework for the TMF Intent Ontology. Our contribution includes 56 node shapes and 69 property shapes across all 15 tio v3.6.0 ontology modules, a reusable constraint library with 25 parameterized SPARQL-based constraint components, and novel validation patterns for recursive logical operators, quantity-based constraints, and cross-expectation relationships. We pursued 100% vocabulary coverage (87 classes, 109 properties, 72 functions), cross-implementation compatibility across three major SHACL engines, and validation accuracy on a corpus of 133 test cases. tio-shacl is publicly available under MIT license at https://github.com/EricssonResearch/tio-shacl and enables automated syntactic and semantic validation of network intents, addressing a critical gap in the field.
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品;中文卡片由大模型生成,请以原文为准。