面向构件的软件开发方法学研究

文章以集成供应链管理软件的研究开发为背景，从中抽象出面向构件的软件开发的一般过程，原理和方法，首先提出构件化软件开发的过程模型，阐述与过程相适应的阶段和内容划分思想以及机制，进而阐述领域工程及需求分析方法，重点探讨构架和构件设计思想及多种建模方法的综合应用，给出基于软件体系结构风格和形式描述的构架模型和构件模型，最后给出构架与构件实现的典型案例，所提出的过程论和方法论具有一定的理论系统性和工程实践基础。     

基于工作流的变更管理工具

在对当前变更管理的理论及实践研究成果的分析基础上,从软件开发过程、尤其是基于构件的软件开发过程的实际需求出发,结合工作流建模技术、敏捷开发和过程管理,提出了一个基于工作流技术的变更过程可自定义的变更管理工具,给出了过程描述的语言模型,讨论了图形化建模工具和解释执行引擎等关键部件,并对其设计思想、实现模型、方法等技术进行了论述．     

基于业务规则的信息系统建模方法研究

信息系统的开发需要对业务过程进行建模。论文提出一种从业务规则的角度对业务过程进行建模的方法。通过对业务规则的分析,讨论了将业务规则转化为建模构件的方法,研究了构件之间的关系——元模型,并给出了利用这些构件建立业务过程的规则模型的方法。最后给出了一个业务规则模型的实例。     

CORBA构件模型研究与实现

对几种构件模型进行了比较分析,研究了CORBA构件模型体系结构,提出了CCM构件平台实现技术及方法,并给出了采用国防科大计算机学院研制的CCM构件平台进行程序开发的步骤,体现出CORBA构件模型可以简化CORBA服务器方的应用开发过程,并能够提高CORBA的易用性。     

CORBA构件实现框架研究

构件技术已经发展成为软件复用的主流技术,CORBA构件模型是一种全新的服务器端构件模型,它鼓励通过构件组装来搭建应用系统,从而简化了CORBA应用程序的开发过程,提高了软件生产率和复用程度。该文在CORBA构件模型规范的基础上给出了一个实现框架,详细讨论了在该框架下CORBA构件的实现过程。     

基于耦合性分析的事务构件识别方法研究

从降低事务构件之间耦合性的角度出发，提出了一种事务构件的识别方法．首先给出业务过程图的定义；然后基于图论提出了事务构件的识别方法和事务构件之间关系的确定方法，通过降低事务构件所包含的过程之间的耦合性达到降低事务构件耦合性的目的；最后给出了一个应用实例，说明了方法的有效性．     

基于过程驱动的集成化企业模型体系结构

探讨了企业建模的发展趋势,提出了基于过程驱动的企业模型体系结构。首先,讨论了企业视图维模型（过程、基础设施、协同、行为和信息模型）及其相互关系;接着分析了企业的全生命周期建模过程,给出了企业过程重组的方法;最后介绍了基于模型构件的企业快速建模方法,并强调应该加强行业参考模型及模型构件库建设。北航软件工程研究所开发的企业过程建模系统EPMS2．0版能够支持上述思想的企业建模,对企业过程重组和资源重组乃至企业机构重组都有一定的指导意义。     

基于构件方法在智能决策支持系统中的应用

介绍了构件方法在智能决策支持系统中的分析和设计方法，讨论了构件的构造原则及其对系统分析系统和设计的要求，提出了如何基于构件方法实现智能决策支持系统的一种设计原理和系统结构；给出了基于对象建模技术和构件对象模型技术的模型和方法的分析，设计和实现。     

Web GIS在VIQS中的应用

基于构件的分布式计算模型发展迅速,成为在Internet环境下构造对象Web的主流技术。论文提出了基于CORBA/Java技术的WebGIS模型构想:VIQS构件模型,并且给出了使用这一模型开发流域信息查询系统的实现方案,为开发水利行业的WebGIS应用做了一点研究和尝试。     

基于元数据和UML的构件测试用例生成技术研究

概述了构件及其测试技术的基本概念和特征,并在对元数据的基本概念和含义进行概述的基础上,使用UML方法给出了相应的元模型,根据上述模型的具体概念描述了UML用例到测试用例的映射方法。构造了构件元数据的组成元素,给出了嵌入该元数据后的测试模型。详细描述了用上述方法实现的一个实例——学生成绩管理构件,并针对该实例的应用提出了相应的测试框架,最后给出相应的结论。     

软件过程度量的过程模型及其应用研究

软件度量是软件工程中最活跃的一个研究领域。本文给出了一个软件过程度量的过程模型,定义了实施软件过程度量的角色、内容、主要活动及相关的支持环境,重点阐述软件过程度量的数据采集、验证和分析活动的目标、任务和方法。通过一个软件项目的度量过程实例,研究并确认该模型在过程评估和改进方面的作用和意义。本文的研究对于规范和改善组织的软件过程度量,提高组织的过程能力成熟度,具有一定的指导意义和广泛的应用价值。     

基于工作流技术的软件过程定义和追踪机制

工作流作为一种过程监控技术得到了越来越广泛的关注和认同。论文论述了基于工作流技术实现软件过程的定义及其追踪和监控的概念模型和基本实现方案,给出了软件过程定义的元模型,探讨了在软件过程定义以及监控中涉及到的软件过程三个层面———软件过程、软件具体过程以及软件具体过程实例的概念及其相互关系。     

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

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

A model structure-driven hierarchical decentralized stabilizing control structure for process networks

Based on the structure of process models a hierarchically structured state-space model has been proposed for process networks with controlled mass convection and constant physico-chemical properties. Using the theory of cascade-connected nonlinear systems and the properties of Metzler and Hurwitz matrices it is shown that process systems with controlled mass convection and without sources or with stabilizing linear source terms are globally asymptotically stable. The hierarchically structured model gives rise to a distributed controller structure that is in agreement with the traditional hierarchical process control system structure where local controllers are used for mass inventory control and coordinating controllers are used for optimizing the system dynamics. The proposed distributed controller is illustrated on a simple non-isotherm jacketed chemical reactor.     

自主版权OA群件系统中工作流自动化的实现模型

以数学方法给出了工作流过程定义模型的形式化描述，并提出一种工作流自动化的实现模型，包括系统体系结构和数据库的设计。     

基于进程资源图PRG的进程死锁检测算法

给出了基于进程资源图的进程非阻塞的判定定理,进而给出了基于进程资源图的死锁检测算法,该算法提供了一种公式化的验算方法,可操作性强。     

群件系统工作流技术的实现研究

工作流技术是群件机制的重要组成部分,该文研究了群件系统中工作流技术的系统实现,并结合面向OA应用、集成群件各种资源的特点,参考WFMC制定的工作流产品实现参考模型、工作流参考模型,给出了一种群件中工作流管理的实现模型、过程定义元模型和数学模型等,它是进行详细系统设计的理论基础,这种模型可以保证系统功能的实现和与其他工作流管理系统的通讯。     

过程模型切片技术的研究

将程序切片技术引入到过程模型中,定义过程模型中的关联关系和数据连接关系,在此基础上给出了过程模型的切片定义,并定义了过程模型的三种切片：前向切片,后向切片和双向切片,提出了前向切片、后向切片和双向切片的算法,最后通过实例分析证明了该算法的可行性和实用性。