Web服务协议语义的形式化描述方法及装置

摘要

本发明提供一种Web服务协议语义的形式化描述方法及装置。方法包括：根据集合论和一阶逻辑定义描述XML数据的形式化模型，并定义形式化模型对应的形式化操作；定义与形式化模型和形式化操作对应的逻辑处理语句；对Web服务协议语义进行分解处理，获取协议状态和协议状态之间的迁移，并用形式化模型和形式化操作表示协议状态，用逻辑处理语句描述协议状态之间的迁移，以实现对Web服务协议语义的形式化描述。本发明技术方案可以实现对Web服务协议语义的形式化描述，保证了Web服务协议的正确实现。

主权项

一种Web服务协议语义的形式化描述方法，其特征在于，包括：根据集合论和一阶逻辑定义描述XML数据的形式化模型，并定义所述形式化模型对应的形式化操作；定义与所述形式化模型和所述形式化操作对应的逻辑处理语句；对Web服务协议语义进行分解处理，获取协议状态和协议状态之间的迁移，并用所述形式化模型和所述形式化操作表示所述协议状态，用所述逻辑处理语句描述所述协议状态之间的迁移，以实现对所述Web服务协议语义的形式化描述。