9、网格中虚拟组织的形成与商业工作流实现

网格中虚拟组织的形成与商业工作流实现

1. 网格中虚拟组织（VO）的形成

1.1 联盟映射与利润

在网格计算中，不同的网格服务提供商（GSP）组成联盟来完成用户的程序。以下是不同联盟的映射情况和对应的利润：
| 联盟 S | 映射 | 利润 |
| — | — | — |
| {G1} | 不可行 | 0 |
| {G2} | 不可行 | 0 |
| {G3} | 不可行 | 0 |
| {G1, G2} | T4, T5 →G1; T1, T2, T3 →G2 | 3.5 |
| {G1, G3} | T1, T4, T5 →G1; T2, T3 →G3 | 4.5 |
| {G2, G3} | T1, T4, T5 →G2; T2, T3 →G3 | 2 |
| {G1, G2, G3} | T4, T5 →G1; T1 →G2; T2, T3 →G3 | 3.33 |

通过逆向归纳法得到的联盟情况可能不准确，但这并不妨碍联盟的形成。联盟形成的结果是一个联盟集合 S = {S1, S2, …, Sk}，集合中的任何一个联盟都能在截止日期 d 之前且在给定的成本约束内完成程序。为了解决选择哪个联盟执行程序的问题，我们可以随机选择一个，也可以根据进一步的标准（如最小化完成时间、最低成本）来选择。

1.2 虚拟组织形成框架

为了支持 GSP 之间的联盟形成，我们提出了一个资源管理系统——虚拟组织形成管理器（VOFM）。VOFM 可作为中间件组件实现，并得到网格实现的支持。其架构如下：