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

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

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

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

基于构件视图的组装技术

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

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

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

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

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

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

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

一种基于构件组装方式的特征干扰检测方法

随着基于构件的软件开发技术(CBSDT)的不断发展,构件组装中的特征干扰问题逐渐受到大家的重视,针对这一问题的研究也成为一个热点。基于软件构件的特点。提出采用时序逻辑语言XYZ／E形式化构件,并根据构件组装的不同方式对特征干扰问题进行检测。     

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

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

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

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

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

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

可复用构件表示模型研究

依据AND－CASE环境对软件构件的要求,提出可复用构件表示模型,将刻面法和规格说明相结合的综合刻面法描述构件库中的构件,以兼顾刻画法的灵活易用性和规格说明的规范性,并将其应用于AND－CASE环境,有效实施内建层次词典检索有多种形式的构件匹配。     

一个基于Agent的分布式构件管理系统

首先给出了软构件在分布式网络环境下的形式化定义 ,据此建立可重用的软构件库 ;然后将A gent技术引入到分布式构件管理中 ,建立了以可重用软构件库为核心 ,通过各类软件Agent进行管理的构件管理支撑环境     

软件过程建模语言研究

本文介绍了软件过程建模的基本概念，提出了对软件过程建模语言的基本要求并简要介绍了几个有代表性的过程建模语言，给出了一个基于时序逻辑的形式化过程建模语言ＸＹＺ／ＰＭＥ，该语言是时序逻辑语言ＸＹＺ／Ｅ的子语言，它支持以角色为中心的逐步求精的过程建模方法，可在统一的形式框架内表示不同抽象级的过程模型．软件过程，软件过程建模，过程建模语言，时序逻辑，程序设计语言．     

基于消息截获的构件和Aspect组合框架

针对提供的横切属性服务比较固定的问题,结合构件的软件开发和面向Aspect的软件开发,描述了构件和Aspect的组合关系,在此基础上提出了构件和Aspect的组合框架.该框架相对于使用容器技术而言,不再局限于要提前预置Aspect,从而使构件和Aspect能够动态的组合.     

Documentation driven development for complex real-time systems

This work presents a novel approach for development of complex real-time systems, called the documentation-driven development (DDD) approach. This approach can enhance integration of computer aided software development activities, which encompass the entire life cycle. DDD will provide a mechanism to monitor and quickly respond to changes in requirements and provide a friendly communication and collaboration environment to enable different stakeholders to be easily involved in development processes and, therefore, significantly improve the agility of software development for complex real-time systems. DDD will also support automated software generation based on a computational model and some relevant techniques. DDD includes two main parts: a documentation management system (DMS) and a process measurement system (PMS). DMS will create, organize, monitor, analyze, and transform all documentation associated with the software development process. PMS will monitor the frequent changes in requirements and assess the effort and success possibility of development. A case study was conducted by a tool set that realized part of the proposed approach.     

基于备件方案的多态PMS可靠性仿真模型

针对多阶段任务系统(PMS)的备件问题,构建基于Monte Carlo方法的仿真模型,给出具体的算法流程。该模型以多态结构函数为基本输入,产生等价于基本设备寿命实现值的随机数,代入仿真模型,经过逻辑运算和统计分析得到系统的可靠度,为多态PMS的备件决策提供依据。应用Matlab软件进行仿真实验分析,结果表明该方法具有较高的仿真精度。     

重用部件的建模和管理中若干问题的研究

部件重用技术得到了广泛的应用,其中部件的建模和管理是关键的技术内容。该文从部件的描述与存储这两个建模问题以及部件的检索与重用度度量这两个管理问题出发,给出了相应的解决方案,这些模型和算法已经在实际的应用系统或原型系统中得到了体现和初步验证。     

基于XYZ/SE的软件部分正确性验证

针对软件形式化描述和正确性验证研究中存在的问题,提出了基于XYZ/SE的统一框架研究该问题。在该框架下,基于逐步求精思路对软件进行抽象;对软件整体进行形式化描述和部分正确性验证;对抽象得到的软件各部分进行形式化描述和部分正确性验证;进行调整和验证,即：如果推导结果与预期不一致,则需要重写相关程序或者回溯检查推导过程是否存在错误,直至程序部分正确性得到验证为止。以国库信息处理系统为对象,分析了基于XYZ/SE的统一框架性能。分析表明,基于该框架能够对软件的不同抽象层次进行规范描述,实现从抽象（静态语义）到具体（动态语义）的平滑过渡。同时,基于XYZ/SE的统一框架也可以表示Hoare逻辑推演规则。