基于EPMM的软件过程结构合理性研究

为了确保软件演化过程的正确性,有必要对软件演化所涉及的软件过程进行结构合理性研究,以提高软件演化的质量和效率、缩短软件演化的周期。针对EPMM建模产生的软件演化过程模型,从过程层的角度,提出结构合理性定义,并设计相应的判断算法。结果表明,结构合理性的检验有助于提高软件演化过程的质量。     

基于EPMM的软件过程性质合理性研究

为提高软件演化的质量和效率、缩短软件演化的周期,有必要对软件演化所涉及的软件过程进行性质合理性研究,以确保软件演化过程的正确性。根据软件演化过程元模型(EPMM)的过程层定义,提出EPMM性质合理性的形式定义,用于确保软件过程在实施执行中应满足的动态性质,并基于Petri网的可达图,设计相应的性质合理性检验算法。应用结果表明,对软件演化过程进行性质合理性检验可以确保过程逻辑不发生异常,满足过程定义性质方面的正确性要求。     

基于EPMM的软件过程模型规范化研究

为了开发高质量的软件过程模型,有必要对软件过程模型的规范化进行研究。本文基于EPMM对过程的形式化定义,考虑到传统软件过程和软件演化过程的特点,给出过程第一范式(1PNF)、过程第二范式(2PNF)、过程第三范式(3PNF)和过程第四范式(4PNF)的定义,并给出它们的判定算法。本文建议:对于传统的软件过程模型,应设计到满足2PNF;而对于软件演化过程模型,应设计到满足3PNF。本文为建模高质量的软件过程模型提供了指南。     

基于反馈的软件演化过程模型

对软件演化及过程的特征进行了描述,提出软件演化过程的具体活动;分析了软件演化过程中的反馈机制,提出了基于扩展双变迁Petri网和反馈循环的软件演化过程模型.     

基于Petri网的软件演化过程

随着遗产软件系统的老化,软件演化已成为软件工程的一个新兴领域.对软件演化及过程的特征进行了描述,提出基于Petri网的软件演化过程;最后给出了软件演化过程的活性判断及优化算法.     

基于EPMM的软件过程行为偏离诊断研究

近年来,随着对PSEE认识的深入,人们逐渐发现实际观察到的过程执行往往和实施的过程模型之间存在一定的偏离(deviation),从而导致PSEE对于实际软件开发活动失去了指导意义。针对软件过程偏离问题,以软件演化过程元模型(EPMM)为基础,在软件过程偏离发现方面,借鉴进程代数的弱互模拟思想,提出过程行为空间表达式,用以构造软件过程的行为空间来检测过程偏离;在软件过程偏离处理方面,提出过程偏离类型的划分及偏离处理策略。这种方法能够发现软件过程实施中普遍存在的过程偏离问题并加以处理来改进软件过程,最终提高软件产品质量。     

软件演化过程的资源优化配置

在支持标准化的可配置、可重用且支持软件演化过程建模方法--第二代SDDM建模方法基础上,提出了软件演化过程性能分析与资源优化的方法,有效地支持了软件演化过程的改进.     

软件演化过程体系结构研究

软件过程与软件之间有着非常紧密的联系.借鉴软件体系结构SA的有关概念,提出了软件演化过程体系结构SEPA,试图用SEPA在总体上描绘出软件演化过程的蓝图.给出SEPA的相关定义、研究目的和意义,并对SEPA的描述工具以及风格进行论述,最后提出了一种基于SEPA和过程构件的软件演化过程设计方法.     

一种软件演化过程模型的代数语义

随着大量的软件演化过程模型被软件演化过程元模型建模产生,如何验证过程模型的正确性,是摆在人们面前的一个重要任务.针对软件演化过程元模型,引入进程代数ACP(algebra of communicating processes)对其扩展,提出软件演化过程元模型代数,使用进程项指定软件演化过程模型的代数语义,在进程代数的统一框架下,基于等式推理验证软件演化过程模型的行为,使行为验证方式从模型推导变为代数推导这种方法充分结合了Petri网和ACP的长处,可以有效地支持软件演化过程的形式验证.     

一种基于过程构件的软件演化过程设计方法

