一种基于Bigraph理论的软件演化过程模型研究

基于Bigraph理论对软件演化过程模型进行研究, 目的是能更好地对软件演化过程中相关动态变化进行建模。利用Bigraph理论和软件演化过程的思想, 首先提出了一个形式化的软件演化过程模型, 然后用扩展的Bigraph来描述软件演化过程模型的结构, 使用Bigraph反应系统来描述软件演化过程模型的动态变化, 最后对软件演化过程模型动态调整后的完整性进行了验证。     

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

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

一种服务消息交互行为的元建模方法

为了提高服务消息接口的规范性和交互行为的正确性,提出了一种服务消息交互的元建模方法。基于工作流模型对服务进行建模,通过对消息操作模式予以分析,给出了接口形式化表示和接口相容性检查方法。采用推理规则和递归函数刻画消息传递的语义,讨论了服务交互时各种环境的变化情况。实例分析表明,该方法可以规范服务接口模式,有效地对消息的交互情景进行建模,进而保障服务建模的可靠性。     

软件演化过程建模中的开发人员度量方法

提出了一种在构建形式化的软件演化过程模型(formal software evolution process model,FSEPM)中使用X-S图来度量开发人员的统计控制方法.开发人员是构建模型的核心角色,度量其相关属性可以透析和严格管理开发过程.通过一个实例说明如何度量处在构建过程中的开发人员,利用度量结果来分析开发过程的稳定性、找出可归属原因、进行预测和估计、并为整个开发过程的演化奠定基础.     

交互软件系统的一种构造方法

本文根据作者近年来研究交互软件的工作实践,阐述了交互软件系统的一种构造方法.文章介绍了构造活动的工作过程模型,并以一个试验系统加以具体解释,文章对于用户接口管理和具有4GL(Fourth Generation Lan-guage)特征的交互语言,以及和交互系统相关的一些新颖的概念,也作了简要的介绍①。     

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

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

实现工程软件计算过程图形交互的一种方法

由于核心编程言Fortaran的早期编译器对图形功能支持不足，工程软件计算过程难以实现图形交互，极大地限制了软件功能。为方便可靠地扩充工程软件的功能，本文提出了利用Visual Fortran编译器实现图形交互的一种方法，并据此解决了一个具体工程问题，提高了施工方案的评估效率。     

浅析软件演化过程描述语言的作用及特点

作为一种具有良好描述能力的形式化建模语言，软件演化过程描述语言能够准确的对演化过程进行详细的描述。采用软件演化过程描述语言对演化过程进行描述，不仅能够从不同抽象层次上进行描述，而且便于控制、分析和改进演化过程。基于此，本文就软件演化过程描述语言的作用及特点进行分析研究。     

一种新型的混沌通信同步方法

针对一类具有不确定参数的非线性混沌系统,在对现有一些混沌同步方法比较总结的基础上,提出了一种混沌通信同步的新方法。通过合理的假设,将该类系统转化为在可观测输出端由附加白噪声驱动的线性时变系统。然后通过最优滤波来处理同步问题,可应用Kalman滤波的方法进行估计,响应系统的状态能够渐近收敛于驱动系统,并且在输出端加入干扰噪声的情况下,仍能保持良好的跟踪轨迹。     

一种面向特征的软件产品线非功能需求建模方法

分析传统非功能需求定义的不足,基于需求分析阶段的系统抽象—"需求模型"重新定义非功能需求,规范并简化功能需求与非功能需求之间的关系。扩展面向特征的软件产品线建模方法,在特征模型中显式地建模功能需求、非功能需求、非功能需求类型以及它们之间的相互关系,沿用传统特征模型中固有的变化性建模机制建模并管理非功能需求的变化性,显式地复用与非功能需求相关的建模知识和资产,为进一步研究定量评估产品线变体质量的新技术奠定基础。设计了一个基于多视图的特征建模方法,指导开发者在迭代的过程中建模非功能需求和功能需求,支持关注点分离和模型的复杂性管控。实现了工具原型并进行了实例验证。     

面向软件演化的可靠性分析代数方法

环境和需求的改变导致软件演化发生,并通常会使软件架构(Software architecture,SA)产生变化.现有的结构化软件可靠性模型对评价软件初始结构设计有不错的效果,但在软件演化时的实时分析方面有局限性.从软件结构建模出发,通过使用代数方法将软件演化描述为原子操作序列,并跟踪分析序列中每一步操作对可靠性的影响...     

