基于分层的过程构件分类描述的研究与应用

在以标准过程为基础的过程复用中,为解决传统的基于标准过程裁剪中标准过程只有单一抽象层次,造成裁剪工作量大的问题,提出了创建多抽象层次标准过程以满足不同应用需要;对相同功能不同抽象层次的过程采用继承机制简化定义,并根据现有的构件描述框架对不同层次的标准过程给出了不同的描述方案。最后通过一个实例对标准过程构件的分层结构与继承机制的描述方案进行了实现,并取得了一定的成效,为企业实施过程改进提供借鉴。     

一种自动气象站嵌入式软件构件裁剪算法

为了解决自动气象站嵌入式软件构件冗余度大,不利于低网速环境下远程更新的问题,提出了一种自动气象站嵌入式软件构件裁剪算法,将算法分为预处理、函数信息表的构造、有序二叉树和状态转移及文本指针跳转表的构造、函数调用树的构造、函数的裁剪几个阶段,并对每个阶段作了详细介绍。根据提出的裁剪算法,实现了一个嵌入式软件构件裁剪工具,设计了裁剪实验,并将裁剪前后的构件体积进行了分析对比。实验表明,算法能够有效地对自动气象站嵌入式软件构件进行裁剪,去除构件的冗余代码,大大提高远程更新的效率。     

基于层次消息的应用系统模型

在分析应用系统层次结构的基础上。提出了应用系统构件化的层次消息开发模型；描述了基于层次消息模型应用系统的抽象层次、组成构件及其结构特征、连接方式及其形式化的描述、消息及其形式化的描述，并给出了一套在该模型下开发的建议规范与方法。     

一种软件过程建模语言SPML的设计

本文提出了一个具有丰富语义、灵活的、可扩展的、形式化的软件过程建模语言SPML。它提供了两个不同抽象层次的描述语言以满足不同用户的需求。高抽象层次的语言SPML／H能够较全面地描述软件过程,具有良好的易用性;低抽象层次的语言SPML／L可以描述规则等,适合描述软件过程的细节。SPML／H还能够被逐步地变换成SPML／L,保证了软件过程模型可以在一个共同的形式化基础上被分析和运作。最后通过一个实例说明过程建模语言的有效性。     

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

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

基于构件的领域开发过程研究

结合构件和领域工程的相关原理和关键技术,对基于构件的软件生产过程进行研究,分析运用构件进行软件应用系统的开发方法,描述了构件开发的流程。并在领域工程基础上,抽象出面向构件的领域开发的一般过程和方法,提出了基于构件的领域开发过程模型。电信物资管理系统应用实例也说明该模型对实际应用开发的指导意义。     

可复用构件组装技术研究

构件组装是基于构件的软件开发过程中的关键环节，组装机制又是构件组装中的核心问题。本文根据不同粒度构件组装行为的特点，对小粒度构件的低层次组装和大粒度构件的高层次组装机制进行了研究。探讨了用XML描述构件组装机制的方式，以及在J2EE平台中生成可编译的JAVA源代码的方法。     

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

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

领域本体和刻面描述相结合的构件检索研究

针对刻面描述的检索方法的不足,引入领域本体,提出领域本体和刻面描述相结合的构件检索模型,并对所提出的构件检索模型中的构件检索过程进行研究。分析语义推理过程,提出基于本体和刻面描述相结合的检索算法。最后,构建一个第三方物流信息化构件检索的系统对所提出的构件检索机制的检索效率进行验证分析。验证结果表明,领域本体与刻面描述相结合可以提高构件检索的查全率和查准率。     

Internet平台下的构件描述模型

为了使构件使用者能很容易地理解构件的功能及其属性,对构件作一个清晰的描述是非常必要的。随着构件技术和Internet技术的发展,构件的结构和构件软件框架发生了变化,急需一种能描述在Internet平台下的构件的描述模型。本文概括出一个四元组的构件描述模型,为构件异构问题的解决提供了一种方法。     

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

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

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

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

中小型软件企业过程裁剪方法及应用研究

本文结合作者的实际工作经验,以作者所在企业的过程裁剪规范为样例,从过程裁剪的目的、过程裁剪的依据、过程裁剪的内容、过程裁剪的步骤等方面出发,论述了中小型软件企业在推行软件工程化过程中,如何根据不同的项目特性对组织标准过程进行裁剪,形成适合项目的软件开发过程。     

软件演化过程体系结构研究

软件过程与软件之间有着非常紧密的联系.借鉴软件体系结构SA的有关概念,提出了软件演化过程体系结构SEPA,试图用SEPA在总体上描绘出软件演化过程的蓝图.给出SEPA的相关定义、研究目的和意义,并对SEPA的描述工具以及风格进行论述,最后提出了一种基于SEPA和过程构件的软件演化过程设计方法.     

软件开发过程定义裁剪研究与实施

定义了软件项目开发过程定义裁剪的流程．详细地描述了裁剪的操作步骤,对项目特性进行研究和裁剪影响进行分析．针对不同的项目特性进行裁剪过程研究,得到不同的项目过程．为项目的过程定义提供指导并给出具体的实施方法。     

构件形式化描述与模糊检索研究

在软件复用研究不断深入的情况下,构件的准确描述与高效检索已成为面向构件的软件复用研究的热点和难点.本文参照3C构件模型,提出一种基于形式化方法的、可扩展的构件描述模型,包括构件的功能描述、接口描述、环境依赖描述等,并保留了构件关键字、非功能属性等描述项.在此描述模型基础上提出了构件的分步检索法,并着重论述了包含四级模糊度的构件形式化检索方法,以提高构件的查找效率并兼顾查全率.     

基于语义扩展的构件描述模型

根据构件模型的研究现状,针对目前的构件描述模型缺乏语义描述的支持,在刻面分类模式的基础上,提出了基于语义扩展的构件描述模型,采用OWL本体语言对构件本体的知识框架做了描述,并将此构件模型应用于教学评估系统,构造出了基于语义的软件构件检索体系构架,实现了对领域构件进行语义查询的目的.通过实验证明,该模型提高了构件检索的查全率和查准率.     

基于线性时序逻辑的实时系统建模与求精

线性时序逻辑语言XYZ／E在统一的语义框架下．能表示从高层需求规范到低层实现模型之间的不同抽象层次的系统描述，也适于描述实时系统的模型和逐步求精过程．本文提出了一种基于构件的实时系统求精方法，并给出一个具体实例一电梯控制系统，采用XYZ／E语言描述了该系统的模型及其求精过程．     

基于本体的构件匹配

OWL是W3C推荐的Web本体语言,可以加强本体语言的描述能力,然后用强化的Web本体语言描述构件库中的构件。接着本文提出一种方法,从构件操作描述和构件交互协议这两个方面对用户的需求进行描述。根据描述后的需求,用户就可以简单高效地在构件库中找到相匹配的目标构件,进而更好地实现分布式环境下的构件重用。     

面向对象的可信构件网的组装研究

以当前可信软件研究中的一个热点问题——基于构件的可信软件构造及其关键理论和技术为主要内容开展研究工作。在前期的工作中,根据面向对象的思想对Petri网进行扩展,提出了基于面向对象思想的可信构件网,从而 对构建的基于构件的可信软件模型中的可执行的构件集进行描述。 在描述的可信构件网模型框架中,将讨论两个构件基于连接件的并行组装、选择组装、顺序组装、循环组装。通过连接件的连接作用,根据一定的组织关系协调构件之间的关系,最终将组合的构件形成一个有机的整体。