10.3969/j.issn.1000-386X.2010.12.045
基于动作时序逻辑的Web服务组合
为了更有效地实现Web服务组合,提出一种使用动作时序逻辑TLA(Temporal Logic of Actions)进行Web服务组合的方法.Web服务组合与工作流有着共同特征,首先根据工作流的基本控制模式,将服务之间的关系用TLA进行描述,然后提出了基于图的宽度优先搜索的Web服务自动组合算法,并采用TLA模型检验器TLC验证组合逻辑的正确性以及是否存在死锁问题,最后给出了现有的Web服务组合平台BPEL4WS向TLA转化的方法.
动作时序逻辑、BPEL4WS、Web服务组合
27
TP3;TP1
2011-03-21(万方平台首次上网日期,不代表论文的发表时间)
共4页
142-144,173