基于TLA的Web服务组合研究  

Research of Web services composition based on TLA

作　　者：王一飞[1] 李迎春 许迅[1] 

机构地区：[1]盐城工学院信息工程学院,江苏盐城224053 [2]盐城市广电局,江苏盐城224001

出　　处：《微型机与应用》2010年第4期38-40,共3页Microcomputer & Its Applications

摘　　要：随着以Web服务为基础的面向服务的体系结构的发展,如何有效地组合自治的、分布的、不同功能的Web服务以构建新的企业业务应用逐渐成为研究热点。简单介绍了Conversation模型的概念,利用该模型作为中介,将组合Web服务的BPEL描述转化为Conversation模型,再将Conversation模型转换为TLA表达式,并给出了具体的算法。With the evolution of service-oriented architecture, providing support for compositing distributed and autonomous Web services into business applications has become a key area in the software engineering research. The main functions including the following items. Firstly, the concepts of BPEL4WS and TLA are describled. And then the algorithms for the automatic translation from BPEL4WS to TLA are discussed and suggested.

关 键 词：TLA BPEIAWS Conversation模型 WEB服务组合验证 

分 类 号：TP393[自动化与计算机技术—计算机应用技术]