江苏省高校自然科学研究项目(08KJB520010)

作品数：37被引量：67H指数：4
导出分析报告
相关作者：张广泉戎玫章晓芳何亚丽王辉更多>>
相关机构：苏州大学中国科学院软件研究所暨南大学闽江学院更多>>
相关期刊：《电信科学》《计算机工程与应用》《电子学报》《小型微型计算机系统》更多>>
相关主题：WEB服务组合XYZ/ADLWEB服务时间自动机形式化方法更多>>
相关领域：自动化与计算机技术环境科学与工程理学电子电信更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于XYZ/ADL的异步Web服务组合描述与验证被引量：2
《计算机科学》2011年第12期139-143,共5页石慧娟 戎玫 张广泉 朱稷涵 
国家自然科学基金(60973149);江苏省自然科学基金(BK2011281);中国科学院计算机科学国家重点实验室开放课题(SYSKF0908);江苏省高校自然科学研究项目(08KJB520010);苏州大学国家级大学生创新性实验计划项目(101028524)资助
以Web服务组合为研究对象,重点讨论了服务组合中异步通信行为和时间属性的形式化描述和验证。首先,从软件体系结构角度分析Web服务组合,采用基于时序逻辑的XYZ/ADL描述Web服务的交互行为和时间属性;然后,提出一种符合模型检测工具UPPAA...
关键词：WEB服务组合 XYZ/ADL 异步通信 时间属性 模型检测 
数据和时间感知的Web服务组合模型检测被引量：2
《计算机科学》2011年第11期123-126,136,共5页狄浩军 戎玫 张广泉 朱稷涵 
国家自然科学基金(60973149);江苏省自然科学基金(BK2011281);中国科学院计算机科学国家重点实验室开放课题(SYSKF0908);江苏省高校自然科学研究项目(08KJB520010);苏州大学国家级大学生创新性实验计划项目(101028524)资助
为了验证Web服务组合中的数据属性和时间属性,提出了一种基于数据和时间感知的服务模型DTSM的Web服务组合模型检测方法。首先将BPEL描述的Web服务组合转换为含有数据流信息和时间信息的形式化模型,然后将该模型映射至UPPAAL规约,最后应...
关键词：WEB服务组合 数据属性 时间属性 BPEL 模型检测 
基于概率时间自动机的模型检测反例表示研究
《苏州大学学报（自然科学版）》2011年第2期36-42,47,共8页王晶 张广泉 
中国科学院计算机科学国家重点实验室开放课题(SYSKF0908);江苏省高校自然科学研究项目(08KJB520010)
近年来,概率系统在实际中应用越来越广泛,其中模型检测基于概率系统的反例生成问题,已引起人们的广泛关注,现有的工作主要围绕模型检测Markov链反例生成展开.概率时间自动机(PTA)是Markov链的不确定性和系统时钟的扩展,针对模型检测PTA...
关键词：反例 概率时间自动机 离散时间Markov链 MARKOV决策过程 
基于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 时间自动机 精化检验 模型检测 
一种面向Web服务源程序的谓词抽象验证方法
《苏州大学学报（工科版）》2011年第2期14-19,共6页任强 张广泉 
中国科学院计算机科学国家重点实验室开放课题(编号SYSKF0908);江苏省高校自然科学研究项目(编号08KJB520010)
Web服务作为一种典型的分布式计算技术,常用于跨平台跨组织的分布式环境,因此保证其安全性就显得十分重要。作为一种形式化验证方法,模型检测可以验证并发与分布式系统的安全性。现有形式化方法的验证对象多为Web服务高层描述语言,而针...
关键词：WEB服务 模型检测 谓词抽象 源程序 
一种基于ACME的面向方面软件体系结构设计方法被引量：3
《苏州大学学报（工科版）》2011年第2期6-13,共8页刘长林 张广泉 黄静 
中国科学院计算机科学国家重点实验室开放课题(编号SYSKF0908);江苏省高校自然科学研究项目(编号08KJB520010)
软件体系结构对于控制软件系统复杂性、提高软件质量具有重要意义。随着对软件体系结构研究的不断深入,研究者们发现其中存在着横切现象。通过使用方面,AOP在代码层次很好地解决了横切问题。因此,根据现阶段研究成果,本文把AOP中方面的...
关键词：ACME 面向方面 软件体系结构设计 
一种增大初始竞争窗口的无线自组网退避算法
《苏州大学学报（自然科学版）》2011年第1期27-31,共5页何双胜 张广泉 李蓥 
中国科学院计算机科学国家重点实验室开放课题(SYSKT0908);江苏省高校自然科学研究项目(08KJB520010)
研究了现有的用于无线自组网的典型退避机制——二进制指数退避,并指出其存在的不足.在此基础上提出一种增大初始竞争窗口的退避算法,以提高节点接入信道的公平性.分析和仿真结果表明,与IEEE802.11采用的退避算法相比,本文提出的算法对...
关键词：无线自组网 退避算法 初始竞争窗口 吞吐量 公平性 MAC协议 
基于NuSMV的Web服务失配限界模型检测被引量：1
《苏州大学学报（自然科学版）》2011年第1期32-38,共7页陈圣标 吴剑峰 张广泉 
中国科学院计算机科学国家重点实验室开放课题(SYSKF0908);江苏省高校自然科学研究项目(08KJB520010);苏州大学"莙政学者"研究项目
目前,Web服务组合已成为Web服务领域的研究热点,Web服务失配检测是保证服务正常组合的基础.当服务模型状态数较大时,现有的失配检测方法将面临状态空间爆炸问题,本文采用限界模型检测技术,提出一种基于NuSMV的Web服务失配检测方法.该方...
关键词：限界模型检测 WEB服务 服务失配 NUSMV 
一种基于样本的人体躯干函数模型被引量：1
《苏州大学学报（工科版）》2011年第1期30-35,共6页卢晨 王辉 张广泉 
江苏省自然科学基金项目(编号BK2007050);江苏省高校自然科学研究项目(编号08KJB520010);苏州大学实验教学改革基金项目(编号50333701)
针对参数化静态人体躯干模型的参数量化比较困难、应用过程繁复的状况,建立了一种基于样本的人体躯干函数化模型。该模型使用身高、围度长度和围度宽厚信息等输入参数作为控制量,以获得的样本B样条曲线簇为模板,根据人体各部位比例确定...
关键词：人体躯干 围度曲线 宽厚尺寸信息 B样条曲线簇 放样曲面重建算法 
异构传感器网络的一种可调节的拓扑控制算法
《计算机研究与发展》2010年第S2期45-49,共5页陈雷 张广泉 戎玫 
中国科学院计算机科学国家重点实验室开放课题基金项目(SYSKF0908);江苏省高校自然科学基金项目(08KJB520010)
在无线传感器网络(WSN)的拓扑控制问题中,良好的拓扑结构能够提高路由协议和MAC协议的效率,但是WSN易受外界环境的影响,所以需要设计拓扑结构也能随着环境的变化而变化.而以前的拓扑结构大部分都是固定的,它们的缺点是不能适合环境的变...
关键词：拓扑控制 异构 无线传感器网络 ATCH 输入图 
全选清除导出
共4页<1234>
检索报告 对象比较 聚类工具 使用帮助 返回顶部