66、从WSDL生成接口语法及控制目标满足问题研究

从WSDL生成接口语法及控制目标满足问题研究

1. 从WSDL生成接口语法

以往在处理请求 - 响应模式时，各方法相互独立，未考虑某些消息中生成的值对Web服务控制流的约束，如PayPal的Express Checkout案例所示。

为解决此问题，提出并实现了一个翻译器，用于从WSDL规范自动生成接口语法骨架。该骨架可与控制流约束相结合，生成统一描述控制和数据流约束的接口规范。以PayPal Express Checkout API的实际文档和WSDL规范为例，展示了如何通过扩展自动生成的语法骨架并添加控制流约束，得到指定Web服务交互行为的接口语法。这些接口语法可进一步自动转换为Web服务存根和驱动程序，以实现验证和测试。此方法还应用于亚马逊电子商务服务的关键接口客户端及服务器，证明了其可行性和高效性。

1.1 自动生成接口语法的流程

1. 生成语法骨架 ：利用翻译器从WSDL规范生成接口语法骨架。
2. 添加控制流约束 ：将控制流约束与语法骨架结合，生成接口规范。
3. 转换为存根和驱动 ：将接口语法转换为Web服务存根和驱动程序，用于验证和测试。

2. 控制目标满足问题概述

业务流程需符合监管要求，但设计过程面临难题。如意大利医院在药品分发时，需遵循相关法规，将请求分发者的身份记录在审计日志中。理想特征以高层控制目标列出，但实际操作发生在较低层次。因此，需将控制目标逐步分解，明确其对应流程步骤。

考虑以下三种情况： <