|
|
1.
基于时序描述逻辑的Web服务本体语言过程模型语义
李明 刘士仪 年福忠
计算机应用
2013, 33 (01):
266-269.
DOI: 10.3724/SP.J.1087.2013.00266
针对Web服务本体语言(OWL-S)过程模型存在动态交互和时序特征表达能力不足的问题，提出一种基于时序描述逻辑的过程模型形式化方法。通过对OWL-S过程模型的原子过程和组合过程语义进行形式化的描述，得到了OWL-S的过程模型的动态语义，最终实现了对OWL-S过程模型的形式化建模。实例结果验证了所提方法的可行性，为进一步的分析和验证提供了基础。
参考文献 |
相关文章 |
多维度评价
|
|
