| 基于TLA的Web服务组合研究 |
| |
| 引用本文： | 王一飞,李迎春,许迅. 基于TLA的Web服务组合研究[J]. 微型机与应用, 2010, 29(4) |
| |
| 作者姓名： | 王一飞 李迎春 许迅 |
| |
| 作者单位： | 1. 盐城工学院信息工程学院,江苏,盐城,224053
2. 盐城市广电局,江苏,盐城,224001 |
| |
| 摘 要： | 随着以Web服务为基础的面向服务的体系结构的发展,如何有效地组合自治的、分布的、不同功能的Web服务以构建新的企业业务应用逐渐成为研究热点.简单介绍了Conversation模型的概念,利用该模型作为中介,将组合Web服务的BPEL描述转化为Conversation模型,再将Conversation模型转换为TLA表达式.并给出了具体的算法.
|
| 关 键 词： | Conversation模型 Web服务组合验证 |
Research of Web services composition based on TLA |
| |
| WANG Yi Fei,LI Ying Chun,XU Xun. Research of Web services composition based on TLA[J]. Microcomputer & its Applications, 2010, 29(4) |
| |
| Authors: | WANG Yi Fei LI Ying Chun XU Xun |
| |
| Abstract: | |
| |
| Keywords: | TLA BPEL4WS |
| 本文献已被 万方数据 等数据库收录！ |
|
