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

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

构件组装及其形式化推导研究

基于构件的软件工程(component based software engineering,简称CBSE)能够有效地提高软件开发的质量和效率.构件组装和组装推导(compositional reasoning)是CBSE的关键技术.基于软件构件的特点,借鉴进程代数中进程构造的方法,提出6种构件组装机制,能够灵活、简便地集成软件构件,并主张在构件组装的同时进行接口组装,通过生成功能更强、抽象级别更高的复合接口,提高构件组装的抽象级别和粒度.同时,基于Wright的形式化规约软件体系结构的研究,给出了复合构件和复合接口的组装推导算法,为系统行为的形式化分析、验证和仿真奠定了基础.

基于构件组装的应用软件开发过程研究

基于构件的软件开发方法是目前一种流行的软件生产技术,其核心围绕着构件的开发与组装技术。但如何结合实际应用要求实施基于构件组装的软件开发过程是一个值得进一步研究的课题。为此,根据基于构件的软件组装技术的概念和原理,提出一种应用系统组装框架,从软件体系结构的角度研究了构件的开发与组装方法,并将这一技术应用到软件工程网络课堂教学系统的开发上。相关实践活动表明,提出的方法可有效地获得一个适应性强的应用系统。

基于软件体系结构连接器的构件组装技术研究

构件是为了复用和可组装的目的而设计的,但是在构件的组装过程中常常会碰到组装不匹配的问题。从软件体系结构层次出发,可以找出组装不匹配的症结所在。在对软件体系结构和构件组装技术进行分析研究的基础上,提出了基于软件体系结构连接器的构件组装技术,并给出了相关实例。

异构软件构件组装模型设计与实现

研究了异构构件组装方法,根据主流构件模型的差异,设计了异构软件构件组装模型,使构件对外呈现一致的构件视图,屏蔽构件的异构性,有效地利用系统资源,最大限度地为应用系统的生成提供支持。

基于消息传递的构件组装模型

利用构件组装分布式系统是软件开发的流行趋势,但由于构件之间规范不一致,相互联系和相互依赖,降低了构件的复用程度,限制了生成目标系统的灵活性。消息传递是应用程序和软件构件之间进行通信的一种方式,基于消息传递的构件组装模型采用了XML技术,通过连接子和消息总线进行消息传递,实现构件之间的交互,使构件在组装时对外呈现出一致的视图。

基于CCM的软件构件组装技术的研究

OMG在推出的CORBA3.0规范中提出了一个构件模型(CCM)。CORBA构件不仅定义了对外提供的功能,而且还定义了构件所需要的外部功能,使得构件可以利用接口进行组装。同时CCM借鉴了EJB、COM等构件模型的优点,并充分利用了CORBA的开放性。本文在对CORBA构件模型以及模型组装框架中的相关技术进行研究的基础上,努力探索基于CCM的构件组装在系统开发中的应用。

基于连接器模型的构件组装技术研究

基于连接器的构件组装是实现动态组装的有效途径之一。针对当前连接器模型的不足之处,提出一种更细粒度的连接器模型,该模型采用分层方式抽象构件内部的控制机制,使连接器成为构件组装的控制源。详细介绍模型中不同层次连接器的具体实现,给出连接器的演化过程,最后给出相关实例。

一种利用功能驱动的构件组装方法研究

从构件组装研究背景出发,提出一种利用功能驱动的构件组装方法,该方法是建立在一种有向图表示的软件体系结构模型上,以构件为基本元素,以用户的功能需求为驱动目标,以构件连通度和功能冗余度为评价指标,达到构件的自动组装并能提供满足用户需求期望的软件实体.最后根据构件的邻接矩阵和可达矩阵设计了一种组装算法,并给出了实验仿真结果.

扩展方面机制的软件产品线体系结构建模及构件组装实现

软件产品线是提高软件开发效率与质量的有效途径,它以体系结构(SA)为蓝图,定义组成产品线的构件与构件之间相互作用的关系,指导基于构件的应用产品组装实现.现有的基于接口连接式的体系结构仅能描述构件间的直接交互,却无法支持产品线可变性所带来的更为复杂的构件交互情况.因此,本文提出一种扩展方面机制的软件产品线体系结构建模及构件组装实现方法,其核心是一套扩展xADL2.0、结合面向方面机制的软件产品线体系结构描述语言.它能支持基于可变性的产品线体系结构设计与定制,并指导应用产品的构件组装过程.在此方法的基础上,我们开发了原型工具FdSPLC,提供对体系结构的可视化建模以及应用产品的自动化生成.

基于WEB服务的构件组装结构的研究与设计

为了使软件开发技术适应网络技术的发展,文章对基于构件软件开发的构件获取和构件管理技术进行了研究,针对现有主流构件模型存在的不足,分析了web服务的通信协议,研究了web服务体系结构和它的实现机制,提出了基于Web服务的构件组装结构,并且以Web服务技术和CBSD技术为基础,设计出了这种基于Web服务的构件组装结构模型。围绕此组装结构进行了相应的分析。

