采用动作时序逻辑的Web服务组合方法

摘要：

基于有限状态自动机理论,将Web服务建模成一个有限状态自动机.针对网络服务描述语言(WSDL)在服务行为描述方面的缺陷对其进行扩展,提出了从扩展的WSDL到动作时序逻辑(TLA)语言的转换算法,从而可以用TLA对服务行为进行形式化描述和规范,为描述Web服务提供了一个新的方法.讨论了在动作时序逻辑中,服务组合时各组件服务的有限状态自动机的组合方式,以及伴随着服务组合,单个服务的TLA规范如何组合以形成复合服务的TLA规范的问题,并在此基础上,提出了实现TLA规范正确组合的算法思想.

关键词：网络服务组合、动作时序逻辑(TLA)、网络服务描述语言(WSDL)、有限状态自动机(FSA)

所属期刊栏目：5

分类号：TP311(计算技术、计算机技术)

资助基金：The National Natural Science Foundation of China under Grant No.60503021,60721002,60875038国家自然科学基金:the Key Research Projects of Ministry of Education of China under Grant No.108151;the Science and Technology Support Foundation of Jiangsu Province under Grant No.BE2009142,BE2010180

在线出版日期：2011-06-27（万方平台首次上网日期，不代表论文的发表时间）

页数：共13页

页码：208-220