软件构件技术已成为软件开发的一种重要方法,同样过程构件技术在软件过程设计中也起着重要作用。过程构件技术对于提高软件过程的设计效率,增强过程的可复用性以及保证软件过程的质量有着十分重要的意义。主要针对软件演化过程(SEP)的设计,提出一种基于过程构件的过程设计方法,通过对过程构件和连接件进行连接与组装,最后得到以Petri网形式描述的软件演化过程模型。     

基于复杂度对开源软件Linux和FreeBSD内核的分析

开源软件内核进化分析是一个较新的研究方向,研究大型自由和开源软件进化可以帮助估计软件体系结构的稳定性,可以较准确地预报软件进化趋势和预报软件进化结果.选取Linux和FreeBSD的多个版本的内核进行数据的收集和处理.采用低层次的度量尺度,利用分析工具SLOCOUNT和CCCC,对提取的内核数据进行复杂度分析,得出开源自由软件进化的结论,并提出了快速测算大型开源软件进化趋势和复杂性的方法.     

改进的页面与时间阈值的会话识别法

会话识别是Web日志挖掘的基础,提高会话的识别率能为后续模式的挖掘提供准确可靠的数据,已有许多研究集中于此.在常用的计算时间阈值识别方法的基础上,提出一种改进的基于URL页面类型、页面信息量和停留时间的平均阈值识别方法.针对不同的URL页面类型采用不同的阈值计算方法,并设置时间阈值.相对于已有的对所有用户访问页面使用单一的先验阈值和现有动态阈值计算,该方法能够更真实地反映用户会话的情况,且识别的准确率有了较大提高.     

基于项目管理的软件开发过程及应用

本文先对项目管理进行简单的阐述，然后将软件开发作为一个项目，论述了项目管理技术在软件开发过程中的应用：并着重分析了在ISO9000和CMM质量管理的基础上，Bmwser／Server结构下软件质量管理平台的主要组成框架和技术．其中主要包括工作流和文档流的管理以及软件过程管理和改进的框架。     

基于软件重用的焊接过程监测系统分析与设计

焊接过程监测系统对于提高劳动生产率,确保焊接产品的质量具有重要意义.而要开发出实用的监测软件系统面临着诸如:开发周期长、成本高,系统通用性差、集成难度大等困难.软件重用技术能够为解决上述困难提供一条行之有效的途径.事实上,在目前焊接过程监测软件开发领域中,软件重用意识不高,可重用构件和架构还很缺乏.于是,尝试运用软件重用技术对焊接过程监测系统的架构和构件进行分析和设计.实验室中的系统开发实践表明,运用软件重用技术建立领域架构和构件库并使之逐步完善,可以使得焊接过程监测系统的研制和开发更加高效.     

基于审查的软件过程改进

在简述了中国软件企业的发展现状后,描述了软件审查的框架,并对审查和其他几种主要改进策略的投资回报率作了比较,对大多数中国软件企业来说,审查不失为一种较好的过程改进策略。     

基于时间和环境约束的四层访问控制模型研究

针对基于组织的四层访问控制模型(OB4LAC)在复杂政务系统中不能动态授权,对用户行为不能及时控制的问题,在细粒度约束层面,引入时间和环境约束,提出基于时间和环境约束的四层访问控制模型(TEOB4 LAC)。借鉴行为的思想提出岗位行为、角色行为的概念;对模型进行形式化描述,并给出访问控制授权策略及授方案;将TE-OB4LAC模型应用于电子政务系统,分析并设计了基于TE-OB4LAC模型的授权管理系统的总体结构。通过应用实例予以验证,说明了模型的有效性和科学性。     

基于UNIX多进程机制的实时监控软件的设计与实现

本文介绍了使用多进程技术实现UNIX操作系统环境下的实时监控软件的设计思想,重点说明了进程间的数据交换和同步,软件的实时性,串口的原始工作方式及通讯超时的探测。     

软件演化过程度量

演化性是软件的固有属性.整个软件演化过程是由一系列活动构成,同时该过程具有复杂性、持续变化性、自治性、并发性、迭代性等特点.这些属性决定了软件演化过程是一个动态的、难以度量的过程.基于markov链理论,采用状态转移矩阵和权重因子等技术构造了关于软件演化过程对资源开销的度量模型.软件演化过程度量体系的建立对进行软件演化管理、控制、评估具有重要意义,同时更为重要的是该体系的建立为软件演化的自适应演化奠定了基础.