OWL-S过程模型的一阶动态逻辑语义研究

• 作者: 刘冬 李明
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 语义Web Web服务 Web服务本体语言 过程模型 一阶动态逻辑 形式化
• 年，卷（期）: 2012,（12）
• 所属期刊栏目: 软件技术与数据库
• 页码范围: 45-47,51
• 分类号: TP312
• 字数: 5213字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2012.12.013

摘要

针对Web服务本体语言(OWL-S)过程模型语义不完善、难以对其进行有效形式化分析和验证的问题,提出一种OWL-S过程模型的形式化方法.该方法对原子过程提供的输入、输出参数、前提条件、执行效果,以及组合过程控制构造子的语义进行描述,从而得到过程模型的一阶动态逻辑语义.实例结果验证了该方法的有效性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李明	兰州理工大学计算机与通信学院	115	778	15.0	21.0
2	刘冬	兰州理工大学计算机与通信学院	1	1	1.0	1.0