35、互联网开放交易协议验证与旅游电子商务应用策略

互联网开放交易协议验证与旅游电子商务应用策略

1. 互联网开放交易协议（IOTP）概述

互联网开放交易协议（IOTP）的交易信息以 XML 文档格式的 IOTP 消息进行编码传输。IOTP 定义了六种文档交换类型，分别为认证、品牌相关报价、品牌无关报价、支付、交付以及支付与交付组合。不同的交易由这些文档交换组合实现，例如购买交易可能包含可选的认证、品牌相关或无关报价，以及最后的支付交换、支付后交付交换或支付与交付组合交换。

IOTP 的基本消息集根据不同的文档交换类型进行分类：
| 文档交换类型 | 基本消息集 |
| — | — |
| 认证交换 | 认证请求、认证响应、认证状态消息 |
| 报价交换 | 交易协议选项（TPO）、TPO 选择、报价响应消息 |
| 支付交换 | 支付请求、支付交换、支付响应 |
| 交付交换 | 交付请求、交付响应消息 |
| 其他 | 取消和错误消息（用于交易取消和错误处理） |

2. IOTP 验证

2.1 验证方法

使用 CPN 服务规范和协议规范分别生成 IOTP 的服务语言和协议语言。为处理 IOTP 的复杂性，采用增量验证方式。首先假设六个交易成功、无错误且相互独立，利用服务和协议 CPN 模型的模块化结构获取各交易的语言，通过比较服务和协议语言来确定交易是否符合 IOTS 中定义的交易服务。

2.2 存款交易语言比较

存款交易包含可选的认证、报价和支付阶段。通过三个有限状态自动机（FSA）来指定验证存款交易获得的语言：
- FSA - (a)：指定存款交易的服务