基于分层的过程构件分类描述与检索研究

为解决传统的基于标准过程裁剪中标准过程只有单一抽象层次,造成裁剪工作量大的问题,本文对标准软件过程分层结构进行研究并通过继承机制简化过程的定义,多抽象层次的标准过程的提出还可以满足不同描述的需要,然后根据现有的构件描述框架对不同层次的标准过程给出了不同的描述方案。最后根据构件描述的特点,提出一种构件检索方法,并在理论上分析了和在实验上的证明了该算法的可行性和有效性。     

一种软件过程建模语言SPML的设计

本文提出了一个具有丰富语义、灵活的、可扩展的、形式化的软件过程建模语言SPML。它提供了两个不同抽象层次的描述语言以满足不同用户的需求。高抽象层次的语言SPML／H能够较全面地描述软件过程,具有良好的易用性;低抽象层次的语言SPML／L可以描述规则等,适合描述软件过程的细节。SPML／H还能够被逐步地变换成SPML／L,保证了软件过程模型可以在一个共同的形式化基础上被分析和运作。最后通过一个实例说明过程建模语言的有效性。     

中小型软件企业过程裁剪方法及应用研究

本文结合作者的实际工作经验,以作者所在企业的过程裁剪规范为样例,从过程裁剪的目的、过程裁剪的依据、过程裁剪的内容、过程裁剪的步骤等方面出发,论述了中小型软件企业在推行软件工程化过程中,如何根据不同的项目特性对组织标准过程进行裁剪,形成适合项目的软件开发过程。     

软件开发过程定义裁剪研究与实施

定义了软件项目开发过程定义裁剪的流程．详细地描述了裁剪的操作步骤,对项目特性进行研究和裁剪影响进行分析．针对不同的项目特性进行裁剪过程研究,得到不同的项目过程．为项目的过程定义提供指导并给出具体的实施方法。     

一种基于线性逻辑的构件组装方法研究

构件组装是基于构件的软件开发中的一个重要环节.本文利用线性逻辑描述了具有语义信息的构件结构,描述了独立于具体的计算环境、具有普遍适用性的三种构件组装关系,利用定理证明的方法,根据现存构件的描述和构件组装关系自动生成构件组装的方案,并从被适应的构件描述中推导出复合构件的描述,以提高对构件适应过程的描述和分析能力,为构件组装形式化分析、组装正确性的检验提供了保证,并列出了一些值得进一步研究的问题.     

CMM实践中的软件开发过程与过程裁剪

CMM要求软件组织的软件过程标准化，不同的项目有不同的需求，允许对标准过程进行裁剪来适合一个特定的项目，裁剪被错综复杂地联系到过程定义上，必须把过程定义与裁剪放在一起讨论，为了便于进行过程定义，本文剖析了开发过程的一般特性，介绍了概要裁剪与详细裁剪应遵循的一般规则。     

基于线性时序逻辑的实时系统建模与求精

线性时序逻辑语言XYZ／E在统一的语义框架下．能表示从高层需求规范到低层实现模型之间的不同抽象层次的系统描述，也适于描述实时系统的模型和逐步求精过程．本文提出了一种基于构件的实时系统求精方法，并给出一个具体实例一电梯控制系统，采用XYZ／E语言描述了该系统的模型及其求精过程．     

可复用构件组装技术研究

构件组装是基于构件的软件开发过程中的关键环节，组装机制又是构件组装中的核心问题。本文根据不同粒度构件组装行为的特点，对小粒度构件的低层次组装和大粒度构件的高层次组装机制进行了研究。探讨了用XML描述构件组装机制的方式，以及在J2EE平台中生成可编译的JAVA源代码的方法。     

基于构件的信息系统体系结构模型

在分析信息系统层次结构的基础上，提出信息系统结构的层次化构件模型；描述了基于构件化层次模型的信息系统的抽象层次、结构元件、结构特征，给出了不同抽象粒度构件的形式化描述方法、构件连接的形式扣方法、基于企业模型的系统软件组织方式；为信息系统的设计与开发提供了参考模型。初步应用表明，层次化构件模型的设计思想架起了管理系统与信息系统之间的桥梁。提高了信息系统适应性扣开发效率。     

一种支持构件化过程开发方法和分级管理机制的过程管理工具

开发符合组织规范和项目特征的软件过程模型,并对其进行持续地改进,是困扰软件组织的难点问题．一种支持构件化过程开发方法和分级管理机制的过程管理工具一青鸟过程管理（JBPM）系统借鉴CMM中“组织-项目”两级的层次化过程管理思想,引入了ISO／IEC 12207标准和IEEE 1517标准中的软件过程的需求规约,将基于构件的开发方法引入到软件过程的开发中,并为此提供工具支持,为过程管理问题提供了较好的解决方案．     

基于Tropos~+需求模型的软件自适应方法

在模型驱动的软件自适应控制过程中,监测、分析、决策和执行等活动均基于共享的知识模型。为便于知识重用和运行时维护,常采用抽象级别较高的需求模型来表示知识。为建模软件的适应性需求,针对传统的Tropos及其扩展方法不能用于软件对异常事件适应性需求建模问题,对Tropos进行上下文和异常条件扩展,记为Tropos+。在此基础上,提出一种由Tropos+需求模型驱动的软件自适应方法,该方法能够用于软件运行环境和异常事件监测以及软件对环境变化和异常事件的自适应处理。最后通过一个案例说明了软件自适应过程。     

基于SPEM的CMM软件过程元模型

