国家自然科学基金(90818009)
- 作品数:5 被引量:9H指数:2
- 相关作者:赵文耘彭鑫沈立炜付凌霄章少雷更多>>
- 相关机构:复旦大学更多>>
- 发文基金:国家自然科学基金国家高技术研究发展计划更多>>
- 相关领域:自动化与计算机技术更多>>
- 基于Agent的网构软件需求监控框架被引量:4
- 2013年
- 网构软件所面临的复杂、开放和动态变化的运行环境使其运行时行为常常会偏离需求规约.已有一些研究工作提出基于目标模型和需求推理实现软件需求的运行时监控和自修复,但还缺少实现框架,特别是缺少符合网构软件分布式和社会化特性的需求监控实现方法.针对这一问题,提出一种基于Agent的网构软件需求监控框架.框架中的需求监控Agent通过非侵入的方式实现对作为其宿主系统的网构软件实体的监控和干预,并通过Agent间的通信和协作实现社会化的目标委托和协作监控.为了验证框架的有效性,通过一个案例分析,对框架和工具实现进行了有效性评估.
- 付凌霄彭鑫赵文耘
- 关键词:网构软件自适应自修复AGENT
- 使用启发式规则的本体冲突检查方法被引量:2
- 2010年
- 本体(Ontology)作为语义WEB的核心已经被应用到社交,农业等多个领域.将本体开放给众多用户进行编辑的做法已经开始流行,但是在构建多用户本体系统时仍然存在一些问题.本体演化就是其中之一,在共同协作的本体环境中总是充斥着各种冲突,所以冲突检查是本体演化中重要的一个环节,本文将提出一个实用的基于启发式的方法来进行本体冲突检查,此方法是一个稳定的保证较高查全率和查准率的方法,并将给出演化中的冲突检查算法.
- 章少雷吴毅坚陈叶旺彭鑫赵文耘
- 关键词:本体语义WEB
- 基于特征分解模式的软件产品线参考设计方法
- 2012年
- 基于特征的领域分析与建模技术是软件产品线开发中较为主流的需求建模方法,为描述产品线共性和可变性及其之间的关系提供了良好的支持。然而在现有特征模型基础上,如何指导系统开发人员进行软件系统的详细设计是亟待解决的问题。该问题主要体现在特征之间的结构与语义关系,以及特征的可变性如何映射为合理的系统设计模型这两个方面。针对上述问题,提出一种基于特征分解模式的软件产品线参考设计方法。该方法为特征模型中具有不同结构、不同语义的特征分解模式提供参考的详细设计方案,并提出相关聚类准则以支持对应全局特征模型的设计模型优化。最后,通过成绩录入软件产品线对该方法的有效性进行验证。
- 付飞沈立炜董瑞志赵文耘
- 关键词:软件产品线
- 一种面向方面的软件容错能力增强工具被引量:1
- 2012年
- 容错是保障软件可靠性的重要手段。该目标是利用对软件系统静态分析的信息,生成具有容错能力的方面文件来增强软件系统的容错能力。首先利用抽象语法树的分析工具,来获得一些有用信息,比如异常类型和抛出异常的方法。然后通过模板生成工具生成相应的恢复代码,利用面向方面机制,将代码动态编织入系统中。最后做一个案例证明方法在实现容错增强方面的可行性。
- 黄焱艺于阳彭鑫赵文耘
- 关键词:软件容错
- 基于CORBA的自适应系统实现被引量:2
- 2011年
- 针对自适应系统在运行过程中的状态一致性问题,基于公共对象请求代理体系结构(CORBA)规范,提出一种总线消息型的自适应系统实现方法。该方法以构件组装模型为核心,利用总线对运行时的构件进行状态侦测及重配置操作,使用事务处理机制解决CORBA系统的状态一致性问题,使系统可在运行时修改自身行为。在Java/C++复合构件组装工具上的实现结果验证该方法的正确性,并表明其具备较好的稳定性和自适应能力。
- 郑尚书沈立炜彭鑫赵文耘
- 关键词:自适应系统总线公共对象请求代理体系结构