国家自然科学基金(60973044)
- 作品数:5 被引量:20H指数:3
- 相关作者:马晓星曹春张功萱宋巍唐金辉更多>>
- 相关机构:南京大学杭州师范大学南京理工大学更多>>
- 发文基金:国家自然科学基金国家重点基础研究发展计划国家教育部博士点基金更多>>
- 相关领域:自动化与计算机技术更多>>
- 一种基于OCL的体系结构一致性验证环境被引量:2
- 2012年
- 在软件体系结构的相关研究中,如何保证软件体系结构的一致性成为了很重要的课题。提出了一种基于OCL的体系结构一致性验证方法,通过建模之前的对体系结构的约束进行定义,建模过程中和建模过程后对体系结构模型的一致性验证,来保证最终的模型符合用户所定义的一致性约束,提高了环境的易用性和可靠性。设计并实现了原型体系结构建模工具Artemis-GODE。
- 曹流曹春
- 关键词:软件体系结构OCL
- C语言程序动态更新中的逻辑正确性被引量:4
- 2013年
- 动态更新的研究已变得越来越重要,应用程序生命周期中需要不断进行更新,以修复程序中的错误或者为其添加新的功能。一般更新方式是关闭应用程序、安装更新,然后重启新版本的应用程序,而动态更新可以在程序的运行过程中使程序完成更新,免于重启的麻烦。另一方面,很多应用程序需要不间断的运行,短时间的中断会造成巨大的损失,这也使得动态更新的研究成为必然。针对不同的语言,有一些不同的更新技术,关于C语言,目前动态更新的研究都还停留在实验室阶段,投入到实际运用的很少。程序正确性是动态分析研究中一个重要的方向,目前C语言的动态更新正确性研究还都停留在语法层面的正确性,没有涉及的程序更新前后的逻辑正确,针对这一不足,旨在Ginseng平台上,对C程序动态更新逻辑正确性上做出改进。
- 谢国珍马晓星
- ATMS:一个自治化信任管理系统
- 2013年
- 信任管理技术基于授权凭证签发、通过分布式凭证搜索验证信任关系链,有效实现了开放环境下的分布式授权和访问控制过程。然而,由于开放式环境下信任网络的复杂性和动态性,传统的信任管理系统在凭证搜索、凭证链的建立方面效率不高。针对这一问题,提出了一种自治化的信任管理系统,通过引入权限路由表的概念,使得凭证链建立的过程中,凭证的搜索能够始终导向权限请求的客体。在信任网络比较复杂,权限请求频繁的情况下,自治化的信任管理系统能够提高凭证搜索和凭证链建立的效率。
- 施文波曹春
- 关键词:信任管理自治化信任域
- 开放网络环境下的程序设计:从RPC到REST被引量:4
- 2013年
- 在Internet/WWW这一开放软件平台上已发展了诸多软件架构技术,针对开放网络环境下不同的应用场景与需求,如何对复杂多样的技术进行架构决策、技术选取等提供指导是亟需解决的问题。在考察RPC、Web服务等已有架构、技术的基础上,总结了它们共有的重要方面,分析了这些方面是如何相互交织并影响系统的非功能属性,从而形成一个评估框架。最后,选取典型的技术对其进行比较评估。
- 王姜余萍曹春马晓星
- 关键词:软件体系结构非功能需求
- WS-BPEL服务可替换性分析被引量:10
- 2012年
- 在开放、动态、多变的Internet环境下,服务替换是保证面向服务的软件系统持续可信的重要手段.现有方法大多在控制流模型层面上进行BPEL服务的可替换性分析,而较少考虑BPEL服务中的数据因素,并且当BPEL服务中存在对分布服务的异步调用时,现有方法过于保守.为此,本文提出一种基于程序依赖图的BPEL服务可替换性分析方法,该方法综合考虑了BPEL服务中的控制依赖、数据依赖、异步调用依赖以及交互依赖关系,从而可有效应对BPEL服务的可替换性问题.我们使用一个旅行代理BPEL服务替换案例阐明了本文方法的有效性和可行性.
- 宋巍唐金辉张功萱马晓星