何亚丽
- 作品数:6 被引量:10H指数:2
- 供职机构:苏州大学计算机科学与技术学院更多>>
- 发文基金:江苏省高校自然科学研究项目国家重点实验室开放基金国家自然科学基金更多>>
- 相关领域:自动化与计算机技术更多>>
- 基于XYZ/ADL的Web服务组合验证研究
- 随着互联网和电子商务技术的发展,Web服务因其能解决Internet异构平台下服务的交互重用等问题引起了广泛关注。和传统的分布式计算模型相比,Web服务抽象程度更高、粒度更大、独立性更强,但是单一的Web服务功能有限,难...
- 何亚丽
- 关键词:WEB服务组合时间自动机
- 文献传递
- 对称式面向方面软件体系结构动态演化研究
- 2009年
- 提出了一种对称式的面向方面体系结构模型(SAOSA),该模型将系统的功能模块、非功能模块都封装成了方面,编织这些方面构成软件体系结构中的构件、连接件.从抽象层次和实现层次出发,SAOSA模型的演化能力包括类型演化和动态重配置两种,结合一个ATM系统实例说明了SAOSA模型的动态演化机制.
- 汪玲张广泉王昇何亚丽
- 一种基于UPPAAL的Web服务组合模型检测方法被引量:4
- 2010年
- Web服务组合的正确性验证对提高软件开发效率、实现服务增值具有重要意义。为从高层抽象层次研究Web服务组合的正确性及其形式化验证方法,考虑到Web服务组合中的实时特征,在采用软件体系结构描述语言XYZ/ADL对Web服务组合进行描述的基础上,将其实时描述部分XYZ/RE转换至时间自动机模型,组合后系统应满足的性质用分支时序逻辑CTL公式表示,最后应用模型检测工具UPPAAL实现了Web服务组合正确性的自动化验证。
- 何亚丽戎玫张广泉
- 关键词:WEB服务组合XYZ/ADLUPPAAL
- 基于XYZ/ADL的Web服务组合精化检验
- 2010年
- Web服务组合的正确性验证在Web服务组合过程中至关重要.从软件体系结构角度考虑Web服务组合,可以从整体上把握系统布局.采用体系结构描述语言XYZ/ADL描述Web服务组合,并将XYZ/ADL中的XYZ/RE程序映射至时间自动机,使用精化检验方法验证Web服务组合的正确性.
- 何亚丽张广泉王昇
- 关键词:WEB服务组合XYZ/ADL时间自动机
- 基于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时间自动机
- 基于XYZ/ADL的Web服务组合描述与验证框架
- Web服务组合是当前Web服务领域的一个研究热点,目前已有一些相关的描述与验证方法,但从体系结构角度研究Web服务组合描述与验证方法,则是一个新的研究内容.基于软件体系结构描述语言XYZ/ADL和精化检验/模型检测方法,...
- 张广泉戎玫朱雪阳何亚丽
- 关键词:WEB服务组合时间自动机
- 文献传递