[发明专利]基于描述逻辑的服务编导模型形式化验证方法在审
| 申请号： | 201811537469.3 | 申请日： | 2018-12-15 |
| 公开（公告）号： | CN109784491A | 公开（公告）日： | 2019-05-21 |
| 发明（设计）人： | 张婷婷;张奎昌;董会;牛彦杰 | 申请（专利权）人： | 中国人民解放军陆军工程大学;南京百茂汇成信息科技有限公司 |
| 主分类号： | G06N5/04 | 分类号： | G06N5/04;G06Q10/10 |
| 代理公司： | 南京理工大学专利中心 32203 | 代理人： | 封睿 |
| 地址： | 210007 江*** | 国省代码： | 江苏;32 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明公开了一种基于描述逻辑的服务编导模型形式化验证方法，定义基于WS‑CDL的服务编导元概念模型和领域规则，其中服务编导元概念模型包括服务编导元和元关系集合，领域规则包括一致性规则、完整性规则和演绎推理规则；根据用户的服务协作需求，结合服务编导元概念模型，建立应用概念模型；基于SHOIND的验证方法，对服务编导元概念模型、应用概念模型和领域规则进行转化，实现数据一致性、完整性验证及基于规则的推理验证。本发明具备传统系统验证方法的描述能力、自动化程度和验证效率，并且不存在状态爆炸问题，在推理的可判定性和知识的复用等方面也具备明显优势。 | ||
| 搜索关键词： | 概念模型 领域规则 服务 验证 形式化验证 应用概念 推理 状态爆炸问题 数据一致性 完整性规则 完整性验证 一致性规则 传统系统 关系集合 可判定性 复用 自动化 协作 转化 | ||
【主权项】：
1.基于描述逻辑的服务编导模型形式化验证方法，其特征在于，包括如下步骤：步骤1、定义基于WS‑CDL的服务编导元概念模型和领域规则，其中服务编导元概念模型包括服务编导元和元关系集合，领域规则包括一致性规则、完整性规则和演绎推理规则；步骤2、根据用户的服务协作需求，结合服务编导元概念模型，建立应用概念模型；步骤3、基于SHOIND的验证方法，对服务编导元概念模型、应用概念模型和领域规则进行转化，实现数据一致性、完整性验证及基于规则的推理验证。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于中国人民解放军陆军工程大学;南京百茂汇成信息科技有限公司，未经中国人民解放军陆军工程大学;南京百茂汇成信息科技有限公司许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201811537469.3/，转载请声明来源钻瓜专利网。
- 上一篇：神经网络的训练方法、装置和电子设备
- 下一篇：可扩展的超导量子比特结构
