摘 要Web服务的日益广泛和语义Web研究的不断深入，使得利用本体语言自动处理各种Web服务任务成为可能。回顾了Web服务的主要思想和基本概念，指出了其在描述Web服务的语义信息方面的不足，从而说明在Web服务研究中引入语义Web的目的。介绍了描述Web服务语义信息的本体语言OWL-S，并针对OWL-S在描述Web服务动态组合方面能力的不足，尝试利用情形演算理论扩展其该方面的语义描述能力，使本体语言能够满足Web服务动态组合的需要。对最终实现基于语义的Web服务的动态组合具有积极意义。关键词：Web Services OWL—S Semantic Web 情形演算 Web 服务动态组合论文英文题目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目 录摘 要........................................................................................................................1Abstract...........................................................................................................................2插图或附表清单............................................................................................................1注释说明清单................................................................................................................1引 言........................................................................................................................31[1 级标题]..................................................................
