鲁棒环境演算类型演化系统的扩充

移动计算是在网络技术发展过程中涌现出来的一种新的分布计算范型,移动环境演算是一种广为使用的描述移动计算的形式化模型,鲁棒环境演算[1]是针对这种演算的一种改进.文献[2]提出了类型演化问题,然而其研究只是针对不含有通信原语的纯演算进行.在[2]的基础上,进一步讨论了此问题.通过引入消息类型和消息体类型,并将之与原有的进程类型和环境类型相结合,提出了一个支持类型演化的能够对带有消息传递的进程项类型化的类型系统,从而将[2]的工作扩充到整个鲁棒环境演算中.证明了类型系统的正确性.同时给出了一个最小类型算法,在给定类型上下文的条件下,算法能够计算出任意进程项的类型;并证明了算法的可靠性和完备性.     

支持多种虚拟化技术的进程非代理监控方法

为保障云环境中虚拟机应用的安全性与可用性,提出一种能够支持多种虚拟化技术的进程非代理监控方法及主动监控框架.本框架将进程监控点设在虚拟机监视器中,而不在其中安装任何代理,并且支持VMware,Xen和KVM三种虚拟化技术,实现了对客户操作系统(Guest OS)的隐藏进程检测和进程负载监控,保证虚拟机安全可靠地运行.从被监控虚拟机外部获取活动进程链、遍历线程获得进程列表,进而利用交叉视图技术可检测出隐藏进程;除开活动进程链,加上网络连接信息相关的另两条链表,从中定位到待监控进程,可获得进程负载状况.实验结果表明:本框架能有效地检测出系统中的隐藏进程,并且准确获取特定进程的负载信息.     

基于面向对象方法的软件复用开发环境总体模型

提出了一个支持软件可复用的软件工程环境模式、该模式采用面向对象的程序 设计方法支持主动的复用。基於软件开发的分层概念，论述了软件的层次抽象和演化过 程，简述了支持复用的环境配置和机制。     

以数据库为中心的应用系统开发的一种新模式

结合当前软件开发的若干新概念和新技术,如体系结构、设计模式、面向GUI(Graphical User Inter-face)、软件重用与软构件、软件演化等,对以数据库为中心的应用系统的开发提出一种新的模式,实现相关的基础设施和支持工具.它首先设计和选择一个合适的体系结构,再通过设计模式命名,抽象化,确定一个通用设计结构,保证使用设计模式的软件子系统有较好的灵活性和可重用性.通过对应用系统的基本行为分析,建立一个以GUI为驱动的基本操作行为模式构件库.该数据库可为终端用户的应用程序开发提供一种高效灵活、简单易用,且能适应用户个性化和特殊应用逻辑需求,以及能进行演化以适应业务发展的变化的机制.     

Windows 95下进程的分析及应用

Ｗｉｎｄｏｗｓ９５是一个支持Ｗｉｎ３２ＡＰＩ的３２位操作系统，但它对Ｗｉｎｄｏｗｓ３．１应用程序以及ＭＳ－ＤＯＳ应用程序提供几乎完全的支持，这样在Ｗｉｎｄｏｗｓ９５下就有“四类”进程．本文对各类进程进行了详细分析，并且给出了实际的应用．     

Linux进程调度的数据结构

进程调度是Linux操作系统的核心，它对整个操作系统的执行效率至关重要。进程调度控制着进程对CPU的访问，Linux内核利用一个数据结构（task_struct）代表一个进程，task_struct容纳了一个进程的所有信息，是系统对进程进行控制的唯一手段；代表进程的数据结构指针形成了一个task数组，数组的大小代表着系统中允许并发的最大进程数；调度程序一直维护着一个current指针，它指向当前正在运行的进程。     

Linux进程调度的数据结构

进程调度是Linux操作系统的核心,它对整个操作系统的执行效率至关重要.进程调度控制着进程对CPU的访问,Linux 内核利用一个数据结构(task_struct)代表一个进程,task_struct容纳了一个进程的所有信息,是系统对进程进行控制的唯一手段;代表进程的数据结构指针形成了一个task数组,数组的大小代表着系统中允许并发的最大进程数;调度程序一直维护着一个current指针,它指向当前正在运行的进程.     

基于进程网系统的Petri网性质分析

Petri网的进程网系统是为了描述Petri网特别是无界Petri网的进程行为而提出的一个重要概念。一个Petri网的进程网系统是以其基本进程段的集合为新的变迁集，以各个基本进程段集的输入和输出库所集的并集为新的库所集，以原网系统的初始标识为初始标识而得到的一个新的网系统。本文在借助进程网系统的概念，讨论了一个Petri网同它的进程网系统在可达性、有界性、公平性、活性等方面的对应关系。     

Linux进程调度分析

