支持管理在线构件的基本构件描述模型

在构件管理中,构件描述起着非常重要的作用.随着构件技术的发展和网络技术的发展,在线服务构件日益增多,为了支持对在线构件的管理,急需一种能描述在线构件和离线构件的基本模型.本文提出了一种支持管理在线构件的构件基本描述模型(BCDM).该模型以BIDM为基础,扩展了其结构,增加了管理在线服务构件所需的必要特性的描述,可以有效地支持对在线构件的描述与管理,并为构件库之间的互操作奠定了基础.     

一种支持构件服务质量的构件管理框架

软件构件库是有效地管理软件构件的基础设施．分布式构件技术的发展，使得构件库除了管理传统下载使用的构件外，还必须能够管理日益增多的在线使用构件，并为在线构件服务质量提供相应的质量保证与支持．针对这一问题，本文首先引入了构件服务质量模型及相应的质量属性量化方法，同时给出相应的规约描述，然后提出了一种基于上述模型和规约的支持构件服务质量的构件管理方法，并描述了该方法在青鸟构件库管理系统(JBCLMS)中的实现．     

面向服务的构件开发方法研究

针对面向服务的应用系统开发缺乏统一服务模型与成熟开发方法的问题,对服务的模型与开发方法展开了研究。分析了服务与构件的相似性,提出了服务构件的概念和形式化模型,并对服务的基本结构、交互方式进行了统一、抽象和描述。在此基础上,提出了一种支持服务资产广泛复用的面向服务构件开发方法,并分析了该方法求解群体问题的效率。     

JBEOS：一种构件化的嵌入式操作系统

构件化嵌入式操作系统是基于构件的软件开发方法存嵌入式操作系统领域的应用．当前的构件化嵌入式操作系统在系统结构、构件模型、系统构造方法及工具支持等方面各有不同．与现有研究相比较，本文所介绍的构件化嵌入式操作系统JBEOS的特点主要表现为：直接从已编译的二进制目标文件制作可复用构件；基于XML的构件描述语言XCODE描述软件构件；目标运行系统通过系统所提供的构件服务在启动时动态构造等。     

一种支持构件关系描述的构件库信息模型

随着软件复用技术研究的深入和软件构件库应用规模的扩大,构件库中构件的种类日益增多,构件间关系日渐复杂。这就需要对传统的构件库信息模型进行扩展,在完整描述构件自身信息的基础上,增加对构件间关系信息描述的支持。为了有效地发挥构件库的作用,提出的软件构件库信息模型在已有模型的基础上采用刻面描述机制并增加了对构件间关系的描述,利用该模型不仅可以有效地描述构件的各种信息,还使得用户可以根据构件之间的关系检索构件。     

一种支持变化性的构件模型JBCOM/E

在基于构件的软件开发中,构件模型是基础,领域变化性是关键因素之一.为此,本文在原有构件模型的基础上,提出了抽象构件的概念,使之能对一族具有领域共性和变化性的构件进行定义与描述.文中就抽象构件的定义、规约语言描述以及相应的构件组装和构件管理等问题进行了讨论,定义了一种支持变化性的构件模型JBCOM/E,并给出了一个应用实例-青鸟POS领域平台.     

构件可信性验证研究

基于构件"开发与应用"两者相分离的特点,提出了一种面向用户的构件服务承诺机制.为创建该机制,从构件提供者角度,定义了面向方法序列的构件服务,给出了构件服务遵循的完备性质,并提出一种符合完备性质的构件服务产生方法.这种产生方法给出一种清晰的构件服务形式化描述即提供构件服务的"承诺"机制,并且这种描述是第三方可验证的.相关性质的证明以及示例分析验证了该机制的可行性.     

基于领域特征本体的构件语义描述和组装

构件的功能语义是复用者了解并判断构件可复用性的重要依据，因此必须在构件开发者和复用者共同的知识基础上进行构件描述．目前已有一些方法引入本体作为构件语义描述的基础，但仍然存在语义描述不够精确以及无法支持语义的组装推导等不足．引入了领域分析中提出的基于本体的领域特征模型作为构件语义描述基础，在此基础上给出了构件端口语义、静态语义、语义协议的定义以及语义组装算法．基于构件静态语义和组装算法可以在构件组装时进行语义合成，从而辅助开发者进行基于语义的构件适配和组装分析．     

一种语义为中心的分布构件系统故障诊断建模方法

随着分布构件技术的发展，复杂的分布构件系统故障诊断问题越来越受到人们的重视．然而，现有的大多数分布构件系统故障诊断的研究没有充分考虑系统语义这一重要因素．文章提出了一种新颖的语义为中心的分布构件系统故障诊断思想．系统的语义主要由系统正常或者异常时的结构和行为特征构成．在给出基于模型的故障诊断问题定义之后，提出了具有复杂时序语义表达能力的系统逻辑模型编辑方法，通过在Horn短句中增加时序描述来增强诊断模型的表达能力．这种模型不仅对分布软构件系统具有较强的表达能力，还能够很好地利用现有的一阶逻辑定理证明器求解极小诊断问题，它并不需要具有高级时序逻辑处理能力的定理证明器的支持．另外，通过哲学家就餐问题还从直观上阐明了这种新颖的模型编辑方法．StarCCM的诊断子系统由诊断引擎、诊断代理、诊断回调接口构成．它证明这种模型编辑方法能够有效地解决分布构件系统的语义诊断问题．     

基于属性描述的构件分类及检索方法

