摘 要Web服务的日益广泛和语义Web研究的不断深入，使得利用本体语言自动处理各种Web服务任务成为可能。回顾了Web服务的主要思想和基本概念，指出了其在描述Web服务的语义信息方面的不足，从而说明在Web服务研究中引入语义Web的目的。介绍了描述Web服务语义信息的本体语言OWL-S，并针对OWL-S在描述Web服务动态组合方面能力的不足，尝试利用情形演算理论扩展其该方面的语义描述能力，使本体语言能够满足Web服务动态组合的需要。对最终实现基于语义的Web服务的动态组合具有积极意义。关键词：Web Services OWL—S Semantic Web 情形演算 Web 服务动态组合- 1 -论文英文题目AbstractThe proliferation of Web Services and the evolution towards the Semantic Web bring about the opportunity to automate various Web Services tasks．We start with a brief introduction to the main idea and concept of Web Services，pointing out its shortage of capability to describe the semantic information of Web Services．Then we introduce the OWL-S，an ontology language used to describe Web Services．With the Situation Calculus，we ascribe a semantic to the OWL-S，which strengthens the descriptive capability of OWL-S on the dynamical composition of Web Services．Key Words：Web services OWL-S Semantic web Situation calculus Web service composition- 2 -目 录摘 要........................................................................................................................1Abstract...........................................................................................................................2插图或附表清单............................................................................................................1注释说明清单................................................................................................................1引 言........................................................................................................................31[1 级标题]....................................................
