| 基于XYZ/ADL的Web服务组合描述与验证 |
| |
| 引用本文： | 张广泉,戎玫,朱雪阳,何亚丽,石慧娟.基于XYZ/ADL的Web服务组合描述与验证[J].电子学报,2011,39(Z1). |
| |
| 作者姓名： | 张广泉 戎玫 朱雪阳 何亚丽 石慧娟 |
| |
| 作者单位： | 张广泉,ZHANG Guang-quan(苏州大学计算机科学与技术学院,江苏苏州,215006;中国科学院计算机科学国家重点实验室,北京,100080);戎玫,RONG Mei(暨南大学深圳旅游学院,广东深圳,518053);朱雪阳,ZHU Xue-yang(中国科学院计算机科学国家重点实验室,北京,100080);何亚丽,石慧娟,HE Ya-Li,SHI Hui-juan(苏州大学计算机科学与技术学院,江苏苏州,215006) |
| |
| 基金项目： | 国家自然科学基金，中国科学院计算机科学国家重点实验室开放课题，江苏省高校自然科学研究项目 |
| |
| 摘 要： | Web服务组合是当前Web服务领域的一个研究热点,目前已有一些相关的描述与验证方法,本文从软件体系结构角度研究Web服务组合描述与验证方法.基于软件体系结构描述语言XYZ/ADL和精化检验/模型检测方法,提出了一种Web服务组合的描述与验证方法.XYZ/ADL是时序逻辑语言XYZ/E的扩展,考虑到多数Web服务具有实时特征,采用XYZ/E的实时扩展语言XYZ/RE表示系统应满足的时间约束.针对Web服务组合系统,根据XYZ/RE到时间自动机的映射规则将系统描述转换为对应的时间自动机,分别采用精化检验和模型检测两种技术验证Web服务组合的正确性;最后通过两个实例分析分别阐述了上述方法的可行性和有效性.
|
| 关 键 词： | Web服务组合 时间自动机 精化检验 模型检测 |
Specification and Verification of Web Service Composition Based on XYZ/ADL |
| |
| ZHANG Guang-quan,RONG Mei,ZHU Xue-yang,HE Ya-Li,SHI Hui-juan.Specification and Verification of Web Service Composition Based on XYZ/ADL[J].Acta Electronica Sinica,2011,39(Z1). |
| |
| Authors: | ZHANG Guang-quan RONG Mei ZHU Xue-yang HE Ya-Li SHI Hui-juan |
| |
| Affiliation: | ZHANG Guang-quan1,2,RONG Mei3,ZHU Xue-yang2,HE Ya-Li1,SHI Hui-juan1(1.School of Computer Science and Technology,Soochow University,Suzhou,Jiangsu 215006,China,2.State Key Laboratory of Computer Science,Chinese Academy of Sciences,Beijing 100080,3.Shenzhen Tourism College,Jinan University,Shenzhen,Guangdong 518053,China) |
| |
| Abstract: | |
| |
| Keywords: | XYZ/ADL XYZ/RE |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
