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

(19)中华人民共和国国家知识产权局 *CN102693240A* (12)发明专利申请 (10)申请公布号 CN 102693240 A (43)申请公布 日 2012.09.26 (21)申请号 201110073684.4 (22)申请 日 2011.03.25 (71)申请人 北京航空航天大学 地址 100191 北京市海淀区学院路37 号 (72)发明人 马殿富 赵永望 李竹青 李建欣 窦云亮 (74)专利代理机构 北京同立钧成知识产权代理 有限公司 11205 代理人 刘芳 (51) Int.C l. G06F 17/30 (2006.01) 权利要求书 3 页 说明书 11 页 附图 1 页 权利要求书3 页 说明书11 页 附图1 页 (54) 发明名称 Web 服务协议语义的形式化描述方法及装置 (57) 摘要 本发明提供一种Web 服务协议语义的形式化 描述方法及装置。方法包括：根据集合论和一阶 逻辑定义描述XML 数据的形式化模型，并定义形 式化模型对应的形式化操作；定义与形式化模型 和形式化操作对应的逻辑处理语句；对Web 服务 协议语义进行分解处理，获取协议状态和协议状 态之间的迁移，并用形式化模型和形式化操作表 示协议状态，用逻辑处理语句描述协议状态之间 的迁移，以实现对Web 服务协议语义的形式化描 述。本发明技术方案可以实现对Web 服务协议语 义的形式化描述，保证了Web 服务协议的正确实 现。 A 0 4 2 3 9 6 2 0 1 N C CN 102693240 A 权 利 要 求 书 1/3 页 1. 一种Web 服务协议语义的形式化描述方法，其特征在于，包括： 根据集合论和一阶逻辑定义描述XML 数据的形式化模型，并定义所述形式化模型对应 的形式化操作； 定义与所述形式化模型和所述形式化操作对应的逻辑处理语句； 对Web 服务协议语义进行分解处理，获取协议状态和协议状态之间的迁移，并用所述 形式化模型和所述形式化操作表示所述协议状态，用所述逻辑处理语句描述所述协议状态 之间的迁移，以实现对所述Web 服务协议语义的形式化描述。 2.根据权利要求1所述的Web服务协议语义的形式化描述方法，其特征在于，所述根据 集合论和一阶逻辑定义描述XML 数据的形式化模型包括： 根据集合论和一阶逻辑定义符合XML 规范的数据对象，所述数据对象包括XML 元素的 名称、XML 元素的属性信息、XML 元素的元素值和XML 子元素序列；属性信息包括属性名称 和属性值的映射关系； 利用Z 语言中的符号对符合XML 规范的数据对象进行统一描述，以形成所述形式化模 型。 3.根据权利要求2所述的Web服务协议语义的形式化描述方法，其特征在于，所述定义 所述形式化模型对应的形式化操作包括： 定义过滤操作，所述过滤操作用于根据预设过滤条件对所定义的数据对象进行过滤， 所述过滤条件包括指定的由所述XML 元素的名称构成的元素路径，或者包括所述指定的元 素路径和所述XML 元素的属性信息； 定义选择操作，所述选择操作用于根据指定的元素路径从所定义的数据对象中选择第 一个XML 元素的名称或属性信息； 定义获取操作，所述获取操作用于根据指定的元素路径从所定义的数据对象中获取第 一个XML 元素的元素值 ； 定义取头操作，所述取头操作用于根据指定的元素路径从所定义的数据对象中获取第 一个XML 子元素； 定义取尾操作，所述取尾操作用于根据指定的元素路径从所