基于描述逻辑的服务编导模型形式化验证方法

摘要

本发明公开了一种基于描述逻辑的服务编导模型形式化验证方法，定义基于WS‑CDL的服务编导元概念模型和领域规则，其中服务编导元概念模型包括服务编导元和元关系集合，领域规则包括一致性规则、完整性规则和演绎推理规则；根据用户的服务协作需求，结合服务编导元概念模型，建立应用概念模型；基于SHOIND的验证方法，对服务编导元概念模型、应用概念模型和领域规则进行转化，实现数据一致性、完整性验证及基于规则的推理验证。本发明具备传统系统验证方法的描述能力、自动化程度和验证效率，并且不存在状态爆炸问题，在推理的可判定性和知识的复用等方面也具备明显优势。