Software Evolution and the Code Fault Introduction Process

In any manufacturing environment, the fault introduction rate might be considered one of the most meaningful criterion to evaluate the goodness of the development process. In many investigations, the estimates of such a rate are often oversimplified or misunderstood generating unrealistic expectations on the prediction power of regression models with a fault criterion. The computation of fault introduction rates in software development requires accurate and consistent measurement, which translates into demanding parallel efforts for the development organization. This paper presents the techniques and mechanisms that can be implemented in a software development organization to provide a consistent method of anticipating fault content and structural evolution across multiple projects over time. The initial estimates of fault introduction rates can serve as a baseline against which future projects can be compared to determine whether progress is being made in reducing the fault introduction rate, and to identify those development techniques that seem to provide the greatest reduction.     

一种形式化的组件化软件过程建模方法

为了解决当前软件过程重用方法中存在的问题,特别是由于缺乏对软件过程组件及其操作法则的精确定义所带来的重用中的低效率问题,介绍了一种形式化的组件化软件过程建模方法(componentized software process modeling,简称CSPM).CSPM提供了形式化定义可重用软件过程的机制,并且给出了将过程组件组合成过程模型的一系列操作法则.利用CSPM方法,能够以严格的方式对软件过程组件进行重用,并且有效地避免了传统非形式化建模方法中因歧义而有可能引起的潜在错误.CSPM还可以将对组装后的软件过程模型针对某些特定性质的验证问题转化成对其对应组件的一系列子验证问题,从而通过指数地减少需要搜索的状态空间规模,将原来在某些特定环境下不实用的验证问题简化成验证代价较小的一系列问题.     

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

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

基于复用的软件过程改进方法

本文从改善CMM的实施和提高过程控制能力入手,给出一个基于复用的软件过程改进框架,该框架将复用技术应用于软件过程改进与控制中,将当前模型驱动的自顶向下的过程改进模式与度量驱动的自底向上的过程改进模式有机整合,它由组织层面的持续过程改进（大循环）嵌套项目层面的过程不断调整与优化（小循环）构成。以CMM为基础,定义了实施新的过程改进方法的组织与角色。设计一个支持过程复用的软件过程及项目管理支持系统。     

一种基于目标的过程实例演化方法

过程具有长生命周期、分布式结构、异构等特性.为适应不可预料的环境变化,过程还需要不断地演化.提出一种过程实例的演化方法以控制对过程实例的改变.它可以检查并保证演化前后的过程实例具备"基于目标的行为一致性",从而避免用户对过程的盲目修改.目标作为行为一致的标准,需要分析演化后的过程实例来保证它可以完成目标.通过用Büchi自动机描述过程实例和其目标的语义,一个过程实例是否能够完成其目标是可判定的.     

面向软件动态演化的需求建模及其模型规范化

针对目前需求工程阶段对软件动态演化考虑不足的现状,在分析软件动态演化面临的挑战的基础上,设计了面向动态演化的需求元模型(dynamic-evolution-orientedrequi rements meta-model,DERM)。该元模型以特征为基本部件,按特征组合的方式建立需求模型,需求模型由行为特征和属性特征组成。行为特征被区分为计算行为特征和交互行为特征,以实现计算和交互的相对隔离;属性特征通过其作用域,指定其在行为特征模型中的作用范围,从而将行为特征模型和属性特征模型统一为需求模型。在此基础上,讨论了需求模型的参照完整性、依赖一致性和互斥一致性,并进一步把需求模型规范化为需求模型第一范式到第三范式,需求模型规范化的过程提供了一种保证需求模型一致性的方法。最后通过案例研究,表明了该方法的可行性及其对软件动态演化的有效支持。     

面向方面编程在软件进化中的应用

软件进化是提高软件系统生命力,减缓其废退步伐的有效办法。分析了AOP(面向方面编程)的基本思想、软件进化的必要性及其现状,提出了采用AOP思想进行软件进化,以提高软件进化的有效性。文中给出了一个结合软件进化与AOP的实例。通过在EJB安全性方面初步应用AOP进行软件进化证明了两者结合的有效性。     

软件缺陷预防过程与方法

通过理解缺陷预防的目的、任务重点和组织结构。定义一套缺陷预防的流程,并以相应的工具来辅助,可以有效地进行缺陷预防。