文件名称：基于时序描述逻辑的Web服务本体语言过程模型语义 (2013年)
文件大小：351KB
文件格式：PDF
更新时间：2024-06-09 19:32:55
工程技术 论文
针对Web服务本体语言(OWL-S)过程模型存在动态交互和时序特征表达能力不足的问题，提出一种基于时序描述逻辑的过程模型形式化方法。通过对OWL-S过程模型的原子过程和组合过程语义进行形式化的描述，得到了OWL-S的过程模型的动态语义，最终实现了对OWL-S过程模型的形式化建模。实例结果验证了所提方法的可行性，为进一步的分析和验证提供了基础。