基于语义的协同模型研究.docVIP

基于语义的协同模型研究 　　摘要:大规模并行与分布式系统的出现开拓了软件技术的应用前景,要开发大规模并行与分布式系统的全部潜能,必须要处理系统中大量并发的活动体的协同过程。以Linda为代表的基于共享数据空间的协同模型和协同语言具有时间解耦、空间解耦和引用解耦的特点,为大规模并行与分布式系统的设计与发展提供了一种新方法。该文以多Agent系统为应用背景,研究有关Agent协同模型的问题,解决了现在大多数协同模型中缺乏语义信息的问题。 　　关键词:协同技术;协同模型;Linda协同语言;语义Web技术;OWL;本体 　　中图分类号:TP311文献标识码:A文章编号:1009-3044(2009)14-3663-03 　　Research on Coordination Model Based on Semantic 　　HUANG Zhi-yan 　　(Dept.of Computer Engineering, Jiangsu Vocational and Echnical College of Finance Economics, Huai’an223003, China) 　　Abstract: Massively parallel and distributed systems open new horizons for large applications. Exploiting the full potential of massively parallel systems requires programming models that explicitly deal with the concurrency of cooperation among very large numbers of active entities that comprise a single application. The shared dataspace coordination models, represented by Linda, have the characteristic of temporal uncoupling, spatial uncoupling and referential uncoupling, indicate the development trend of massive programming and satisfy the requirements of software application in Internet that is open, dynamic and distributed. The paper focuses on the agent coordination model with the background of multi-Agent system, and proposes a semantic based coordination model. 　　Key words: coordination technology; coordination model; Linda; semantic web technology; OWL; ontology 　　1 引言 　　在动态、开放的分布式环境下,当一个系统需要完成某项任务时,一方面,系统中的模块之间不可避免的存在一些相互依赖关系,彼此之间的交互非常频繁;另一方面,各模块间还存在一定的自治性。因此,协同在一个多模块系统中具有至关重要的作用。以Linda为代表的元组空间其具有时间解耦和空间解耦,在解决动态开放的分布式系统中协同问题时被广泛采用。自从Linda协同语言[1-2]提出以来,已有许多人在此基础上进行了大量的改进[3],使得Linda在更广的范围内得到应用。但是影响这些协同模型在开放的分布式系统中广泛应用的一个主要原因是这些协同模型中元组的表示和检索方法缺乏语义信息,各协同Agent之间不能很好地理解其相互传递的信息,使得Agent不能精确的获取自己所需要的信息。本文提出一种基于语义协同模型AccSTuple。该协同模型以基本Linda协同模型为基础,加入语义Web技术中的OWL DL[5],为开放的分布式环境提供了一个基础设施,负责分布式数据的管理、多个Agent之间的协同。 　　2 基于语义和访问策略的协同模型AccSTuple 　　图1给出了AccSTuple的体系结构。其核心组件是Linda协同模型以及作为共享数据空间的元组空间。AccSTuple兼容对简单数据元组、XML元组、RDF(S)元组在数据视图的操作以及在信息视图对RDF(S)元组的操作,并且扩充了对新的元组类型――