客户/服务器风格的体系结构描述语言NEWCOM

本文介绍一个客户／服务器风格的体系结构描述语言ＮＥＷＣＯＭ。它的抽象级别介于需求描述和第四代语言之间。ＮＥＷＣＯＭ程序从宏观上描述一个在客户／服务器环境下运行的ＭＩＳ。它支持多种组件，并为这些组件提供了若干连接机制。ＮＥＷＣＯＭ涉及数据仓库技术及数据库变换技术，支持异构的网络结构和数据库平台，有助于实现企业的整体解决方案。ＮＥＷＣＯＭ具有通用性和开放性，既可作为软件人员的设计蓝图，又可直接为用户生     

支持服务组合的需求模型及其可满足性判定

服务组合一般是根据用户需求来查找匹配的服务并对其进行组合,但用户需求往往是基于自然语.言的,很难用于服务的自动组合.提出了一种基于环境本体的组合服务需求模型,该模型以环境实体上的意图为基础,将关联意图集定义为任务.引入Petri网作为任务间的控制逻辑关系,并给出了一种判定需求可满足性的方法.最后选择旅行安排作为具体案例...     

互联网环境中基于环境激发效应的协同式概念建模

随着领域的规模性和复杂性不断增加,建立领域的概念模型往往超出了个人的能力。通过对群体智慧的聚集与组织,采用协同方法构建模型具有重要意义。基于社会性昆虫的群体协同机制——环境激发效应,提出了一种互联网环境下面向大规模群体的协同式概念建模方法。该方法具有两个特点:a)提供一种以环境为媒介的间接交互方式,解决了群体协同的规模可扩展性问题;b)提供一种协同的激励机制,初步解决了松散异步的沟通方式下群体协同一致的问题。这使得协同建模者能够相互借鉴知识经验来完善概念模型。在此基础上,通过实例研究对该方法的可行性和有效性进行了验证。     

Managing Software Requirements Changes Based on Negotiation-Style Revision

For any proposed software project,when the software requirements specification has been established,requirements changes may result in not only a modification of the requirements specification but also a series of modifications of all existing artifacts during the development.Then it is necessary to provide effective and flexible requirements changes management.In this paper,we present an approach to managing requirements changes based on Booth’s negotiation-style framework for belief revision.Informally,we consider the current requirements specification as a belief set about the systemto-be.The request of requirements change is viewed as new information about the same system-to-be.Then the process of executing the requirements change is a process of revising beliefs about the system-to-be.We design a family of belief negotiation models appropriate for different processes of requirements revision,including the setting of the request of requirements change being fully accepted,the setting of the current requirements specification being fully preserved,and that of the current specification and the request of requirements change reaching a compromise.In particular,the prioritization of requirements plays an important role in reaching an agreement in each belief negotiation model designed in this paper.     

问题驱动的需求捕获中问题分析与解决技术研究

问题驱动的需求捕获方法广泛应用于需求获取.然而,利益相关者通常难以找到真实的、一致的问题解决方案并清晰地表达出来.协同式的问题分析与解决方法可以帮助利益相关者找到并表达出真实、一致的解决方案.方法的基本思想是:首先各个利益相关者平等地、按照一定流程协同地分析问题表述的可理解性、问题的价值、问题存在原因;然后利益相关者协同地识别解决方案.通过关联原因和解决方案来保证解决方案的客观性.通过问题的分类,提出问题及协同元素的元模型,及时关注相关联的问题,评估利益相关者的参与程度,用以帮助利益相关者分析与解决问题.选取“高校学生选课系统”进行实例研究,结果显示协同式问题分析与解决是一种在实际应用中行之有效的方法.     

基于多Web信息源的主题概念网络获取

Wikipedia一方面能够提供关于特定百科条目的概念性描述;另一方面,也通过分类系统将这些百科条目组织成一个概念网络.它对信息的广泛覆盖和有效组织使其成为了自动化知识获取的常用信息源.然而,仅仅依靠Wikipedia自身的信息,还不足以准确地刻画其内部概念间的关联性知识,而这是符号化知识表述的一个重要组成部分.因此,提出了一种基于多Web信息源的主题概念网络获取方法.它以Wikipedia的分类系统为基础,同时利用搜索引擎收集相关的Web信息作为关联性知识验证和发现的参照系,并通过集成信息检索和自然语言处理等领域的方法,实现了以给定的主题词为核心,在Wikipedia分类系统对应的概念网络中获取面向该主题的概念网络,同时网络内的概念间关系得到识别和标注.我们基于不同领域的主题词进行了实验,对实验结果的经验性评估展示了所获取的主题概念网络既能满足面向主题的要求,其内部的概念关联性知识又具备了一定的精度要求.     

一种“用例+控例”驱动的软件分析与设计方法

随着软件本身及其运行环境的日益复杂,软件可信性引起人们越来越多的关注.软件的分析与设计也越来越需要综合考虑软件的功能性和可信性.然而,如何在软件的分析与设计过程中综合考虑软件的功能性和可信性,目前仍然缺乏系统而有效的方法.基于控制论,提出了一种基于“用例+控例”的方法,以在软件的分析与设计过程中综合考虑软件的功能性和可信性.在需求分析阶段,“用例+控例”模型支持需求工程师在同一个模型中自然地表达软件系统的功能性需求和可信性需求.在系统设计阶段,扩展了ICONIX开发方法的用例驱动的系统设计技术,用以分别识别实现用例的功能对象和实现控例的可信保障对象,以最终构建出既满足功能性需求又满足可信性需求的对象模型.应用一个实例来说明所提出方法的可行性.     

2014年中国计算机大会优秀论文专辑 前言

正中国计算机大会(CNCC)由中国计算机学会(CCF)创建于2003年,迄今已成功举办十届,该会议是中国计算机领域规模最大、规格最高的学术、技术以及学术和产业互动的大会,覆盖学术、技术、产业、应用、教育等领域,旨在展现我国计算机技术及相关工作的研究进展,展望学科发展趋势,并为产业界、学术界搭建沟通和合作的平台,本次CNCC于2014年10月在郑州举行,设大会特邀报告、专题论坛、论文报告、专业展览、专业参观等,为参会者提供不同视角和形式的沟通     

程序理解:现状与未来

程序理解是软件工程中的关键活动,在软件开发、维护、重用等任务中发挥着重要的作用.程序理解自软件工程出现以来,就一直是该领域的研究热点.随着软件应用的日益复杂和不断普及,程序理解研究的需求发生了新的变化,程序的自理解或自认知逐渐成为新的关注点,有必要对程序理解进行重新审视.从工程、学习和认知以及方法和技术这3个角度定位程序理解任务;随后,通过文献分析展示其研究布局,进而分别从认知过程、理解技术以及软件工程任务中的应用这3个方面,综合论述程序理解研究的发展脉络和研究进展.