作　　者： ; ;

机构地区： 广西师范大学数学与计算机科学学院

出　　处： 《计算机科学》 2005年第7期5-7,16,共4页

摘　　要： 本文分析了目前语义Web服务的研究现状和存在的问题,特别是语义Web服务描述本体OWL-S的形式语义研究中存在的问题,在 Srini Narayanan等人研究的基础上,用情景演算理论进一步研究了 OWL-S中组合服务描述的形式语义,从而完善了OWL-S的形式语义,为语义Web服务提供了合理的理论基础。 The current work and the existing problem of the semantic Web services are analyzed in this paper, espe- cially the formal semantics of semantic Web services description ontology OWL-S. Based on the work of Sriui Narayanan,et al, the formal semantics of service composition description of OWL-S is further studied through situa- tion calculus theory, so the formal semantics of OWL-S is perfected. The work of this paper provides reasonable the- ory foundation for semantic Web services.

关 键 词： 形式语义 服务 服务 语义 研究现状 理论基础 服务提供

领　　域： [自动化与计算机技术] [自动化与计算机技术] [自动化与计算机技术] [自动化与计算机技术]