云计算作为一种新兴的计算模式,能在线为用户提供所需的各类服务资源。云中的用户可按需向云服务提供商(CSP:Cloud Service Provider)租用资源,不需自己购置和维护昂贵的软硬件资源,从而降低了运营成本。当前,云服务提供商提供的服务还相对单一,往往无法满足用户日益复杂的需求。为了解决上述问题,一种可行的解决方案就是构建一个动态的CSP合作平台,多个CSP通过该平台相互协作共同满足用户的复杂需求。动态的CSP合作平台,既能降低成本,也能增强CSP服务提供能力,为用户提供组合的云服务。然而,构建这样一个平台,面临三大挑战：一是如何找到一种合适的市场模型以确保平台正常、高效地运行；二是如何设计该合作平台框架,以尽可能减少CSP之间的冲突；三是一个CSP如何选择合作者,这显然是一个NP-hard问题,因此,需要设计一种合理的近似算法以确保能在多项式时间内找到合适的CSP。为此,本文提出了一种先联盟后拍卖的市场模型,构建了一种动态的CSP合作平台,并在该模型的基础上设计了最优联盟形成算法,具体内容如下：1.构建一种动态的CSP合作平台框架合作平台采用了先联盟后拍卖的市场模型以降低平台的服务价格。平台的框架共分为三个层次,第一层为用户层,即向代理提交服务请求的所有用户。第二层为代理层,包含以下两个功能模块：①信息发布模块,负责接受用户请求并将其发布到市场中；②拍卖模块,负责接收所有联盟的报价,并采用第二价格拍卖计算获胜联盟。第三层为CSP层,包括以下模块：①任务查找模块,CSP根据自身的服务资源在市场中选择适合的用户请求；②合作者选择模块,当服务提供商无法单独满足用户请求时,通过联盟形成算法寻找合作者；③协商模块,联盟成员根据个人数据进行两两间的协商；④利润分配模块：计算联盟需要支付给成员的价格,并计算相应的联盟总报价。⑤评估模块：联盟发起者根据历史成交数据对形成的联盟进行价格评估,若认为联盟报价过高,则对联盟成员压价。2.设计基于联盟形成的合作者选择算法根据提供服务的形式不同,提出了两类基于联盟形成的CSP的合作者选择算法。一是单报价的合作者选择算法,该类算法包括基于邻居节点的合作者算法和改进的蚁群合作者选择算法。二是组合报价的合作者选择算法,该算法允许CSP向联盟的发起者返回关于一组服务的组合报价。3.实现动态合作平台原型系统根据云平台框架的设计、利用MyEclipse开发工具模拟整个云平台的合作过程,实现了各个模块的功能,采用MSSQL对平台运行过程中涉及到的各项数据进行存储,利用xml记录服务需求模板。