国家重点基础研究发展计划(2009CB320701)
- 作品数：14 被引量：57H指数：5
- 相关作者：金芝张伟张伟梅宏赵海燕更多>>
- 相关机构：北京大学中国科学院数学与系统科学研究院教育部更多>>
- 发文基金：国家重点基础研究发展计划国家自然科学基金中国人民大学科学研究基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 环境模型驱动的服务组合方法
- 2015年
- 针对服务组合动态、开放、复杂度高的特点,提出了一种环境模型驱动的服务组合方法.该文用环境模型中服务作用下客体的变化来描述服务功能,用客户期望的环境变化描述客户需求,构建了一种独立于服务实现和具体客户的组合环境;然后以环境模型为基础分解需求和组合服务.实验结果分析表明,该文方法可以有效提高服务组合的效率.
- 蔡广军赵彬赵旭辉刘勇
- 基于知识的软件可信性需求获取被引量：6
- 2010年
- 针对软件系统的可信性需求获取，本文提出了基于知识的需求获取方法.该方法认为软件系统给环境所带来的问题是导致软件系统不可信的原因，因而系统的可信性需求就是为避免软件系统给环境带来问题而定义的对策，并且现实世界积累的软件系统失效和其引发问题的相关知识，可以帮助用户来识别软件系统可能带来的问题以及相应的对策.该方法可以弥补分析人员在获取软件需求时的知识不足，从而帮助分析人员发现更多的软件系统的可信性需求.
- 刘春王越金芝
- 面向特征的软件复用技术——发展与现状被引量：18
- 2014年
- 传统产业的工业化生产主要关注如何实现物理产品的大规模复制性生产.实现软件产业的工业化生产,达到其发展所需的质量和生产效率,软件复用是一条现实可行的途径.软件复用的主要关注点是如何实现软件产品的大规模定制性生产.面向特征的软件复用提供了一种实现软件大规模定制性生产的技术途径,对软件复用的研究和实践产生了重要影响.本文介绍并分析了面向特征的软件复用涉及的基本概念和核心思想,总结了近年来关于面向特征的软件复用研究的一些关键技术和重要成果.具体而言:从内涵和外延两个方面总结了现有研究中关于特征的定义,分析了特征在软件复用中承担的基本责任;阐述了特征模型的基本结构及其命题逻辑语义,介绍了对特征模型基本结构和语义的3种扩展;总结了在特征模型与软件实现制品之间建立追踪关系的两种基本方式,分别针对用况模型、软件体系结构模型以及软件实现代码这3种软件实现制品,对在特征模型与这3者之间建立追踪关系的重要研究成果进行了介绍和评述;指出了值得进一步关注的问题及未来研究方向.通过介绍和评述,期望能够进一步凝聚本领域的研究者对相关问题及研究现状的理解,进而在面向特征的软件复用的研究上取得新的进展.
- 张伟张伟
- 关键词：软件复用软件工程
- 一种面向主题的Web知识检索方法被引量：1
- 2012年
- 知识检索研究如何从数据和信息中抽取知识.在数据和信息日益增长的今天,知识检索显得尤为重要.现有的知识检索主要以事先构造好的知识库为基础,需要通过专家来构建和维护用于检索的知识库.然而,人工构建知识库非常耗时而且代价很高,而且,基于事先构造好的知识库的检索结果也被局限于知识库覆盖的范围,不具有动态性和时变性.本文提出了一种基于Web的面向主题的知识检索方法.该方法一方面以开放动态的Web信息为基础,支持动态即时的知识检索;另一方面,以用户选定的主题为中心,从Web信息中动态获取知识,构成与用户主题相关的知识检索结果,不局限于某个特定领域.
- 许焱金芝李戈李力行
- 关键词：面向主题知识检索共现分析
- 特征模型融合研究被引量：9
- 2013年
- 特征模型为特定领域内软件需求的组织和复用提供了有效的手段.为了构建特征模型,领域分析人员要对领域内尽可能多的应用软件进行系统化分析,识别共性和变化性需求,并根据需求之间的依赖关系抽象和组织需求.随着软件系统复杂性的不断提高,特征模型的规模有日益增加的趋势,特征模型的构建也随之成为了一件十分困难的工作,亟需自动化方法的支持.一种可行的方式是将领域内已有的多个特征模型自动融合为一个较大规模的特征模型,并由人工对融合结果进行微调.现有研究提出了6种特征模型的自动化融合方法.文中在现有研究的基础上,提出了一个特征模型融合的概念框架,并根据此框架对6种方法进行了比较和分析.文中还进一步指出了现有研究亟需解决的3个问题,并针对每个问题提出了可能的研究思路和设想.
- 易立赵海燕张伟金芝梅宏
- 关键词：软件复用
- 知识引导的软件可信性需求的提取被引量：9
- 2011年
- 软件系统的可信性已经成为一个受到广泛关注的焦点问题.开发可信的软件系统的前提是在需求阶段提取恰当的可信性需求.能否提取出足够好的软件可信性需求,不仅依赖于需求工程师对未来软件系统可能面临的威胁的认识,还依赖于其对各种威胁有效的应对措施的了解和掌握.目前缺少系统化的方法指导软件可信性需求的提取.文中提出一个软件可信性需求上层本体作为软件可信性需求的概念框架.在此框架的基础上,开发了一个软件可信性需求知识库,定义了软件可信性需求模式框架以及如何根据知识库的内容进行模式实例化的过程,帮助提取可信需求.最后利用一个股票交易系统作为案例展示了该方法的可行性.
- 王越刘春张伟张伟
- 基于Petri网的WSCI形式化模型分析
- 2009年
- WSCI是一种Web服务组合标记语言,对于一些关键的业务流程,任何设计错误都会造成重大损失,因此有必要为WSCI语言建立形式化模型并给予分析,从而保证正确的业务流程部署。本文主要给出了WSCI的分析方法,基于文献[1]给出了形式化模型,提出了该形式化模型下的一种网融合方法。该方法将表示进程的网模型与其表示例外处理和子流程的网模型进行合并,形成统一的网模型。本文最后还给出了在该网模型下的可达图分析方法,从而达到分析带有例外处理的WSCI形式化模型的目的。
- 黄雨胡文蕙高昕王捍贫
- 关键词：PETRINETSWEB服务组合
- 网构软件实体的功能描述及其发现被引量：7
- 2009年
- 网构软件通过网构软件实体自底向上的动态聚合来满足用户的需求.在这个过程中,网构软件实体的功能描述发挥着非常重要的作用.根据基于环境的软件建模思想,文中提出了基于环境本体的网构软件实体功能描述方法.其中,环境本体包含领域相关的环境实体以及这些环境实体需要的来自软件实体的交互,环境实体的生命周期用树结构层次状态机来刻画.网构软件实体的功能则表现为它能够与那些环境实体发生的交互,以及这些环境实体在它的作用下所发生的变化.文中构型了网构软件实体功能描述之间的匹配过程,以支持网构软件实体的发现.选择在线教学领域中的具体案例展示了所提出方法的有效性.
- 王璞巍金芝刘红岩
- 关键词：网构软件
- Aptitude-Based Methodology for Agent-Oriented Software Engineering
- ＜正＞In order to build dynamic and open Multi-Agent Systems（MAS） for heterogeneous intelligent entities,we defin...
- Chaoming Li~(1
- 关键词：AGENT-ORIENTEDMETHODOLOGYDYNAMICOPENING
- 文献传递
- 问题框架方法的可靠性关注点及系统可靠性增强模式被引量：3
- 2013年
- 软件系统可靠性是软件工程领域的一个热点研究问题.文中以系统可靠性指标为依据,针对问题框架方法,提出了5种与问题相关的可靠性关注点,并设计了相应的系统可靠性增强模式.这些可靠性增强模式将系统可靠性需求显式地引入问题的分析过程中,通过扩展问题的边界和精化机器的规格说明,为增强系统的可靠性提供支持.文中还展示了作者开发的一个支持系统可靠性分析的支撑工具,用于帮助需求分析者识别问题的可靠性需求,并正确地使用可靠性增强模式.最后,文章结合一个银行账户管理问题的案例展示了文中工作的可行性.
- 尹斌金芝李智
- 关键词：系统可靠性
