基于XYZ/ADL的Web服务组合精化检验  

Refinement checking for web service composition based on XYZ/ADL

作　　者：何亚丽[1] 张广泉[1,2] 王昇[1] 

机构地区：[1]苏州大学计算机科学与技术学院,江苏苏州215006 [2]中国科学院计算机科学国家重点实验室,北京100080

出　　处：《苏州大学学报（自然科学版）》2010年第1期42-47,52,共7页Journal of Soochow University(Natural Science Edition)

基　　金：中国科学院计算机科学国家重点实验室开放课题(SYSKF0908);江苏省高校自然科学研究项目(08KJB520010)

摘　　要：Web服务组合的正确性验证在Web服务组合过程中至关重要.从软件体系结构角度考虑Web服务组合,可以从整体上把握系统布局.采用体系结构描述语言XYZ/ADL描述Web服务组合,并将XYZ/ADL中的XYZ/RE程序映射至时间自动机,使用精化检验方法验证Web服务组合的正确性.Verification of web service composition plays an important role in the process of web service composition activity. Considering web service composition from the view of software architecture can control the layout of the whole system, thus we use the software architecture description language XYZ/ADL to specify web service composition, then transform the XYZ/RE part to timed-automata,and apply refinement checking to verify the correctness of web service composition.

关 键 词：WEB服务组合 XYZ/ADL XYZ/RE 时间自动机 精化检验 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]