| 面向投影时序逻辑的Web服务模型检测 |
| |
| 引用本文： | 王小兵,段振华.面向投影时序逻辑的Web服务模型检测[J].西安交通大学学报,2009,43(4). |
| |
| 作者姓名： | 王小兵 段振华 |
| |
| 作者单位： | 西安电子科技大学计算理论与技术研究所,710071,西安 |
| |
| 基金项目： | 国家自然科学基金重点项目，国家自然科学基金，武汉大学软件工程国家重点实验室开放基金 |
| |
| 摘 要： | 为了满足Web服务的可靠性.利用投影时序逻辑的模型检测方法来验证Web服务.利用投影时序逻辑的一个可执行子集对OWL-S进行建模.用命题投影时序逻辑来描述期望的性质.模型M和性质P统一以投影时序逻辑来表示,通过判定M蕴含P的有效性,即判定M和非P的合取的不可满足性,亦利用M和非P的正则形可构造合取式的正则图,判定合取的不可满足性,从而达到模型检测的目的.通过运行实例表明,所提模型检测器可验证Web服务系统性质,保证Web服务的可靠性.
|
| 关 键 词： | 形式逻辑 投影时序逻辑 Web服务 模型检测 |
Projection Temporal Logic Oriented Model Checking for Web Services |
| |
| WANG Xiaobing,DUAN Zhenhua.Projection Temporal Logic Oriented Model Checking for Web Services[J].Journal of Xi'an Jiaotong University,2009,43(4). |
| |
| Authors: | WANG Xiaobing DUAN Zhenhua |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 维普 万方数据 等数据库收录！ |
|
