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

• 作者: 何亚丽 张广泉 戎玫 朱雪阳 石慧娟
• 来源期刊: 电子学报
• 学科: 工学
• 关键词: Web服务组合 XYZ/ADL XYZ/RE 时间自动机 精化检验 模型检测
• 年，卷（期）: 2011,（z1）
• 所属期刊栏目: 学术论文
• 页码范围: 86-93
• 分类号: TP311
• 字数: 6548字
• 语种: 中文

摘要

Web服务组合是当前Web服务领域的一个研究热点,目前已有一些相关的描述与验证方法,本文从软件体系结构角度研究Web服务组合描述与验证方法.基于软件体系结构描述语言XYZ/ADL和精化检验/模型检测方法,提出了一种Web服务组合的描述与验证方法.XYZ/ADL是时序逻辑语言XYZ/E的扩展,考虑到多数Web服务具有实时特征,采用XYZ/E的实时扩展语言XYZ/RE表示系统应满足的时间约束.针对Web服务组合系统,根据XYZ/RE到时间自动机的映射规则将系统描述转换为对应的时间自动机,分别采用精化检验和模型检测两种技术验证Web服务组合的正确性;最后通过两个实例分析分别阐述了上述方法的可行性和有效性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张广泉	苏州大学计算机科学与技术学院	147	1056	16.0	25.0
5	戎玫	暨南大学深圳旅游学院	48	418	12.0	18.0
6	石慧娟	苏州大学计算机科学与技术学院	3	22	3.0	3.0
7	朱雪阳	中国科学院计算机科学国家重点实验室	7	85	5.0	7.0
8	何亚丽	苏州大学计算机科学与技术学院	4	17	2.0	4.0