基于范畴论的构件行为组合研究

针对基于构件开发过程中单个构件功能难于满足用户需求的问题,提出一种利用范畴论对构件行为进行组合的方法,用以实现复杂的业务功能。采用范畴论给出构件的形式语义描述,构件与构件之间的行为交互关系采用图表进行建模。给出一种基于图表推出的构件行为组合方法与推出运算的算法实现。实际应用结果表明,该方法对构件的形式化描述更加精确,构件组合也更加有效快捷。     

基于构件的工作流建模研究

采用范畴论,把工作流过程模型中的元素抽象为工作流构件,模型中的逻辑次序抽象为构件之间的态射关系,提出一种基于构件的工作流范畴模型。利用范畴推出运算,给出工作流构件的组合操作语义,并用实例进行分析。     

构件式体系结构模型映射的形式化语义

语义一致性是模型驱动开发中模型转换正确性的一个重要标准,但目前模型转换中语义特性保持的定义、描述和验证仍是一个尚未解决的难题.基于软件体系结构,利用范畴理论和代数规范形式化描述体系结构模型及其间的映射关系,使之具有精确的语义.体系结构模型的形式化语义用类型范畴图表来表示,态射合成被用来追踪构件模型之间的关联和映射,不同层次模型间的映射关系用态射和函子来形式化描述.以此为基础,进一步分析了模型转换应保持的语义特性.范畴理论支持图形化建模,可以使模型中的构件关系以及结构特征可视化,有利于对模型转换的理解和追踪.应用研究表明,该描述框架很好地把握了模型驱动开发的实质、过程和要求,为模型转换和模型驱动开发提供了新的认知、设计和语义计算的指导架构.     

基于构件运算的可重构系统代数模型

可重构系统是指一个系统由构件组成,随着构件被替换以及组合拓扑关系的变化,系统表现出不同的功能.针对可重构系统在形式化和重构建模方面的不足,用代数学方法对可重构构件、构件组合、可重构系统的属性和行为特征进行抽象,把构件组合定义成构件的"运算"实现,结合进程代数中算子的概念,定义了多种构件组合运算,建立了可重构系统的代数模型.在代数模型基础上,提出了重构建模和重构范式,为可重构系统提供理论支持,最后介绍了应用案例.     

基于模型驱动的构件库系统的研究与设计

软构件库是开发可重用软构件和基于软构件开发两个生命周期的联系中介,在软件开发过程中都离不开建模,该文提出基于模型驱动的软构件库系统,将系统建模与软构件的分类入库与检索有机地衔接起来,以便在分类过程中不仅考虑单个软构件的描述信息而且考虑软构件之间的连接关系,从而方便我们对软构件库的建设与管理。     

构件演化的配置管理研究

分析了基于构件的软件开发过程中构件演化对配置管理的新挑战，探讨了配置管理的对象，提出一种管理构件之间的关系方法以跟踪构件演化活动，从而配置管理能很好地支持构件的演化。     

基于领域特征空间的构件语义表示方法

在基于构件的软件开发范型中,构件模型是构件分类、检索和适应等关键任务的理论基础,然而构件模型中的语义表示方法一直是一个难点.提出一种以语义为核心的构件模型,采用基于领域分析的特征空间语义定义方法,从领域空间、定义空间和语境空间三个方面刻画语义结构,用描述逻辑表达语义内容及实现自动推理,尤其是文中的构件语义体概念和特征空间形式化方法,为构件复用自动化和工程化提供了一种可能的解决途径     

构造基于构件依赖关系矩阵的元数据模型

构件集成到应用环境中实施集成测试时,会与其它构件产生相应的依赖关系.本文在对这些依赖关系进行概述的基础上,给出了构件直接依赖图、构件间接依赖图和构件依赖图的定义,并依据这些定义,提出了构件依赖矩阵(CmDM)的概念,用以描述构件Cm与构件系统中其它构件之间的依赖关系,接着进一步定义了复杂依赖关系矩阵(CmDDM),用以对依赖关系矩阵(CmDM)进行更为详细的描述.对依赖矩阵方法在回归测试、构件变更处理和软件重用的应用方法进行了形式化的描述,进一步将基于依赖关系矩阵的方法应用于学校内部开发的构件RegisterStuGrade 中,并另外选取了三个与之有关的构件,对其依赖关系进行分析,建立相应的构件依赖关系矩阵和复杂依赖关系矩阵,并与Orso方法、Spec方法(基于规范说明的方法)所生成的测试用例对于构件RegisterStuGrade源代码的覆盖情况进行了对比,从而证明了本方法的有效性.     

基于OCL的服务构件特征语义描述模型

构件的语义特征是构件检索的主要依据,也是构件库的重点研究内容.然而,由于网络系统中存在分布、动态、数量众多的服务构件,很多构件之间存在一定的关联和依赖,因此如何有效地描述这些服务构件特征间的关联,是构件库管理模型需要进一步研究的一个重要问题.提出一种基于特征的构件语义描述模型,首先分别给出特征、特征空间和构件特征空间表示模型的定义.接着将构件特征间的各种关联和依赖关系分成自身约束、父子关系约束、显性约束和隐性约束4类,并采用对象约束语言对这些关系进行形式化描述,从而为模型提供了精确的语义支持.面向电子商务的构件特征子树的实例研究及其模型验证和实验结果证明了该模型的正确性与有效性.     

