| 基于动作时序逻辑的Web服务组合 |
| |
| 引用本文： | 周倩朝,史衍琪,刘卫红.基于动作时序逻辑的Web服务组合[J].计算机应用与软件,2010,27(12). |
| |
| 作者姓名： | 周倩朝 史衍琪 刘卫红 |
| |
| 摘 要： | 为了更有效地实现Web服务组合,提出一种使用动作时序逻辑TLA(Temporal Logic of Actions)进行Web服务组合的方法.Web服务组合与工作流有着共同特征,首先根据工作流的基本控制模式,将服务之间的关系用TLA进行描述,然后提出了基于图的宽度优先搜索的Web服务自动组合算法,并采用TLA模型检验器TLC验证组合逻辑的正确性以及是否存在死锁问题,最后给出了现有的Web服务组合平台BPEL4WS向TLA转化的方法.
|
| 关 键 词： | 动作时序逻辑 BPEL4WS Web服务组合 |
WEB SERVICE COMPOSITION BASED ON TEMPORAL LOGIC OF ACTIONS |
| |
| Zhou Qianzhao,Shi Yanqi,Liu Weihong.WEB SERVICE COMPOSITION BASED ON TEMPORAL LOGIC OF ACTIONS[J].Computer Applications and Software,2010,27(12). |
| |
| Authors: | Zhou Qianzhao Shi Yanqi Liu Weihong |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ |
|
