-
题名采用动作时序逻辑的Web服务组合方法
被引量:2
- 1
-
-
作者
周宁
刘慧
王红兵
谢俊元
-
机构
南京大学计算机软件新技术国家重点实验室
南京大学计算机科学与技术系
东南大学计算机科学与工程学院
-
出处
《计算机科学与探索》
CSCD
2011年第3期208-220,共13页
-
基金
国家自然科学基金
国家教育部重点项目
江苏省科技支撑计划~~
-
文摘
基于有限状态自动机理论,将Web服务建模成一个有限状态自动机。针对网络服务描述语言(WSDL)在服务行为描述方面的缺陷对其进行扩展,提出了从扩展的WSDL到动作时序逻辑(TLA)语言的转换算法,从而可以用TLA对服务行为进行形式化描述和规范,为描述Web服务提供了一个新的方法。讨论了在动作时序逻辑中,服务组合时各组件服务的有限状态自动机的组合方式,以及伴随着服务组合,单个服务的TLA规范如何组合以形成复合服务的TLA规范的问题,并在此基础上,提出了实现TLA规范正确组合的算法思想。
-
关键词
网络服务组合
动作时序逻辑(tla)
网络服务描述语言(wsdl)
有限状态自动机(fsa)
-
Keywords
web services composition temporal logic of action(tla) web services description language(wsd l) finite state automata(fsa)
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-