41、基于进程代数的QoS感知Web服务编排引擎的参与者模型

基于进程代数的QoS感知Web服务编排引擎的参与者模型

1. 系统整体构建与通信约束

在构建QoS感知的Web服务编排引擎的参与者系统时，我们需要将各个参与者组合成一个整体，这些参与者包括WSOIM、SS、AAs、WSOs和WSs。通过特定的架构，整个参与者系统可以用进程代数（APTC）的进程项来表示：
[
\tau_{I}(\partial_{H} (WSs \parallel WSOIM \parallel SS)) = \tau_{I}(\partial_{H} (WSs \parallel WSOIM \parallel SS \parallel WSOs \parallel AAs))
]

在这些参与者之间存在着同步通信。当一个参与者的发送动作和读取动作涉及相同类型的消息时，就可能引发通信。如果发送动作在读取动作之前发生，会产生异步通信；反之，则会导致死锁（用 $\delta$ 表示）。

具体的异步通信情况如下：
1. AA与WSO之间的通信 ：
- (s_{AA}(DI_{AA - WSO}) \leq r_{AA}(DI_{AA - WSO}))
- (s_{WSO}(DI_{WSO - AA}) \leq r_{WSO}(DI_{WSO - AA}))
其中，消息 (DI_{AA - WSO}) 和 (DO_{WSO - AA})，(DI_{WSO - AA}) 和 (DO_{AA - WSO}) 是相同的消息。
2. WSO与接口WS之间的通信 ：
- (s_{WS}(DI_{WS - WSO})