33、安全感知型 Web 服务业务流程的互操作性研究

安全感知型 Web 服务业务流程的互操作性研究

1. 引言

在当今的分布式环境中，Web 服务业务流程的互操作性至关重要。Service Mosaic 项目提出了一个模型驱动的 CASE 平台，旨在促进面向服务的应用程序开发和 Web 服务生命周期管理。该平台允许通过扩展有限状态自动机（FSA）的特殊形式来建模 Web 服务业务流程，引入了时间约束，形成了定时 FSA。

Service Mosaic 关注 Web 服务业务流程协议，研究了几个重要属性来支持 Web 服务生命周期管理：
- 兼容性 ：验证两个 Web 服务业务流程是否完全可互操作。
- 可替换性 ：验证两个 Web 服务业务流程是否完全可互换。
- 一致性 ：验证 Web 服务业务流程的实现是否与其声明部分完全一致。

由于 Web 服务业务流程通常在“开放”的分布式环境中运行，存在安全和隐私风险，因此安全问题，特别是访问控制策略（ACP），在这些流程中起着关键作用。本文将基于一个支持安全感知型 Web 服务业务流程互操作性的框架，通过合适的案例研究评估和验证其可靠性，并对该框架的优势和可能的扩展进行批判性讨论。

2. 检查安全感知型 Web 服务业务流程兼容性和可替换性的先进框架

2.1 协议转换

为了说明兼容性和可替换性属性，我们以一个 Web 服务业务流程协议 (P_1) 为例。检查这些属性的一个常见步骤是将协议 (P_i) 转换为协议 (P_i’)。转换的主要目标是保留目标协议的时间支持，同时忽略访问