准则调控、策略驱动的服务协同式自治VO研究

本项目研究准则调控、策略驱动的服务协同式自治VO，去解决自治计算面临的因自治个体行为难以预测和控制而导致的协同效应"可信"危机，使得革新的自治计算技术能有效地用于实现服务协同式自治VO，并克服非自治服务协同的局限性。解决危机的关键在于实现合理的准则调控机制和"宏观调控→微观行为"的连接及映射，使得个体的协同行为因接受准则调控的约束而变得可控、可预测、进而可信，又给个体的理性自治留下足够空间。研究以下关键技术：准则调控的服务协同、策略驱动的Ace自主管理、准则调控和策略驱动的服务发现和协同自组织、以及协同情境（契约执行状态）驱动的VO（虚拟组织）自适应和柔性演化，并建立服务协同式自治VO模型的形式语义和分析、验证方法，为实现高性能VO奠定坚实基础。