摘要
为了更有效地实现Web服务组合,提出一种使用动作时序逻辑TLA(Temporal Logic of Actions)进行Web服务组合的方法。Web服务组合与工作流有着共同特征,首先根据工作流的基本控制模式,将服务之间的关系用TLA进行描述,然后提出了基于图的宽度优先搜索的Web服务自动组合算法,并采用TLA模型检验器TLC验证组合逻辑的正确性以及是否存在死锁问题,最后给出了现有的Web服务组合平台BPEL4WS向TLA转化的方法。
In order to implement Web services composition more effectively,this paper proposes a Web services composition method based on TLA ( Temporal Logic of Actions) . Web services composition is similar to work flow in characteristics. Firstly,the relation between the Web services is described with TLA according to the basic control mode of work flow. Then,an automatic composition algorithm is proposed based on breadth-first search of graph,and the TLA model checker TLC is employed to check the correctness of the composition logic and whether or not there is the dead lock. At last the approach for converting current Web services platform BPEL4WS to TLA is given as well.
出处
《计算机应用与软件》
CSCD
2010年第12期142-144,173,共4页
Computer Applications and Software
关键词
动作时序逻辑
BPEL4WS
WEB服务组合
Temporal logic of actions ( TLA) BPEL4WS( Business Process Execution Language for Web Services) Web service composition