资源描述：
《语义web服务的自动化组合方法研究综述》由会员上传分享，免费在线阅读，更多相关内容在工程资料-天天文库。
1、语义Web服务的自动化组合方法：研究综述计算机科学2007Vol.34No.6语义Web服务的自动化组合方法:研究综述J王杰生李舟军李梦君(国防科技人学计算机学院长沙410073)(北京航空航天大学计算机学院北京100083).摘要语义Web服务的提出是为了解决Web服务资源在语义Web中的智能化整合问题，而语义Web服务的自动化组合技术作为这个整舍过程中的一个关键技术正在蓬勃发展.本文考察了来自人工智能领域，形式化方法和自动推理等领域的众多服务组合方案,讨论了各种方法的原理和优劣之处，并探索了将来的研究工作和趋势.关键词语义网,web服
2、务，服务组合SolutionsTowardsAutomatedCompositionofSemanticWebServices:ASurveyWANGJie-ShengLIZhou-Jun2LIMeng-Jun(SCh~IofComputer,NationalUniversityofDefenceTechnology,Changsha410073)(SchoolofComputerScience&Engineering,BeihangUniversity,Beijing100083)AbstractPromotedbytheide
3、alofintelligentintegrationofWebservicesonsemanticWeb,automatedcompositionofsemanticWebservicesasoneofthekeystoachievethatidealisundergreatdevelopment.Byexaminingagreatvarietyofsolutionswiththeirprosandconsforservicecomposition,whichareproposedbyresearcherfromfieldsinAI,fo
4、r^realmethodandautomaticreasoningetc,adiscussionofpossibledirectionsinfutureresearchonthissubjectisdeliv・ered.KeywordsServicecomposition,Webservice,SemanticWeb1引言随着语义Web的各项技术，特别是语义Web本体标记语言owl]的迅猛发展和逐步完善，人们对利用语义Web技术来智能化地整合各种web服务资源抱有越来越大的兴趣和期望，于是语义Web服务就应运而生.而语义Web服务的自动化
5、组合作为这个整合过程屮的关键技术从一开始就受到众多研究人员的广泛关注.语义Web服务的自动化组合工作主要来自两个领域:一个是人工智能领域，另一个是形式化方法和自动推理领域.当然,还有一小部分工作来自数据库领域，这一小部分工作主要是从web服务组合方法的效率的角度來研究Web服务组合的「2]•人工智能以及形式化方法和自动推理这两个领域的工作既互相交叉，乂互为补充•来自人工智能领域中的工作包括构建用于Web服务描述的本体，以便更好地支持web服务资源的智能化整合•人工智能领域中的研究人员也从人工智能规划(Alplanning)的角度提出了一系
6、列的面向Web服务功能的web服务组合(规划)方案【3].来自形式化方法和自动推理领域的工作包括面向web服务行为的服务组合(验证)方法16],也不乏借鉴自动化程序综合(programsynthesis)[83和模型检验(modelchecking)的方法r9].本文以自动化和智能化为基本出发点，讨论了多种web服务组合方法•本文第2节考察了任何一个语义web服务自动化组合方案都无法脱离的服务描述问题,并对现有的几个影响比较广泛的语义Web服务描述框架进行了比较.第3节系统而深入地讨论了各种Web服务组合方案的原理和各自的优劣Z处，叙述的
7、重点偏向于面向服务功能的那些方法;因为通常我们需要一个Web服务时，并不从web服务的行为去指定它,关注的是这个web服务能够达成什么样的功能•第4节对Web服务组合方案的发展趋势和研究前景进行了探讨和展望.2语义Web服务的服务描述Web服务组合的方法在一定程度上依赖于具体的Web服务描述框架•在本节中，我们将考察经常与语义web服务组合纠缠在一起的服务描述问题，并对几个被学术界以及业界广泛讨论和研究的语义web服务描述框架进行比较.web服务组合(servicescomposition)所采用的具体方法和技术依赖于Web服务描述(se
8、rvicesdescription)所采用的方法和方式•更详细地说,web服务描述能够提供什么样的信息,乃至于提供多少信息都会对Web服务组合方法的选择做出限制.其至,web服务描述提供信息的