进程调度是多任务操作系统的核心.Linux中的每个进程用task_struct结构来描述,进程调度的依据是task_struct结构中的policy、priority、counter和rt_priority.Linux根据policy将进程划分为实时和普通两类,普通进程采用动态优先调度,实时进程采用基于优先级的FIFO调度和多级反馈轮转调度.函数schedule( )是实现进程调度的函数,它通过调用函数goodness( )来选择最值得运行的进程获得CPU.2.6内核的O(1)调度算法及其他快速响应策略更加适合实时环境.     

现代OS中的进程调度仿真设计与实现

采用模拟与仿真思路,以定时器驱动机制为模式,用动画方式,以进程调度为中心,实现了对选用调度算法的运行过程的模拟与仿真,同时也实现了进程创建、调度、执行、阻塞和终止过程的可视化.系统能够自动完成进程演进过程的数据记录和分析,并对算法的性能进行初步评测.这对深入理解操作系统核心层,透析进程原理,发现和研究新的调度算法具有重要意义.     

一种分层的软件过程执行机制的研究

选择不同的过程执行机制会对软件过程支持的灵活性产生影响,两种传统的过程执行机制———前摄式和反应式存在模型复杂性和执行灵活性之间的矛盾.借鉴了Alf Inge Wanget al.所提出的基于组织中过程执行主体分层支持的思想,提出了一种分层过程机制,该机制将软件过程分为两个层次,底层是具有流程稳定的子过程,采用前摄式机制支持,而高层是易于变化的过程,则用反应式机制支持,通过过程片段将两层过程统一在一个过程模型中既增加了过程执行的灵活性,又降低了过程模型的复杂性.为了说明该过程机制的实践有效性,分析了一个案例所发生的“例程”、“并发”、“反馈”和“等待”的各种情况并且阐述了在CPMS系统中应用分层机制对上述情况的解决方案.     

DBPM:基于决定的过程模型

以决定为基础,讨论软件开发与维护的过程模型（ＤＢＰＭ）,并给出了过程模型ＤＢＰＭ的规范描述。     

DASPS:一个分散式多代理软件过程系统

代理机制在各个领域得到了广泛的应用,由于它的一些内在特点,代理机制在以过程为中心的软加工成环境中的应用已引起了学术界和工业界的极大兴趣．提出了一种合成式的多代理软件过程建模及实现的方法——分散式多代理软件过程系统(DASP),并对其体系结构及工作机制进行了介绍．     

软件过程支持系统EProcess V2.0的研究与实现

软件过程是软件研究中的新兴领域，它是提高软件生产率、保证软件质量的重要方法，本文介绍软件过程支持系统EProcessV2．0，探讨系统中过程建模技术，引入APRML建模语言及其实施机制。同时介绍了EProcessV2．0的各个组成部分及其在J2EE模式下的具体实现，旨在为软件组织提供一种可视化、灵活方便、易于扩充和移植的软件过程支持环境。     

体系结构描述语言——WRIGHT

软件体系结构设计已成为软件工程的一部分,为体系结构开发提供工具和环境也就更加重要。本文介绍一个支持体系结构规范说明的语言ＷＲＩＧＨＴ,它注重连接器的定义（即协议）,提供了形式化推理和体系结构一致性检查的工具。实现了体系结构设计的要求。     

Rational统一过程的可视化建模的应用

为了提高开发软件的效率和软件的质量,采用新一代软件开发过程Rational 统一过程,以及功能强大的可视化建模语言UML,二者在软件开发过程中得到了广泛的应用.简要介绍RUP技术和UML语言的基本内容,并在RUP的指导下,运用UML建模技术,对设备缺陷管理及分析系统进行设计,对系统开发的各个阶段进行建模,该过程不但优化了系统的各阶段的迭代与建模过程,而且可以较容易应对需求变更,提前降低开发系统的风险,降低系统的复杂度,提高了软件开发的质量、效率和维护性.     

基于统一软件项目过程管理的监理框架

融合现代软件工程技术、项目管理、软件开发过程和软件能力成熟度模型的思想,以软件工程项目生命周期为基础,对统一软件开发过程进行了拓展;提出了基于可视化的统一软件项目过程管理的监理框架.基于该框架实现了软件项目过程管理、目标管理同监理过程的结合,将软件开发过程中的核心工作流程、关键过程与活动、计划、控制和人员组织等管理活动纳入一个基于软件项目生命周期的可视化过程监理框架内,使得软件项目监理过程实施更具有规范化、可控性和可操作性.     

基于UML的“用况驱动”在软件开发过程中的作用分析

基于统一建模语言（UML）的建模机制,结合软件开发过程的特点,分析了软件开发各阶段＂用况＂的功能及＂用况＂与开发模型、架构的关系,提出了以＂用况驱动＂、架构为中心,采用迭代和递增的软件开发思路,并用于软件开发过程,提高了软件开发效率,增强了软件的复用性。     

基于miniProject的软件工程教学研究

针对软件工程课程教学实践性强的性质,提出一套基于miniProject的实践教学方法,将软件工程中的软件生命周期管理、关键软件过程融入项目的实践中,用一套虚拟团队的组织规范引导学生开发项目,使得学生在实践中掌握和理解软件工程的相关概念,并自觉执行一套标准的软件过程。