基于XYZ/ADL的Web服务组合描述与验证框架
Web服务组合是当前Web服务领域的一个研究热点,目前已有一些相关的描述与验证方法,但从体系结构角度研究Web服务组合描述与验证方法,则是一个新的研究内容.基于软件体系结构描述语言XYZ/ADL和精化检验/模型检测方法,提出了一种Web服务组合的描述与验证框架.XYZ/ADL是时序逻辑语言XYZ/E的扩展,考虑到多数Web服务具有实时特征,可采用XYZ/E的实时扩展语言即XYZ/RE表示系统应满足的时间约束.针对Web服务组合系统,根据XYZ/RE到时间自动机的映射规则将系统描述转换为对应的时间自动机,分别采用精化检验和模型检测两种技术验证Web服务组合的正确性;最后通过两个实例分析分别阐述了上述方法的可行性和有效性.
Web服务组合 时间自动机 精化检验 模型检测
张广泉 戎玫 朱雪阳 何亚丽
苏州大学 计算机科学与技术学院,苏州 215006 中国科学院 计算机科学国家重点实验室,北京 100080 暨南大学 深圳旅游学院,深圳 518053 中国科学院 计算机科学国家重点实验室,北京 100080 苏州大学 计算机科学与技术学院,苏州 215006
国内会议
苏州
中文
37-46
2010-11-04（万方平台首次上网日期，不代表论文的发表时间）