面向重构建模效率的构件组织方法

企业应用系统面临频繁的重构,重构建模的效率是影响系统重构性能的关键因素,而构件技术则是改善建模效率的有效手段。在提出基于特征的业务构件模型之后,研究构件之间存在的结构和语义依赖关系,并分析了构件组织方式与建模效率之间关系。基于此,给出基于独立构件集的构件组织方法和独立构件集划分方法,形成多粒度构件共存的构件组织方式,从而提高重构建模的效率。     

软件构件管理与重用方法探究

软构件技术是影响整个软件产业的关键技术之一，软件重用在提高软件生产率与质量、减少软件开发时间和成本等方面起到了关键的作用。从软构件的基本属性出发，讨论了软构件的分类原则、描述方法等软构件的管理技术，以及构件重用中的研究热点——构件检索方法，并对软件构件对软件产业造成的影响做了分析。     

软件构件管理与重用方法探究

软构件技术是影响整个软件产业的关键技术之一,软件重用在提高软件生产率与质量、减少软件开发时间和成本等方面起到了关键的作用。从软构件的基本属性出发,讨论了软构件的分类原则、描述方法等软构件的管理技术,以及构件重用中的研究热点——构件检索方法,并对软件构件对软件产业造成的影响做了分析。     

软构件的管理、标识与检索技术

分析了可重构ERP面临的问题，阐述了构件管理的基本要求，研究了构件的分类体系以及构件实体属性描述方法，运用构件代码实现其标识，应用实体语义相似性系数和领域语义字典实现对构件的检索，为开发和研究新一代可重构的ERP系统创造了条件。     

Software component identification and selection: A research review

Nowadays, with the development of software reuse, software developers are paying more attention to component-related technologies, which have been mostly applied in the development of large-scale complex applications to enhance the productivity of software development and accelerate time to market. Component-based software development is well acknowledged as a methodology, which establishes the reusability of software and reduces the development cost effectively. Two crucial problems in component-based software development are component identification and component selection. The main purpose of this paper is to provide a reference point for future research by categorizing and classifying different component identification and component selection methods and emphasizing their respective strengths and weaknesses. We hope that it can help researchers find the current status of this issue and serve as a basis for future activities.     

一种面向对象的软件复用框架

本文利用面向对象技术,提出了一种面向对象的软件复用框架,该框架采用面向对象的类来实现构件,为了提高构件库的组织管理效率,采用为构件库建立多个索引链等策略,构件检索采用模糊查询和详细查询的两个阶段来实现,构件集成采用基于星型拓扑结构的构件集成方法。     

基于CCM的构件组装技术的研究与应用

随着计算机网络技术的应用发展,分布式构件技术成为分布式计算领域的热点,CCM就是主流的分布式构件技术之一。分析了CORBA构件模型（CCM）的特点：即通过端口定义构件对外提供的功能、通过端口定义构件所需要的外部功能,构件通过端口进行组装。在产品生命周期管理（PLM）中的供应链管理系统（SCM）中充分应用了CCM及其端口组装方法,实现在分布式环境下软件构件的即插即用功能,使SCM系统具有良好的可移植性和平台无关性。     

基于特征的面向多领域的软件构件描述

目前,基于构件的软件开发模式被软件开发商广泛接受,因为这种模式可以提高软件的质量、降低软件开发和维护的成本.构件描述是构件检索和复用的基础.本文提出了一种基于特征的、面向多领域的构件描述方法,包括构件功能、应用环境、构件关系、构件质量、其它等五个部分.基于构件的软件开发模式在大规模推广的情况下,构件流通必定成为构件产业化的关键环节.基于特征的构件描述方法解决了构件流通过程中语义理解困难,促进了领域构件标准化的推广.     

一种可重用构件的设计方法

随着计算机硬件的迅猛发展,软件变得越来越复杂,如何迅速高效地开发出易扩展、易维护、对需求变化具有适应性的软件成为一个急需解决的问题,基于构件的开发是解决这一问题的良好思路,而可重用构件及其结构的设计与优化是其中的关键,首先对现有的构件设施地简要介绍和评价,对构件模型进行卫定义,并给出了玫般情况下构件设计的步骤,然后在此基础上,用定性与定量相结合的方式,给出了玫种标识和设计构件的方法,以及相应的算法     

构件关系语言的创建与应用

在对构件库中的构件进行修改和组装时,总会涉及构件间的关联问题,例如构件A的实现依赖于构件B,那么在用A进行组装时也必然会用到B.目前,对构件间关系的描述和应用多是在构件模型中实现的,这样做使构件模型变得复杂,而且难于实现对构件关系的推导.将构件间关系从构件库中抽取出来,由构件关系空间统一描述,并创建构件关系语言来实现对构件关系的描述和推导.     

基于构件组装的网站系统开发过程研究

如何结合实际应用要求实施基于构件组装的网站开发过程是一个值得研究的课题。文章根据构件技术的发展,提出一种基于构件组装的网站系统开发框架,并研究了网站构件的开发与组装方法,将这一技术应用到精品课程网站系统的开发中,结果表明了该方法的有效性。