基于Petri网的构件组装模型

针对形式化语义对构件组装和演化描述能力不足的问题,提出了基于Petri网的构件组装模型.以Petri网系统表示构件的静态组装结构,用网中标识在库所中的流动来模拟构件的动态运行过程;构造了6种具有普遍适应性的构件组装运算,给出了构件Petri网的动态运行规则,并通过案例演示了构件Petri网的演化和组装运算过程.为了支持对构件演化过程中波及效应的量化分析,从可达标识图中抽象出构件影响因子用来描述相关构件耦合度的大小,并用以度量构件系统演化时的影响度.该模型可应用于基于构件的软件系统的体系结构描述及构造过程的演化分析.

基于XML的构件组装平台的设计与实现

构件组装技术是支持软件复用的核心技术,构件组装平台的使用将系统开发的重点从程序设计转移到已有构件的选取、组装和部署;在构件模型的支持下,通过复用已有的构件,软件开发者可以"即插即用"地快速构造应用系统;在此,给出了一个基于XML的构件组装平台的设计与描述,并且根据构件自身特点和构件组装的需要自定义了基于XML的软件结构描述(SAD),其中包括基于XML的构件描述、连接子描述和组装结构描述,这些描述对连接子生成与构件组装提供了基本的信息支持。

接口连接式构件组装的一种形式化方法

构件组装是基于构件的软件开发的研究重点之一,能够有效地提高软件开发的效率和质量。以往大部分构件组装技术是在“成功组装路线”的前提条件下实现的,缺乏对构件组装正确性的检验。本文改进了常用的接口连接式构件组装技术,采用形式化方法描述和推导与构件以及构件组装相关的问题,给出了映射算法,实现了从构件组装规约向粘合代码的自动转换,为构件组装形式化分析、组装正确性检验提供了保证。

业务流程驱动的森林仿真构件组装技术及应用研究

针对森林仿真系统的需求或应用目标不断发生变化的问题,提出了一种业务流程驱动的森林仿真构件组装方法。该方法设计和实现了森林仿真领域的构件模型和仿真构件接口,并通过业务流程驱动的构件组装框架实现了森林仿真系统的业务流程、模型算法等的软件复用,解决了现有森林仿真系统存在的快速构建或重构困难的问题。通过在虚拟森林仿真系统开发中的应用表明,基于构件组装的方法与代码级重用、重新开发方式相比,可以大幅减少开发工作量,降低系统的开发难度,实现森林仿真系统的快速搭建或重构。

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

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

基于扩展的WebService的构件组装的研究

构件组装是基于构件的开发(CBD)研究的核心,为了使构件系统适应网络发展的要求,针对传统的WebService对服务间依赖表达较弱的不足,提出一种基于扩展WebService的构件组装模式,并给出其组装体系结构。这种组装模式将构件部署包装成WebService构件,用扩展的W SDL(Web服务描述语言)描述单个服务及服务间的依赖,在构件组装平台下,根据一定的组装机制和Web服务间通信机制完成组装,既可屏蔽构件的异构性,又充分利用了系统资源。

基于构件组装的远程实验教学系统研究及应用

提出了一种基于构件组装技术的远程实验教学系统的设计和实现方法。该方法中,实验资源被封装成标准化构件,作为资源重用和系统集成的基本单元。设计了基于构件组装的实验元模型(REM-Model),并给出了实现该模型的远程实验教学系统框架(RET-System)。该框架中,REM-Model被映射到SoXPDL模型,由工作流引擎驱动构件组装,从而支持远程实验教学项目的动态重构。最后,介绍了操作系统远程实验教学系统的应用实例。

基于逻辑推理的构件组装策略及其算法

针对构件组装体系框架,提出一种适用于无状态构件的组装策略,用于满足用户的构件检索请求.该策略通过进程代数理论形式化描述构件行为,提高匹配度,并提出了2种基于逻辑推理的检索算法SABLR(searching algorithm based on logical reasoning)和ASABLR(advanced searching algorithm based on logical reasoning)加以支持.检索算法均应用正向推理的思想,判别构件仓库中是否含有用户请求构件信息.算法可以判别2种状况:一是库中直接含有请求构件信息,二是库中部分构件可经组装后满足用户请求.克服了普通构件检索算法无法判别第2种状况的缺点.最后,通过实例分析和算法ASABLR的实现,证明该策略的有效性和可行性.

基于图形转换的构件组装研究与应用

Padberg J,Ehrig H等使用代数规格语义的Petri,基于图形转换理论提出一种通用构件组装框架,该框架可以适用于不同领域的动态和静态的构件组装.但由于其限制连接件的输入接口是互不相交的,即割裂了与传统Petri网的同步合成和共享合成的联系,也限制了其实际应用的灵活性.给出一种较弱的唯一性条件,及基于该条件的结构唯一性和内容兼容性的证明,并讨论在此框架体系中融合传统Petri网综合方法.最后将该框架体系实际应用于联锁逻辑的描述.