国家自然科学基金(60973044)

作品数：5被引量：20H指数：3
导出分析报告
相关作者：马晓星曹春张功萱宋巍唐金辉更多>>
相关机构：南京大学杭州师范大学南京理工大学更多>>
相关期刊：《计算机工程与应用》《中国科学：信息科学》《计算机科学》更多>>
相关主题：软件体系结构WS-BPEL程序设计C语言程序RPC更多>>
相关领域：自动化与计算机技术更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-5
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
开放网络环境下的程序设计:从RPC到REST被引量：4
《计算机工程与应用》2013年第17期30-37,共8页王姜 余萍 曹春 马晓星 
国家自然科学基金(No.60973044);国家自然科学青年基金(No.61100037)
在Internet/WWW这一开放软件平台上已发展了诸多软件架构技术,针对开放网络环境下不同的应用场景与需求,如何对复杂多样的技术进行架构决策、技术选取等提供指导是亟需解决的问题。在考察RPC、Web服务等已有架构、技术的基础上,总结了...
关键词：软件体系结构 非功能需求 面向服务 
C语言程序动态更新中的逻辑正确性被引量：4
《计算机工程与应用》2013年第14期39-44,80,共7页谢国珍 马晓星 
国家自然科学基金(No.60973044)
动态更新的研究已变得越来越重要,应用程序生命周期中需要不断进行更新,以修复程序中的错误或者为其添加新的功能。一般更新方式是关闭应用程序、安装更新,然后重启新版本的应用程序,而动态更新可以在程序的运行过程中使程序完成更新,...
关键词：动态更新 程序正确性 逻辑正确性 基于约束分析 
ATMS:一个自治化信任管理系统
《计算机工程与应用》2013年第14期45-50,共6页施文波 曹春 
国家重点基础研究发展规划(973)(No.2009CB320702);国家自然科学基金(No.60973044);国家高技术研究发展计划(863)(No.2012AA011205)
信任管理技术基于授权凭证签发、通过分布式凭证搜索验证信任关系链,有效实现了开放环境下的分布式授权和访问控制过程。然而,由于开放式环境下信任网络的复杂性和动态性,传统的信任管理系统在凭证搜索、凭证链的建立方面效率不高。针...
关键词：信任管理 自治化 权限路由表 凭证链 信任域 
一种基于OCL的体系结构一致性验证环境被引量：2
《计算机科学》2012年第S3期409-414,共6页曹流 曹春 
国家973计划(2009CB320702);科技部核高基项目(2009ZX01043-001-06);国家自然科学基金项目(60973044)资助
在软件体系结构的相关研究中,如何保证软件体系结构的一致性成为了很重要的课题。提出了一种基于OCL的体系结构一致性验证方法,通过建模之前的对体系结构的约束进行定义,建模过程中和建模过程后对体系结构模型的一致性验证,来保证最终...
关键词：软件体系结构 一致性验证 OCL 
WS-BPEL服务可替换性分析被引量：10
《中国科学：信息科学》2012年第3期264-279,共16页宋巍 唐金辉 张功萱 马晓星 
国家重点基础研究发展规划(批准号:2009CB320702);国家自然科学基金(批准号:60973044;61003019);江苏省重点研究专项(批准号:BK2011022);高等学校博士学科点专项科研基金(批准号:20113219120021)资助项目
在开放、动态、多变的Internet环境下,服务替换是保证面向服务的软件系统持续可信的重要手段.现有方法大多在控制流模型层面上进行BPEL服务的可替换性分析,而较少考虑BPEL服务中的数据因素,并且当BPEL服务中存在对分布服务的异步调用时...
关键词：BPEL服务 可替换性 BPEL程序依赖图 异步调用依赖 交互依赖 转换规则 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部