何亚丽

作品数：4被引量：10H指数：2
导出分析报告
供职机构：苏州大学计算机科学与技术学院更多>>
发文主题：XYZ/ADLWEB服务组合时间自动机WEB服务WEB服务组合模型更多>>
发文领域：自动化与计算机技术更多>>
发文期刊：《电子学报》《苏州大学学报（自然科学版）》《计算机科学》更多>>
所获基金：江苏省高校自然科学研究项目国家重点实验室开放基金国家自然科学基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-4
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于XYZ/ADL的Web服务组合描述与验证被引量：6
《电子学报》2011年第A03期86-93,共8页张广泉 戎玫 朱雪阳 何亚丽 石慧娟 
国家自然科学基金(No.60973149);中国科学院计算机科学国家重点实验室开放课题(No.SYSKF0908);江苏省高校自然科学研究项目(No.08KJB520010)
Web服务组合是当前Web服务领域的一个研究热点,目前已有一些相关的描述与验证方法,本文从软件体系结构角度研究Web服务组合描述与验证方法.基于软件体系结构描述语言XYZ/ADL和精化检验/模型检测方法,提出了一种Web服务组合的描述与验证...
关键词：WEB服务组合 XYZ/ADL XYZ/RE 时间自动机 精化检验 模型检测 
一种基于UPPAAL的Web服务组合模型检测方法被引量：4
《计算机科学》2010年第11期122-125,共4页何亚丽 戎玫 张广泉 
中国科学院计算机科学国家重点实验室开放课题(SYSKF0908);江苏省高校自然科学研究项目(08KJB520010)资助
Web服务组合的正确性验证对提高软件开发效率、实现服务增值具有重要意义。为从高层抽象层次研究Web服务组合的正确性及其形式化验证方法,考虑到Web服务组合中的实时特征,在采用软件体系结构描述语言XYZ/ADL对Web服务组合进行描述的基础...
关键词：WEB服务组合 模型检测 XYZ/ADL XYZ/RE UPPAAL 
基于XYZ/ADL的Web服务组合精化检验
《苏州大学学报（自然科学版）》2010年第1期42-47,52,共7页何亚丽 张广泉 王昇 
中国科学院计算机科学国家重点实验室开放课题(SYSKF0908);江苏省高校自然科学研究项目(08KJB520010)
Web服务组合的正确性验证在Web服务组合过程中至关重要.从软件体系结构角度考虑Web服务组合,可以从整体上把握系统布局.采用体系结构描述语言XYZ/ADL描述Web服务组合,并将XYZ/ADL中的XYZ/RE程序映射至时间自动机,使用精化检验方法验证We...
关键词：WEB服务组合 XYZ/ADL XYZ/RE 时间自动机 精化检验 
对称式面向方面软件体系结构动态演化研究
《苏州大学学报（自然科学版）》2009年第4期63-68,共6页汪玲 张广泉 王昇 何亚丽 
江苏省高校自然科学研究项目(08KJB520010);中国科学院计算机科学国家重点实验室开放课题(SYSKF0908)
提出了一种对称式的面向方面体系结构模型(SAOSA),该模型将系统的功能模块、非功能模块都封装成了方面,编织这些方面构成软件体系结构中的构件、连接件.从抽象层次和实现层次出发,SAOSA模型的演化能力包括类型演化和动态重配置两种,结...
关键词：面向方面编程(AOP) 对称式面向方面软件体系结构(SAOSA) 动态演化 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部