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

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

1. 引言

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

不过，将时间约束嵌入 Web 服务业务流程存在理论限制，因为业务流程原本并不包含时间推理。Service Mosaic 关注 Web 服务业务流程协议，即描述 Web 服务业务流程在分布式环境中如何相互操作的图形模型。它研究了几个重要属性，用于更好地支持 Web 服务生命周期管理：
- 兼容性 ：验证两个 Web 服务业务流程是否完全可互操作。
- 可替换性 ：验证两个 Web 服务业务流程是否完全可互换。
- 一致性 ：验证 Web 服务业务流程的实现是否与其声明部分完全符合。

其中，兼容性和可替换性的检查有一个共同步骤——转换，它能将一个 Web 服务业务流程按照给定标准转换为另一个。在分布式 Web 场景中，兼容性和可替换性是需要重点研究的属性。

此外，由于 Web 服务业务流程通常在“开放”的分布式环境中互操作，存在安全和隐私风险，因此安全问题，特别是访问控制策略（ACP）在其中起着关键作用。研究人员将 Service Mosaic 的范式应用于安全感知型 Web 服务业务流程协议，并取得了有用的理