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

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

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

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

构件适应和组装的形式化语义描述

构件适应技术是基于构件的软件工程中一个很难解决的问题,分析了三种构件适应结构的应用条件,采用了形式化语义的方法描述和推导了与构件以及构件适应相关的问题,根据构件描述与应用需求描述动态地选择不同的适应层次来适应构件,从被适应的构件描述中推导出复合构件的描述,为构件适应的形式化分析、组装正确性检验提供了保证,并列出了一些值得进一步研究的问题。     

实时嵌入式构件模型组装方法及时间性推理

针对实时嵌入式系统特点,提出一种可行的具有较好普适性的软构件模型及构件组装机制,使用形式化方法描述构件接口规约及组装规约,并给出构件时间性的推理方法,旨在实时嵌入式系统中构建更加通用、简易、开放的构件模型和更加合理的构件组装推理机制。     

基于JZEE框架的构件组装技术的研究

以框架的扩展点作为我研究的出发点,提出由基于角色的扩展形态对构件框架进行扩展。文章着力建立一个基于构件技术的分布式应用框架,应用设计模式实现基于JZEE的企业构件框架,并运用形式化语言对基于JZEE的企业构件框架及其框架构件、构件组装进行了形式化描述。并利用基于JZEE企业构件框架的角色扩实践证明基于框架的构件组装技术在提高系统的开发效率,可扩展性和复用性方面有相当大的效果,对进一步研究基于框架的构件自动化组装技术,有着一定的理论意义和实用价值。     

基于可复用构件抽取方法的研究与实现

论述了基于UML的构件抽取方法：通过使用情形框图描述用户所关心的系统功能，用交互图来描述各种功能的具体实现流程以及涉及的相关类．通过分析使用情形及其交互图来确定系统的类，最后在完整的系统类图基础上抽象出系统的构件，得到系统的构件模型。     

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

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

基于构件视图的组装技术

构件组装技术是基于构件的软件开发的核心技术,目前已经存在多种构件组装方法.构件视图是一种构件库管理机制,利用构件视图可以从不同的角度对构件之间的关系进行描述.在简单介绍了现有的构件组装技术的基础上,阐述了构件视图的含义、作用以及构件视图模型,并以基于体系结构的构件组装方法为理论基础,将构件视图的概念引入到组装技术中,给出了一种基于构件视图的构件组装方法,介绍了此方法进行构件组装的流程和此方法的关键技术.     

一种基于语义描述的Web应用构件自动组装与实现方法

构件组装技术是一种将已有的可复用构件遵循特定的组装方案进行组合的技术,组装的结果是一个粒度更大的构件或者是一个完整的应用系统。然而,现有的技术还难以自动组装那些涉及在线人工交互操作的Web应用构件。针对这个问题,提出一种基于语义描述的Web应用构件自动组装与实现方法。该方法首先提出一种扩展OWL-S的针对Web应用构件及其组装的语义化描述方案。基于该描述,可根据用户的应用需求按照匹配规则从众多构件中筛选出符合需求语义描述的Web应用构件。另外,该方法还提出一种OWL-S到符合BPMN2.0标准的映射方案,用于将描述Web应用构件及其组装方式的OWL-S映射为BPMN2.0文件。j BPM流程引擎可加载并解释执行该BPMN文件,从而实现Web应用构件的自动组装与运行。最后,通过一个旅行规划的实例验证了该方法的可行性和有效性。     

CORBA构件组装技术研究与应用

本文在对CORBA构件模型以及构件组装技术进行研究的基础上,分析了基于CORBA构件模型的构件组装机制及构件组装的描述方法。在研究的基础上设计出一个具体的构件组装工具,并用此组装工具组装我们的构件,实现了应用系统-水位报警系统。     

基于行为协议的构件软件静态测试研究

系统的静态分析能在设计开发阶段发现错误,从而避免了在运行时错误检测技术在系统执行期间带来的负面影响。基于尽可能避免静态错误这一构件测试策略的基本思想提出了一种对构件化软件系统进行静态测试的方法。采用通信模型对数据库服务构件系统进行抽象建模,并结合用于描述构件系统中构件之间交互的形式化方法行为协议,通过对构件系统构件行为协议的一致性验证,从而测试构件交互的正确性。     

面向体系结构的构件接口模型及其形式化规约

