| 一种验证Web服务流程的新方法* |
| |
| 引用本文： | 王晨,王红兵,许迅.一种验证Web服务流程的新方法*[J].计算机应用研究,2008,25(12):3785-3789. |
| |
| 作者姓名： | 王晨 王红兵 许迅 |
| |
| 作者单位： | 东南大学,计算机学院,南京,210096 |
| |
| 基金项目： | 国家自然科学基金资助项目(60673175) |
| |
| 摘 要： | 在实际的服务组合中，Web服务流程（process）的验证(verification)对于Web服务的组合实现和应用具有重要意义——通过验证可以证明一个组合服务的控制流满足某个重要或者期望的属性，如不包含死锁或不包含无限循环，诸如此类；而服务提供者可对Web服务流程进行验证，以确保所提供的Web服务是完全正确的。然而，针对这两种语言的验证方法较少被人们注意。提出一种验证Web服务流程的方法，该方法使用时序行为逻辑（TLA）建模服务流程，然后，利用模型检验（model checking）技术验证模型的某些属
|
| 关 键 词： | 时序逻辑语言 Web服务本体描述语言 Web服务业务流程执行语言 Web服务组合验证 工作流模型分析 |
Novel method to verify Web services process |
| |
| WANG Chen,WANG Hong bing,XU Xun.Novel method to verify Web services process[J].Application Research of Computers,2008,25(12):3785-3789. |
| |
| Authors: | WANG Chen WANG Hong bing XU Xun |
| |
| Abstract: | |
| |
| Keywords: | temporal logic of action ontology Web language for services business process execution language for Web ser-vices(BPEL4WS) verification of Web services composition analysis of workflow model |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机应用研究》浏览原始摘要信息 |
|
点击此处可从《计算机应用研究》下载全文 |
|
