面向投影时序逻辑的Web服务模型检测

• 作者: 段振华 王小兵
• 来源期刊: 西安交通大学学报
• 关键词: 形式逻辑 投影时序逻辑 Web服务 模型检测
• 年，卷（期）: 2009,（4）
• 页码范围: 39-43,124
• 页数: 6页
• 分类号: TP393
• 语种: 中文
• DOI: 10.3321/j.issn:0253-987X.2009.04.010

摘要

为了满足Web服务的可靠性.利用投影时序逻辑的模型检测方法来验证Web服务.利用投影时序逻辑的一个可执行子集对OWL-S进行建模.用命题投影时序逻辑来描述期望的性质.模型M和性质P统一以投影时序逻辑来表示,通过判定M蕴含P的有效性,即判定M和非P的合取的不可满足性,亦利用M和非P的正则形可构造合取式的正则图,判定合取的不可满足性,从而达到模型检测的目的.通过运行实例表明,所提模型检测器可验证Web服务系统性质,保证Web服务的可靠性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王小兵	西安电子科技大学计算理论与技术研究所	60	484	12.0	18.0
2	段振华	西安电子科技大学计算理论与技术研究所	47	363	10.0	16.0