欧盟服务计算相关项目介绍－3 WSMO篇
重要提示 博客中的内容选择带有很强的个人偏向，因此可能没有覆盖全面。尽管刻意保持公正和正确，但不免出现错误和遗漏，敬请注意。本人的博客会不定期更新，添加项目细节 ，也请留意。
首先，祝坛子里的很多小朋友节日快乐:-)
这两天因为要更改注册名，不能报告工作。今天争取补上。
WSMO 的全称是Web Services Modeling Ontology，即描述Web服务的本体 。它实际上与很多FP项目（如前面介绍过的DIP)有联系，个人感觉是欧盟范围内很多语义Web服务项目的基础。
WSMO致力于推进语义Web服务的发展，形成语义Web服务语言标准，为语义Web服务建立统一的体系结构和共同的平台。
下面以文章Web Service Modeling Ontology (WSMO) - An Ontology for Semantic Web Services 为参考，介绍一下WSMO。
WSMO工作组(WSMO Working Group )认为，语义Web和Web服务将成为下一代Web应用的支撑技术。其中，语义Web使得机器能够理解Web中的内容（如文档），Web服务则为Internet下的分布式计算奠定了一个自动化的动态发现、组合和执行服务技术基础。现有的Web服务技术栈只在句法层面提供了所交换信息的描述，缺乏相关的语义信息。通过广泛引人语义信息，有望建立语义Web服务(SWS)，能为服务的发现、组合、契约制订以及执行提供智能化机制。逐步将Internet由目前的世界范围内的信息仓储（供人类阅读）转变为分布式Web计算平台。
为实现SWS，WSMO在前人工作WSMF的基础上，形成了描述Web服务的形式化本体和语言。WSMO的设计原则是：
- 顺应Web原则(Web Compliance) WSMO继承了URI机制作为资源的唯一标识符，采纳了名称空间(Namespace)、资源分散化等概念
- 基于本体(Ontology-Based) WSMO将语义Web中的本体作为数据模型，以强化信息处理和语义互操作
- 严格解耦 (Strict Decoupling) 所有WSMO资源独立定义，维持Web开放和分布式特征
- 集中协调 (Centrality of Mediation) 作为严格解耦的补充，以集中的方式处理开放系统固有的异构性
- 本体角色分离(Ontological Role Separation) WSMO的认识论基础区分服务提供方和请求方的上下文差异
- 描述与实现分离(Description versus Implementation) WSMO区分SWS的描述和其实现技术。描述强调精确和正确，因而需要形式化方法；实现技术关注SWS的现有与新兴执行技术。WSMO为此提供合适的本体描述模型
- 执行语义(Execution Semantics) 为WSMO的所有参考实现规定严格的形式语义，以便于验证WSMO协约
WSMO顶层元素包括：
Class ontology
hasNonFunctionalProperties type nonFunctionalProperties
importsOntology type ontology
usesMediator type ooMediator
hasConcept type concept
hasRelation type relation
hasFunction type function
hasInstance type instance
hasAxiom type axiom
Class service
hasNonFunctionalProperties type nonFunctionalProperties
importsOntology type ontology
usesMediator type {ooMediator, wwMediator}
hasCapability type capability multiplicity = single-valued
hasInterface type interface
Class goal
hasNonFunctionalProperties type nonFunctionalProperties
importsOntology type ontology
usesMediator type {ooMediator, ggMediator}
requestsCapability type capability multiplicity = single-valued
requestsInterface type interface
Class mediator
hasNonFunctionalProperties type nonFunctionalProperties
importsOntology type ontology
hasSource type {ontology, goal, service, mediator}
hasTarget type {ontology, goal, service, mediator}
hasMediationService type {goal, service, wwMediator}
参考文献：
1. WSMO官方网站 http://www.wsmo.org/
Copyright Notice: This blog is only used for acdemic purpose. Any materials are copyrighted by their original authors, explicitly or implicitly. If any questions, plesase send me a message.
版权申明 : 此博客仅用于学术目的。其中使用的材料来源于多个方面,不论是受知识产权保护或自由使用的材料,明确说明或隐含表达,其版权均属于材料的原始作者,特此申明。如有疑问,请联络博客主人。