构件技术是继OO(面向对象)技术后又一改变软件产业发展的技术,随着构件数量的增加,对构件的搜索成为了一个热门的研究课题.在总结已有构件搜索方法的基础上,从基本信息、外部信息和所需环境三个方面对构件进行描述,提出了一种基于属性描述的构件分类检索方法,并对其实现做了详细讲述.     

基于Pi演算的构件演化研究

确保构件系统的一致性是构件演化的根本目标．根据构件交互过程，借鉴Pi演算的类型系统和进程构造方法，提出构件交互的类型系统和基于交互的构件模型，为确保构件服务端口和交互通道的正确行为，给出服务的端口类型和通道类型．以此为基础，结合Pi演算中良类型的思想，提出一致性构件系统的概念．然后，结合构件演化的特点，给出能保持系统一致性的构件静态演化和动态演化规则．最后，给出非一致演化的恢复方法．     

一种基于关联挖掘的自适应构件检索方法

构件复用过程中，用户常因对构件描述机制认识有限而难以提出准确的检索需求，从而影响查准率．针对基于刻面描述的软件构件，借鉴数据挖掘中关联规则挖掘的有关理论，提出了带有用户反馈的自适应构件检索模型以及基于关联挖掘的自适应学习算法，从用户检索的历史记录中挖掘用户的显式检索条件与隐性检索需求之间的内在联系，从而完整化和精确化用户的检索条件，提高构件检索的查准率．同时，用实验结果证明了该方法的有效性和可行性．     

一种构件标签自动提取方法及其实现

基于构件的软件复用的前提之一是存在并能够找到大量可复用的构件,软件构件库是对软件构件进行管理的基础设施,其作用是对大量构件进行管理,并辅助软件开发者找到合适的构件.在构件库中,基于构件标签的分类管理是一种新型的构件信息分类管理方法,该方法使用构件标签(Tag)对构件进行管理,并支持用户通过选择标签进行构件检索,该方法能够更直接的反应构件的特性,并能够有效提高检索效率.然而,由于构件库中许多构件没有构件标签,而通过人工的方法为构件库中存在的构件资源添加标签需要耗费大量的时间和人力资源,特别是当构件数量较大时,通过人工方式为构件添加标签是难以实现的.因此本文提出了一种基于分类的构件标签自动提取方法,该方法能够根据构件描述信息自动提取构件标签.本文对基于该方法的构件标签自动提取工具的实现进行了论述,并通过实验验证了该工具的有效性.     

模型驱动的EJB构件测试建模研究

基于对Web系统的特点研究，提出了一个全面测试Web系统的框架．并基于模型驱动的软件测试思想（MDT），重点研究了此框架中的中间业务逻辑层的测试建模方法：定义了一个平台相关的测试模型（硎）——EJB构件测试模型；并给出了对它的模型复原算法和模型一致性检测方法．该测试建模方法，从软件构件的层次，实现了EJB静态结构和动态行为的建模，并通过模型一致性检测实现EJB代码的潜在缺陷检查．这一测试模型将为测试用例和测试数据的生成提供有力的支持．     

基于环境变迁的构件组合模型

Internet为分布构件的重用提供了平台，准确、高效的构件组合是新型软件生产的重要环节．针对新一代的软件模型．网构软件，本文首先建立了构件的环境本体，并提出将变迁图作为刻画环境本体的模型；其次提出了基于环境及其状态变迁的构件描述框架；然后针对网构软件的特征，提出了基于环境变迁的构件组合算法，最后用具体的案例展示了算法的可行性．     

构件复用的Web化支撑模型研究

本文基于一种以网络、Δgetn及领域为基础的Web化构件复用支撑模型,简述了其采用的框架模板表示方法及对构件化软件的分层规范:构造了领域框架、构件的分布式描述类库,提出以多Agent的手段实现分布式的构件搜索、管理,描述了各Agent的主要逻辑及相互协同关系.原型实现中使用了ASP、Java、JDBC、SQL等工具,并在实际开发中进行了应用试验.     

面向Web领域的构件库系统的设计与实现

软件复用技术被认为是解决软件危机的有效方法,可以大幅度提高软件开发效率和质量,其核心是建立可复用构件库系统.构件库系统最主要的问题是如何对构件进行准确描述和分类,以便更快、更准地查找到用户需要的构件.在此采用刻面分类方法在Web应用开发领域中建立软件构件库,完成了构件的定义和准确描述及分类.确定了构件的存储模型,采用关键字检索和刻面分类检索两种检索方式,有效提高了检索效率和准确性,实现了在Web应用开发中对软件复用的支持.     

OSS中构件/服务的关联和控制

本文介绍了在DIOA(分布式面向接口的结构)下的OSS/BSS中的构件和服务的关联技术.这些技术将服务或构件"粘合",构成完整的OSS/BSS.文章的重点放在过程管理和策略管理方面,最后,对信息模型在这种关联中的重要性进行了描述.     

基于Petri网的构件组装运算及其性质

文章提出了构件的Petri网模型-构件网,并给出了构件组装的运算;定义了构件组装表达式,给出了构件组装的形式化描述,讨论了构件组装运算的性质和特点,从而提供了对组装构件进行自动分析和验证的方法。     

基于规范的软件构件测试技术研究

构件和基于构件的软件工程已成为软件工程领域的热点,其中有很多工作致力于研究如何构筑构件,却忽略了构件的测试工作。构件接口测试往往采用基于规范的功能测试,提出的构件规范说明从3个层次对构件本身的语法、语义、交互方面进行了描述和定义,并以此为基础转化生成测试模型,生成测试用例,对构件进行的功能测试方法。