摘要Web服务的日益广泛和语义Web研究的不断深入，使得利用本体语言自动处理各种Web服务任务成为可能。回顾了Web服务的主要思想和基本概念，指出了其在描述Web服务的语义信息方面的不足，从而说明在Web服务研究中引入语义Web的目的。介绍了描述Web服务语义信息的本体语言OWL-S，并针对OWL-S在描述Web服务动态组合方面能力的不足，尝试利用情形演算理论扩展其该方面的语义描述能力，使本体语言能够满足Web服务动态组合的需要。对最终实现基于语义的Web服务的动态组合具有积极意义。关键词：WebServicesOWL—SSemanticWeb情形演算Web服务动态组合论文英文题目AbstractTheproliferationofWebServicesandtheevolutiontowardstheSemanticWebbringabouttheopportunitytoautomatevariousWebServicestasks．WestartwithabriefintroductiontothemainideaandconceptofWebServices，pointingoutitsshortageofcapabilitytodescribethesemanticinformationofWebServices．ThenweintroducetheOWL-S，anontologylanguageusedtodescribeWebServices．WiththeSituationCalculus，weascribeasemantictotheOWL-S，whichstrengthensthedescriptivecapabilityofOWL-SonthedynamicalcompositionofWebServices．KeyWords：WebservicesOWL-SSemanticwebSituationcalculusWebservicecomposition目录摘要........................................................................................................................1Abstract...........................................................................................................................2插图或附表清单............................................................................................................1注释说明清单................................................................................................................1引言........................................................................................................................31[1级标题].....................................................................................................................41.1[2级标题]...........................................................................................................41.1.1[3级标题].................................................................................................41.2[2级标题]...........................................................................................................41.2.1[3级标题].................................................................................................42[1级标题].....................................................................................................................52.1[2级标题]...........................................................................................................53[1级标题].....................................................................................................................63.1[2级标题]...........................................................................................................64[1级标题].....................................................................................................................74.1[2级标题]...........................................................................................................7结论........................................................................................................................8参考文献.....................................................................................................................9附录........................
