石慧娟
- 作品数：4 被引量：12H指数：3
- 供职机构：苏州大学计算机科学与技术学院更多>>
- 发文基金：国家自然科学基金江苏省高校自然科学研究项目国家重点实验室开放基金更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- 基于XYZ/ADL的异步Web服务组合描述与验证被引量：3
- 2011年
- 以Web服务组合为研究对象,重点讨论了服务组合中异步通信行为和时间属性的形式化描述和验证。首先,从软件体系结构角度分析Web服务组合,采用基于时序逻辑的XYZ/ADL描述Web服务的交互行为和时间属性;然后,提出一种符合模型检测工具UPPAAL规约的时间异步通信模型TACM;最后,实现了XYZ/RE通信命令到TACM的映射,利用UPPAAL验证了服务组合系统异步通信行为的正确性。
- 石慧娟戎玫张广泉朱稷涵
- 关键词：WEB服务组合XYZ/ADL异步通信
- 基于扩展自动机的服务组合静态与动态验证方法被引量：4
- 2012年
- 针对目前Web服务组合研究中缺少对定量属性的验证以及在服务运行过程中缺乏对出现异常时的故障处理等问题,提出了一种基于扩展有限自动机的Web服务组合静态与动态验证方法。该方法首先对有限自动机进行扩展,建立了一个可以描述数据及时间等信息的Web服务组合形式化模型;基于该模型,采用计算树逻辑(CTL)描述相关属性,并利用模型检测工具UPPAAL对Web服务组合的行为属性、时间属性以及数据属性等进行了验证;最后结合所建立的诊断模型,给出了一种能够对Web服务组合运行过程中出现异常时进行有效处理的错误诊断算法。
- 张广泉狄浩军石慧娟晏荣杰朱雪阳
- 关键词：WEB服务组合有限自动机CTLUPPAAL
- 一种时间异步Web服务交互的失配检测方法
- 为了提高Web服务组合的可靠性，提出了一种时间异步Web服务交互的失配检测方法。首先采用基于时序逻辑的软件体系结构描述语言XYZ/ADL描述Web服务组合，并建立了一个可以精确刻画异步交互行为和时间属性的时间异步服务模型...
- 石慧娟张广泉狄浩军
- 关键词：WEB服务
- 基于XYZ/ADL的Web服务组合描述与验证被引量：6
- 2011年
- Web服务组合是当前Web服务领域的一个研究热点,目前已有一些相关的描述与验证方法,本文从软件体系结构角度研究Web服务组合描述与验证方法.基于软件体系结构描述语言XYZ/ADL和精化检验/模型检测方法,提出了一种Web服务组合的描述与验证方法.XYZ/ADL是时序逻辑语言XYZ/E的扩展,考虑到多数Web服务具有实时特征,采用XYZ/E的实时扩展语言XYZ/RE表示系统应满足的时间约束.针对Web服务组合系统,根据XYZ/RE到时间自动机的映射规则将系统描述转换为对应的时间自动机,分别采用精化检验和模型检测两种技术验证Web服务组合的正确性;最后通过两个实例分析分别阐述了上述方法的可行性和有效性.
- 张广泉戎玫朱雪阳何亚丽石慧娟
- 关键词：WEB服务组合XYZ/ADL时间自动机
