语义Web服务的自动化组合方法研究综述.docxVIP

语义Web服务的自动化组合方法：研究综 述 计算机科学2007Vol.34No.6 语义Web服务的自动化组合方法:研究综述J 王杰生李舟军李梦君 (国防科技人学计算机学院长沙410073)(北京航空航天大学计算机学院北京 100083). 摘要语义Web服务的提出是为了解决Web服务资源在语义Web中的智能化整合 问题，而语义Web服务的自动 化组合技术作为这个整舍过程中的一个关键技术正在蓬勃发展.本文考察了来自 人工智能领域，形式化方法和自动 推理等领域的众多服务组合方案,讨论了各种方法的原理和优劣之处，并探索了将 来的研究工作和趋势. 关键词语义网,web服务，服务组合 SolutionsTowardsAutomatedCompositionofSemantic WebServices: ASurvey WANGJ ie-ShengLIZhou-J un2LIMeng-J un (SCh~IofComputer,NationalUniversityofDefenceTechnology,Changsha410073) (SchoolofComputerScienceamp;Engineering,BeihangUniversity,Beijing 100083) AbstractPromotedbytheidealofintelligentintegrationofWebservicesonsemanticWeb,aut omatedcompositionof semantic Webservicesasoneofthekeystoachievethatidealisundergreatdevelopment.Byex aminingagreatvariety ofsolutionswiththeirprosandconsforservicecomposition,whichareproposedbyresearche rfromfieldsinAI,for^ realmethodandautomaticreasoningetc,adiscussionofpossibledirectionsinfutureresearch onthissubjectisdeliv ? ered. KeywordsServicecomposition,Webservice,Semantic Web 1引言 随着语义Web的各项技术，特别是语义Web本体标记 语言owl]的迅猛发展和逐步完善，人们对利用语义Web 技术来智能化地整合各种web服务资源抱有越来越大的兴 趣和期望，于是语义Web服务就应运而生.而语义Web服 务的自动化组合作为这个整合过程屮的关键技术从一 开始就受到众多研究人员的广泛关注. 语义Web服务的自动化组合工作主要来自两个领域:一 个是人工智能领域，另一个是形式化方法和自动推理领域. 当然,还有一小部分工作来自数据库领域，这一小部分工作主 要是从web服务组合方法的效率的角度來研究Web服务组 合的「2]?人工智能以及形式化方法和自动推理这两个领域的 工作既互相交叉，乂互为补充?来自人工智能领域中的工作 包括构建用于Web服务描述的本体，以便更好地支持web 服务资源的智能化整合?人工智能领域中的研究人员也从人 工智能规划(Alplanning)的角度提出了 一系列的面向Web 服务功能的web服务组合(规划)方案【3].来自形式化方 法和自动推理领域的工作包括面向web服务行为的服务组 合(验证)方法16],也不乏借鉴自动化程序综合(program synthesis)[83 和模型检验(modelchecking)的方法 r9]. 本文以自动化和智能化为基本出发点，讨论了多种web 服务组合方法?本文第2节考察了任何一个语义web服务 自动化组合方案都无法脱离的服务描述问题,并对现有的几 个影响比较广泛的语义Web服务描述框架进行了比较.第3 节系统而深入地讨论了各种Web服务组合方案的原理和各 自的优劣Z处，叙述的重点偏向于面向服务功能的那些方法; 因为通常我们需要一个Web服务时，并不从web服务的行 为去指定它,关注的是这个web服务能够达成什么样的功 能?第4节对Web服务组合方案的发展趋势和研究前景进 行了探讨和展望. 2语义Web服务的服务描述 Web服务组合的方法在一定程度上依赖于具体的Web 服务描述框架?在本节中，我们将考察经常与语义web服务 组合纠缠在一起的服务描述问题，并对几个被学术界以及业 界广泛讨论和研究的语义web服务描述框架进行比较. web服务组合(servicescomposition)所采用的具体方法 和技术依赖于Web服务描述(servicesdescription)所采