论文部分内容阅读
如何在分布、动态、共享的网络计算环境中,建立E机构(Electronicinstitution)去规范和约束Agent的协同行为,使得系统可信?如何表达和实施协同行为规范,使得只要个体都遵从行为规范,就可预测这些个体完成拟定的全局目标?如何使得Agent能够有效地遵循行为规范,且在Agent违反行为规范时能有效地追究其责任?如何建立高效的VO体制,使系统尽量减少合同违约?如何使系统体制表现出自管理能力,自修复能力?这些都是当前研究的热点。目前,以软件Agent充当自治计算元素,建立E机构调控多agent系统是进行上述热点研究的有效方法。但却缺乏有效的模型和机制去支撑Agent的可信服务协同,以减少违约的发生。为此,本文提出了规范约束的Agent可信协同模型与机制研究,以减少违约,提高可信度。文章主要的研究内容和创新成果包括:
1.提出了EMLHYB机构模型,并定义了相应的E机构动态模型和运行协议。文中多层次地阐述了E机构模型,并且E机构模型中规范的定义描述了不同实例层之间的协同行为的制约。通过规范实施机制就可以减少不同实例层之间的规范的违反,提高了可信度。通过E机构动态模型的动态调控,可以减少违约,或者使得违约控制在理想范围内。
2.基于LABEL-CTL*逻辑的软约束规范描述和全面的规范实施可以减少规范违反。本文用标记分支时序逻辑(LABEL-CTL*)描述软约束规范,使得对规范的描述有最强的表达力。通过合理设置软约束规范的异常状态下Agent应该尽的义务,可以有效减少规范违反。提出了标记分支时序逻辑描述下的违约逻辑悖论处理方法,解决了软约束规范的技术问题。本文的规范实施机制是综合性的,包括规范执行前的实施(包括基于规范的服务匹配机制和协作前的基于合同信任的方案选择机制)、规范执行时的实施(规范的内化和策略驱动的Agent自主管理),规范执行后的实施(违约制裁与系统演化)。
3.建立了基于DRQSHCTAgent模型的VO自组织、自演化机制。为了减少合同违约,提出了DRQSHCTAgent模型来实现VO的自组织。为了减少VO演化后合同违约,提出了VO演化机制的DRQSHCTENV。
总之,本文的模型和机制可以有效抑制规范违反事件的发生。