软件动态配置模型中的构件依赖描述

构件间的依赖关系是当前基于构件的分布式软件的研究热点之一.提出一种基于XML的描述构件间依赖的方法,并将该方法应用于一个动态配置分布式软件的模型中,成功地实现了构件的动态配置和部署,证明了该方法的可行性.     

构件动态演化内部一致性保证方法

基于构件的软件开发已成为软件开发的主流方法,针对构件式软件动态演化后的一致性保持问题,目前大多数学者主要是从构件式软件的外部一致性角度进行分析和研究。为此,从构件内部的角度出发,提出一种保证构件式软件动态演化构件内部一致性的方法。首先,对构件及其相关模型进行建模,并给出了构件内部类有向图的同态映射关系的判定算法;其次,给出构件式构件动态演化内部一致性的标准,基于进程代数的强模拟理论和图论中的同态映射关系,分别从全局和局部的角度定义了构件式软件动态演化前后构件内部一致性标准的充分条件和必要条件,并对其进行了证明;然后,基于上述工作,给出了构件动态演化内部一致性保证方法的流程;最后,通过案例研究表明该方法的可行性和有效性。     

构件软件变更风险分析技术

构件软件相较于传统软件系统有更快的演化速度,对其变更进行有效的度量将有利于后期的维护活动.本文分别针对代码可见及不可见两种类型的构件,运用改进的构件依赖图建模,表示构件软件系统.分两步分析构件变更所带来的风险:首先在计算变更比例的基础上度量单个构件的变更风险,再通过将构件依赖图转化成构件依赖树来计算变更的构件集给系统所带来的风险.此外,结合实例系统的分析给出了所提出的变更风险度量的若干性质.     

构件技术在电子战仿真系统中的应用

传统的软件开发方法无法为新系统的开发提供可复用的资源,且软件生产力和软件质量较低。软件复用技术是解决这些问题的有效方法,基于构件的软件复用技术是当前最流行和有效的复用技术。该文在对电子战仿真系统进行详细分析的基础上,研究了构件技术在电子战仿真系统开发过程中的应用。重点研究了电子战仿真构件的设计、实现,以及对构件的管理方法,最终实现了电子战仿真构件库,并在构件库的基础上实现了电子战仿真系统。文中引入了虚构件的思想,提高了构件的复用率。     

基于工作流引擎的构件组装体系结构

近年来,软件体系结构(SA)、基于构件的软件开发技术(CBSD)等开始在软件开发中发挥出重要的作用.CBSD应用的成功主要体现在自底向上构造系统的方法上.目前,对SA的研究还缺乏一种自顶向下的构件动态组装方法,尤其是过程构件的组装.以工作流技术为基础,以基于Web应用为背景,研究了基于工作流引擎的构件组装方法.从业务过程的基本要素——业务对象、控制流和数据流入手,详细分析了这些要素在构件环境下的特点和交互模式,并以此为基础提出了一种基于工作流的引擎的过程构件组装体系结构.该体系结构中除了考虑常规的控制流驱动的构件组装外,还深入研究了文档型的数据流驱动的构件组装机制,能够为其他研究者将文档型工作流技术应用于软件构件组装提供借鉴和参考.     

ABC:基于体系结构、面向构件的软件开发方法

基于构件的软件复用和开发被认为是提高软件开发效率和质量的有效途径,并在分布式系统中得到了广泛的应用.但是,目前的软件构件技术主要还是着眼于构件实现模型和运行时互操作,缺乏一套系统的方法以指导整个开发过程.近年来,以构件为基本单元的软件体系结构研究取得了较大的发展.它通过对软件系统整体结构和特性的描述,为面向构件的软件开发提供了一个自顶向下的途径.介绍了一种以软件体系结构为指导,面向构件的软件开发方法,试图为基于构件的软件复用提供一种有效的解决方案.这种方法主要是将软件体系结构引入到软件开发的各个阶段,作为系统开发的蓝图,利用工具支持的自动转换机制缩小从高层设计到实现的距离,而后在构件平台的运行支持下实现自动的系统组装生成.     

一种构件平台上支持面向方面编程的方法

面向方面编程与构件技术的结合是开发更加可复用、可扩展的软件的新方法，不同于传统的通过修改系统架构以及引入新的编程语言实现二者的结合。提出一种将文件划分为构件与方面，利用XML语言描述构件与方面的编织关系，结合构件客器技术与面向方面编程的方法实现构件与方面的运行时编织的方法。新的方法既可以简单方便地描述方面，又有效地扩展了现有系统，原有构件不需要任何改动，就可以直接实现同方面的编织，井确保比较高的运行效率。同时该方法在CAR上的软件工程实践也作了描述。     

基于构件的一卡通清算系统设计与实现

软件复用技术已经成为软件系统开发的优先选择,一卡通清算系统已经在越来越多的城市得到了应用,而基于构件的软件开发能够很大程度地提高一卡通清算系统的开发速度和开发效率。对一卡通清算系统进行研究,分析系统的应用架构,提出其构件层次模型,将公共功能部分封装成为构件,并结合构件层次模型设计基于构件的系统开发流程。最后,给出一卡通清算系统中构件实例的设计与实现。     

RTCS：一种具有精确语义的实时构件描述机制