借鉴软件体系结构的思想,提出了面向体系结构的构件接口模型,它既能表达体系结构设计的高层抽象构件,又能表达底层代码级别的实现构件。同时基于该模型,运用顺序通信进程,提出了两级构件接口行为协议规约方法,能够有效规约大粒度复杂软件构件的行为交互协议。     

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

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

移动组件系统模型的分析与描述

移动计算是新兴的分布式计算范型,其主要特征是计算组件与计算场所能动态改变绑定关系,表现出移动性,从而带来许多新的系统设计需求.从系统模型层次角度对位置、移动组件、移动和资源访问等移动计算核心概念,以及组件与位置之间的各种关系和关系变化刻画的移动范型进行了描述.通过使用集合论和操作语义的规约规则形式地表示这些概念、关系和移动机制,进而抽象出移动系统设计所需的语言结构,为移动系统设计和开发提供了分析基础.     

WSCN节点开发与测试平台的研制

针对无线传感器控制网络(WSCN)应用开发难度大、周期长等现状,根据软件工程和构件设计的基本理论,提出一种基于KW01 ZigBee的通用 WSCN节点开发与测试平台。通过平台硬件架构、硬软件构件、构件化工程框架、测试样例工程等关键要素的设计与应用完成了整个研制过程。该平台架构清晰、开发套件齐全、对外接口丰富、驱动构件完备、测试样例工程设计科学。芯片温度采集工程设计及平台实际应用的结果表明,使用平台开发 WSCN 节点工程方便快捷,能有效降低应用开发难度,提高开发效率。     

Parametric Design and Expression Method of Hui-Style

In this paper, we propose a parametric modeling method to reconstruct the Hui-Style and solve the problem that the user can't effectively reconstruct the Hui-Style three dimensional models because of the various style and complicated structure of Hui-Style components. This model includes summarizing and defining a variety of Hui-Style components parameter types. Determine the relationship between the parameter according to building formulas and design the parametric modeling process. First, set the depth of platform as the given user value. Then, calculate the component properties and the corresponding size according to the style of the Hui-Style architecture components and the constraint relation between Hui-Style architecture components. This needs only one parameter that is needed as the basic parameter in this method and the entire modeling process can be achieved based on it. The experimental result shows that the proposed method can well solve the complex parameters relationship of the Hui-Style architecture components and help the general users to construct the Hui-Style architecture components more effective.     

基于软件体系结构的构件组装工具ABC-Tool

软件朝着越来越复杂和庞大的趋势发展,因此对更有效的软件开发技术的需求十分迫切,近年来,软件体系结构、构件技术和软件复用技术等开始在软件开发中发挥重要作用,成为软件工程领域研究的热点,在基于构件复用的开发方法中,构件组装技术是关键,而且一直以来也是难点所在,ABC(architecture-based component composition)是一种基于软件体系结构、面向构件的软件开发方法,介绍了为ABC方法提供有效支持的工具ABC-Tool,ABC-Tool以软件体系结构为设计蓝图,以构件为基本开发单元,在不修改构件源代码的前提下,通过可视化的图形建模方式,从体系结构的高层设计逐层映射到底层实现,将可运行或可部署的构件组装为最终的可正确运行的系统。     

基于异构Web服务的虚拟实验平台

目前大部分虚拟实验平台缺乏对异构组件的支持。为此,提出一种基于异构Web服务的虚拟实验平台,该平台采用Web服务技术,以其语言独立性、平台无关性等特点,将异构组件进行Web服务化封装,解决异构组件的通信问题,提高开发效率,实现组件重用。介绍系统平台的架构模型和系统实现的关键技术,讨论对异构组件进行服务化封装及实验流程执行引擎的设计与实现过程,并以该平台为基础,通过Web服务封装将C++和Matlab开发的图像处理组件集成到系统中,构建数字图像处理虚拟实验室。     

SCA中间件技术浅析

针对软件通信体系结构规范(SCA),研究了SCA中间件技术.以SCA软件体系结构为基础,描述了公共对象请求代理(CORGBA)中间件技术在SCA中的作用和优势,探讨了SCA体系中中间件对硬件平台模块化的技术支持,分析了为确保SCA架构下软硬件独立性对硬件组件进行抽象所采用的硬件抽象层(HAL)和实时C0RBA技术方法,...