软件企业在实施CMM(capability maturity modelfor software)的过程中面临最主要的障碍是如何将CMM 软件过程模型转换成可实施的、体现组织过程特征的CMM实施过程模型.可以利用模型驱动架构MDA来支持CMM模型转换,其首要问题是建立CMM软件过程元模型.通过分析CMM软件过程,给出了面向CMM的软件过程工程元模型SPEM的扩展策略,提出了一个基于SPEM的CMM软件过程元模型一-SPM-CMM.该元模型既支持CMM软件过程的抽象语法和规则语义,也支持利用UML CASE工具操作CMM软件过程模型.     

数据驱动的双层次软件过程挖掘方法

为了解决软件过程数据因活动信息及案例属性的缺失而无法应用传统过程挖掘方法的问题,以软件过程数据为研究对象,提出了一种双层次的软件过程挖掘方法.在活动层,提出加权结构连接向量模型对过程日志进行向量化,通过平均活动熵来确定过程日志模糊聚类的结果,将聚类结果作为活动信息支持后续挖掘工作的开展;在过程层,以启发式关系度量为基础,针对非完全循环进行研究,提出了过程层单触发序列循环划分的日志完备性条件,并进一步给出了循环归属的度量方法.基于大量真实软件过程数据的实验结果表明了双层次的软件过程挖掘方法的可行性及正确性.     

基于层级模型的软件开发过程管理

本文通过建立软件开发过程的层级模型，将软件开发中的“过程”的概念层级化，将原来众多复杂的因素划分到不同的抽象层次：组织结构层、过程流层和物件流层。根据不同的抽象层的特点，采取不同的措施，有效地对整个开发过程进行控制与改善。     

白盒测试中源代码变更管理方法的研究与实现

在大型软件白盒测试项目中,源代码的频繁变化给测试工作增加了很大难度,对源代码进行管理和控制是对白盒测试过程管理的一个重要补充。在已有的软件测试过程管理模型基础上,认真分析研究版本控制和管理的相关技术现状,提出了变更管理的改进方法,对于软件模块的比较采用了抽象的方法简化为目录树,而在文件比较中基于源代码静态分析工具,把文件比较的粒度分解到方法一级,进行了方法内部比较算法的研究,设计实现了源代码版本管理子系统。     

UM-RTCOM: An analyzable component model for real-time distributed systems

Component-based development is a key technology in the development of software for modern real-time systems. However, standard component models and tools are not suitable for this type of system, since they do not explicitly address real time, memory or cost constraints. This paper presents a new predictable component model for real-time systems (UM-RTCOM) together with a set of tools to support it. The environment allows new components to be developed which can then be assembled to build complete applications, including hardware interaction. The model includes support for real-time analysis at the component and application level. The analysis is achieved by combining component meta-information in the form of an abstract behaviour model and a method to measure worst-case execution times in the final platform. Additionally, we propose an implementation model based on RT-CORBA where the developer uses the UM-RTCOM components and a set of tools to map these elements to elements of the desired platform. In order to apply our proposals, we have used the model and tools in real applications specifically in the context of nuclear power plant simulators.     

软件过程建模语言研究

本文介绍了软件过程建模的基本概念，提出了对软件过程建模语言的基本要求并简要介绍了几个有代表性的过程建模语言，给出了一个基于时序逻辑的形式化过程建模语言ＸＹＺ／ＰＭＥ，该语言是时序逻辑语言ＸＹＺ／Ｅ的子语言，它支持以角色为中心的逐步求精的过程建模方法，可在统一的形式框架内表示不同抽象级的过程模型．软件过程，软件过程建模，过程建模语言，时序逻辑，程序设计语言．     

敏捷软件过程的研究

敏捷软件过程可能成为最适应软件开发全球化，个性化，快速化，高质量新格局的先进开发模式，它能够帮助软件企业快速响应市场赢得竞争，针对这一趋势，系统分析软件开发的敏捷性需求，总结出敏捷软件过程的5种典型特征，如并行，轻载，基于时间，正好策略，基于组件等，然后设计了FLEX语言，从3个不同抽象导 上形式化定义了敏捷软件过程的功能模型，合作模型，资源模型和产品模型，基于过程模型，同时提出了9种静态分析和动态模拟技术，支持软件过程面向敏捷性的优化。     

基于过程模式的软件过程框架

Process pattern is an excellent method to express software process knowledge, it can express process knowledge in different granularity and realize the non-gap connection of process knowledge, it supports the reuse and persistent improvement of process knowledge. In this paper, we put forward a process Pattern Based Software Pro-cess Framework(PB-SPF), its three layer architecture has realized the high abstraction of software process and theseparation of its contents, so it have good reusability and adaptability. We can use it as a base for the research of soft-ware process, the building and enactment of process model.     

基于硬件虚拟化的虚拟机进程代码分页式度量方法

云环境下恶意软件可利用多种手段篡改虚拟机（VM）中关键业务代码,威胁其运行的稳定性。传统的基于主机的度量系统易被绕过或攻击而失效,针对在虚拟机监视器（VMM）层难以获取虚拟机中运行进程完整代码段并对其进行完整性验证的问题,提出基于硬件虚拟化的虚拟机进程代码分页式度量方法。该方法以基于内核的虚拟机（KVM）作为虚拟机监视器,在VMM层捕获虚拟机进程的系统调用作为度量流程的触发点,基于相对地址偏移解决了不同版本虚拟机之间的语义差异,实现了分页式度量方法在VMM层透明地验证虚拟机中运行进程代码段的完整性。实现的原型系统——虚拟机分页式度量系统（VMPMS）能有效度量虚拟机中进程,性能损耗在可接受范围内。