基于XYZ/ADL的异步Web服务组合描述与验证

计算机科学 ›› 2011, Vol. 38 ›› Issue (12): 139-143.

基于XYZ/ADL的异步Web服务组合描述与验证

石慧娟，戎玫，张广泉，朱稷涵

(苏州大学计算机科学与技术学院苏州215006);(暨南大学深圳旅游学院深圳518053);(中国科学院软件研究所计算机科学国家重点实验室北京100080)

出版日期:2018-12-01 发布日期:2018-12-01

Description and Verification of Asynchronous Web Service Composition Based on XYZ/ADL

Online:2018-12-01 Published:2018-12-01

摘要/Abstract

摘要： 以Web服务组合为研究对象，重点讨论了服务组合中异步通信行为和时间属性的形式化描述和验证。首先，从软件体系结构角度分析Web服务组合，采用基于时序逻辑的XYZ/ADL描述Web服务的交互行为和时间属性;然后，提出一种符合模型检测工具UPPAAI规约的时间异步通信模型TACM;最后，实现了XYZ/RE通信命令到TACM的映射，利用UPPAA工验证了服务组合系统异步通信行为的正确性。

关键词: Web服务组合，XYZ/ADL，异步通信，时间属性，模型检测

Abstract: Concerned with Web service composition, this paper especially emphasized the formal description and verificanon of asynchronous communication behaviors and timed properties. Firstly, analyzing Web service composition from software architecture, the interactive behaviors and timed properties were described by XYZ/ADL based on temporal logic language. Secondly, timed asynchronous communication model(TACM) which accords with the specification of model checker UPPAALwas proposed. Finally, based on the transition from XYZ/RE communication command senfences to TACM, the correctness of asynchronous communication behaviors of the service composition system was verified by UPPAAI.

Key words: Web service composition,XYZ/ADI，Asynchronous communication, Timed propertics,Model checking

石慧娟，戎玫，张广泉，朱稷涵. 基于XYZ/ADL的异步Web服务组合描述与验证[J]. 计算机科学, 2011, 38(12): 139-143. https://doi.org/

参考文献

Metrics

Viewed

Full text

Abstract

Cited

Shared

Discussed