普适计算中服务描述的形式化模型

摘要

现有服务描述模型存在以下缺点：无法描述服务语义信息，缺乏克服语义异构性的特性。为了境服这些缺点本文提出了服务描述的形式化模型，并用OWL描述。该模型采用了层次化的本体设计方法。基于该模型设计并实现了服务发现系统原型，在原型中评估了该模型，结果表明，模型具有扩展性强、支持知识共享、知识复用、逻辑推理，并能克服语义异构性等优点。