使用描述逻辑表达语义Web服务行为

摘要

该文重点研究Web服务的行为层面并使用描述逻辑对附加的行为信息进行形式化表达。使用Dl框架来描述顺序和平行拆分的交互序列,这些内容对Web服务的发现和组合的研究都提供了一定的参考价值。在不更改代码的情况下,扩展了Web服务的特征描述;通过与本体语言OWL-DL的结合,在目前语义Web服务研究成果的基础上增加Web服务行为方面的描述。