| 采用动作时序逻辑的Web服务组合方法 |
| |
| 引用本文： | 周宁,刘慧,王红兵,谢俊元.采用动作时序逻辑的Web服务组合方法[J].计算机科学与探索,2011,5(3):208-220. |
| |
| 作者姓名： | 周宁 刘慧 王红兵 谢俊元 |
| |
| 作者单位： | 1. 南京大学,计算机软件新技术国家重点实验室,南京,210093;南京大学,计算机科学与技术系,南京,210093
2. 东南大学,计算机科学与工程学院,南京,210096 |
| |
| 基金项目： | 60875038(国家自然科学基金):the Key Research Projects of Ministry of Education of China under Grant No.108151，the Science and Technology Support Foundation of Jiangsu Province under Grant No.BE2009142 |
| |
| 摘 要： | 基于有限状态自动机理论,将Web服务建模成一个有限状态自动机。针对网络服务描述语言(WSDL)在服务行为描述方面的缺陷对其进行扩展,提出了从扩展的WSDL到动作时序逻辑(TLA)语言的转换算法,从而可以用TLA对服务行为进行形式化描述和规范,为描述Web服务提供了一个新的方法。讨论了在动作时序逻辑中,服务组合时各组件服务的有限状态自动机的组合方式,以及伴随着服务组合,单个服务的TLA规范如何组合以形成复合服务的TLA规范的问题,并在此基础上,提出了实现TLA规范正确组合的算法思想。
|
| 关 键 词： | 网络服务组合 动作时序逻辑(TLA) 网络服务描述语言(WSDL) 有限状态自动机(FSA) |
| 修稿时间： | |
Web Service Composition Approach Based on Temporal Logic of Action |
| |
| ZHOU Ning,LIU Hui,WANG Hongbing,XIE Junyuan.Web Service Composition Approach Based on Temporal Logic of Action[J].Journal of Frontier of Computer Science and Technology,2011,5(3):208-220. |
| |
| Authors: | ZHOU Ning LIU Hui WANG Hongbing XIE Junyuan |
| |
| Affiliation: | 1. National Key Laboratory for Novel Software Technology, Nanjing University, Nanjing 210093, China 2. Department of Computer Science and Technology, Nanjing University, Nanjing 210093, China 3. School of Computer Science and Engineering, Southeast University, Nanjing 210096, China |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
| 点击此处可从《计算机科学与探索》浏览原始摘要信息 |
|
点击此处可从《计算机科学与探索》下载全文 |
|
