国家高技术研究发展计划(2007AA01030)
- 作品数：4 被引量：21H指数：3
- 相关作者：王怀民李仁杰张瞩熹张凡韩军更多>>
- 相关机构：国防科学技术大学北京航空航天大学更多>>
- 发文基金：国家高技术研究发展计划国家重点基础研究发展计划更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于监控的可信软件构造模型研究与实现被引量：8
- 2009年
- 如何在开发阶段通过提高系统的可监控性从而提升软件可信性是当前的研究热点,这些研究取得了重要成果,但是还存在许多亟待解决的关键问题。针对这些问题,通过对现有研究成果的综述,在借助面向方面设计思想的基础上,设计了基于监控的可信软件构造模型TSCM,并以基于监控的可信软件开发环境TSIDE为背景分析了模型的实现要点和应用实例,最后分析了模型的主要特色。
- 李仁杰张瞩熹江海燕王怀民
- 高性能互操作的OGC WMS系统的研究与实现被引量：6
- 2010年
- 针对遥感数据量大、多时空分辨率等特点,提出了一种基于Tile影像金字塔存储结构的、符合OGC WMS规范的、高性能可扩展的网络地图服务实现方法,并实现了原型系统。该方法的主要思想是通过预处理技术将遥感图像切割成规则的Tile小块;然后将其存储在分布式存储系统中,地图服务器只返回用户请求地理区域的Tiles,这样减少了数据传输量。经过性能测试,与传统的方法相比,该方法提高了WMS系统的性能,缩短了系统的响应时间。
- 张凡胡春阳韩军
- 关键词：网络地图服务遥感数据WEB服务
- 一个面向方面的可信软件开发平台TSCE被引量：3
- 2009年
- 随着软件规模和复杂度的增加,软件失效和故障问题日益加剧。如何在开发阶段利用开发环境为实现软件可信性提供有效支撑,从而确保软件运行行为与预期保持一致,具有重要的研究价值。借助面向方面的设计思想,把可信性作为一种方面融入软件的开发环境,研究实现了可信软件开发平台TSCE。该平台能够在软件研制过程中,一体化地提供可信性需求定制、可信代码自动生成、可信代码自动织入等辅助开发手段。利用该平台,开发人员不用额外编写可信性实现的相关代码,便可在部署运行阶段使软件具有一定的可信性判断能力和故障预警与修复能力。
- 张瞩熹李仁杰王怀民
- 关键词：面向方面编程
- 基于BPMN的服务组合执行引擎的研究与实现被引量：4
- 2009年
- 业务模型和执行模型的一致性是当前服务组合研究的一个难点和热点。目前普遍采用模型转换的方式将业务模型映射为可执行模型,但由于两种模型语言的语义和语法不一致,导致了模型转换存在语义失配等缺陷。针对该问题,提出了一种基于业务流程建模标注的Web服务组合执行方案,设计了BPMN模型的解释执行算法,给出了执行引擎的原型系统,并通过具体案例验证了方案的有效性。
- 班倩超刘旭东曾晋纪一鹏
- 关键词：执行引擎
