技术特征：
技术总结
本发明公开了一种基于描述逻辑的服务编导模型形式化验证方法，定义基于WS‑CDL的服务编导元概念模型和领域规则，其中服务编导元概念模型包括服务编导元和元关系集合，领域规则包括一致性规则、完整性规则和演绎推理规则；根据用户的服务协作需求，结合服务编导元概念模型，建立应用概念模型；基于SHOIND的验证方法，对服务编导元概念模型、应用概念模型和领域规则进行转化，实现数据一致性、完整性验证及基于规则的推理验证。本发明具备传统系统验证方法的描述能力、自动化程度和验证效率，并且不存在状态爆炸问题，在推理的可判定性和知识的复用等方面也具备明显优势。
技术研发人员：张婷婷;张奎昌;董会;牛彦杰
受保护的技术使用者：中国人民解放军陆军工程大学;南京百茂汇成信息科技有限公司
技术研发日：2018.12.15
技术公布日：2019.05.21