基于时序描述逻辑的Web服务本体语言过程模型语义

• 作者: 刘士仪 年福忠 李明
• 来源期刊: 计算机应用
• 学科: 工学
• 关键词: Web服务本体语言 时序描述逻辑 服务组合 形式化 过程模型 建模
• 年，卷（期）: 2013,（1）
• 所属期刊栏目: 计算机软件技术
• 页码范围: 266-269
• 页数: 4页
• 分类号: TP301
• 字数: 5011字
• 语种: 中文
• DOI: 10.3724/SP.J.1087.2013.00266

摘要

针对Web服务本体语言(OWL-S)过程模型存在动态交互和时序特征表达能力不足的问题,提出一种基于时序描述逻辑的过程模型形式化方法.通过对OWL-S过程模型的原子过程和组合过程语义进行形式化的描述,得到了OWL-S的过程模型的动态语义,最终实现了对OWL-S过程模型的形式化建模.实例结果验证了所提方法的可行性,为进一步的分析和验证提供了基础.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李明	兰州理工大学计算机与通信学院	115	778	15.0	21.0
2	刘士仪	兰州理工大学计算机与通信学院	2	6	1.0	2.0
3	年福忠	兰州理工大学计算机与通信学院	8	34	4.0	5.0