基于动作时序逻辑的Web服务组合

• 作者: 刘卫红 史衍琪 周倩朝
• 来源期刊: 计算机应用与软件
• 学科: 工学
• 关键词: 动作时序逻辑 BPEL4WS Web服务组合
• 年，卷（期）: 2010,（12）
• 页码范围: 142-144,173
• 分类号: TP3
• 字数: 2512字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-386X.2010.12.045

摘要

为了更有效地实现Web服务组合,提出一种使用动作时序逻辑TLA(Temporal Logic of Actions)进行Web服务组合的方法.Web服务组合与工作流有着共同特征,首先根据工作流的基本控制模式,将服务之间的关系用TLA进行描述,然后提出了基于图的宽度优先搜索的Web服务自动组合算法,并采用TLA模型检验器TLC验证组合逻辑的正确性以及是否存在死锁问题,最后给出了现有的Web服务组合平台BPEL4WS向TLA转化的方法.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	刘卫红	东南大学计算机科学与工程学院	9	8	2.0	2.0
3	周倩朝	东南大学计算机科学与工程学院	2	12	2.0	2.0
6	史衍琪	东南大学计算机科学与工程学院	2	5	2.0	2.0