大规模和复杂的实时系统可以显著获益于基于构件的软件开发方法，即通过已有的经过验证的可复用构件来构造实时系统，如能将这一集成过程自动化，将会显著提高实时系统的开发效率。通过对实时任务特性的分析，在Timed CSP等形式化工具的基础上，提出了一种具有精确语义的实时构件描述机制-RTCS，并探讨了在实时COR—BA架构内利用RTCS实现构件自动生成的方法。     

面向方面的实时系统形式化开发方法

实时系统复杂性的不断增加以及对可配置性和可重用性要求的不断提高,需要如面向方面和基于组件的软件工程方法的支持,同时实时系统的可信性要求采用形式化方法来开发实时系统。本文试图建立一种面向方面的实时系统形式化开发方法,这种方法对RT—Z进行了面向方面和面向部件的扩展,并通过实时组件模型在需求和设计阶段提供了对基于部件的系统开发方法(CBSD)和面向方面的系统开发方法(AOSD)的支持。本文给出了面向方面的实时Z(AO—RT—Z)的组件模型的框架结构、语法要求、方面的联结和功能接口和非功能接口的定义,重点讨论并证明了面向方面的实时Z(AO—RT—Z)作为规格描述语言的健全性。     

基于EJB构件的PDM系统中工作流系统研究

针对传统的软件开发方法的缺点,本文按照基于构件的软件开发,结合EJB构件技术,给出了基于EJB构件技术的PDM系统中工作流系统的体系结构,并对此体系结构进行简单的介绍,最后对EJB构件技术与工作流系统的结合给出结论。     

二进制构件柔性组装机制及其形式化研究

构件组装是基于构件的软件开发的核心和最终目的，其中，二进制构件组装是构件技术实用化的最佳途径，目前的研究主要集中在特定二进制构件的组装上。该文根据程序控制结构的基本形式，提出了一种普适性的二进制构件组装机制，定义了二进制构件组装的3种方式，即顺序组装、条件组装和循环组装，并给出了其形式化定义。该组装机制使用“无冲突”思想代替传统的“匹配”思想，从而使二进制构件的组装具有更大的柔性。     

Enforceable component-based realtime contracts

We present enforceable component-based realtime contracts, the first extension of component-based software engineering technology that comprehensively supports adaptive realtime systems from specification all the way to the running system.To provide this support, we have extended component-based interface definition languages (IDLs) and component representations in repositories to express realtime requirements for components. The final software, which is assembled from the components, is then executed on a realtime operating system (RTOS) with the help of a component runtime system. RTOS resource managers and the IDL-extensions are based on the same mathematical foundation. Thus, the component runtime system can use information expressed in a component-oriented manner in the extended IDL to derive parameters for the task-based admission and scheduling in the RTOS. Once basic realtime properties can thus be guaranteed, runtime support can be extended to more elaborate schemes that also support adaptive applications (container-managed quality assurance).We claim that this study convincingly demonstrates how component-based software engineering can be extended to build systems with non-functional requirements.     

基于组件结构的软件二次开发接口的设计与实现

提供二次开发手段是许多像CAD系统等应用软件的必要功能，文章提出了利用组件技术实现应用软件二次开发的接口模型。该模型结构层次清晰，各模块接口规范，易于扩充，并结合实际开发的应用系统，详细地分析了该模型中各组成部件的结构、功能和实现方法。     

基于AJAX的Web应用构件组装技术及工具

基于构件的软件开发方式能够有效提高Web应用的开发效率,它所涵盖的构件组装技术涉及到Web应用的前端页面与后端业务逻辑或第三方服务之间的组合。在分析Web应用的构件类型及其组装方式的基础上,提出了一套基于AJAX的Web应用构件组装技术,该技术尤其关注于前端页面构件与后端业务构件以及Web Service构件之间的自动化组装,包含两种具体的组装实现模式,即采用jQuery调用Servlet的实现模式以及采用DWR技术的实现模式,它们为页面构件提供其与服务端构件交互的能力。另外,这两种组装模式已分别实现为两套在线的Web应用构件组装工具,均支持用户通过图形化的方式定义构件的连接关系,并根据不同模式自动组合构件实体单元来生成Web应用系统。以一个实验性选课网站作为应用开发实例,以验证技术与工具的有用性。     

一种基于构件技术的工作流过程建模的方法研究

通过分析研究工作流建模的各种方法,本文提出了一种基于构件技术的工作流建模方法,引入了构件工作流网的概念和新的建模元素,使工作流过程表达更丰富,提高了可读性和重用性,给出了一个建模应用实例,并指出下一步研究工作和方向。     

基于XML的组件化工作流模型研究

提出一种新的组件化工作流建模方法,旨在以统一的数据交换格式XML语言进行任意工作流的过程建模.在对工作流过程进行形式化描述和实质抽象的基础上,给出了工作流模型组件详细的XML语言描述,模型的组件化赋予了工作流柔性特征,扩展了工作流应用领域,提高了工作流引擎设计效率,对于高效开发实用的工作流管理系统具有重要的应用价值.     

一种基于构件技术的工作流过程建模的方法研究

通过分析研究工作流建模的各种方法,本文提出了一种基于构件技术的工作流建模方法,引入了构件工作流网的概念和新的建模元素,使工作流过程表达更丰富,提高了可读性和重用性,给出了一个建模应用实例,并指出下一步研究工作和方向.