形式化方法对构件库管理系统支持的探讨

依据网上信息收集系统构件库中构件的开发和管理经验,提出一种构件模型,并阐述了此模型对基于语义的构件检索构件组装和构件演化的自动化支持     

面向服务的软件体系结构的形式化

用形式规格说明语言Z对面向服务这样一种新出现的分布式软件体系结构进行形式化，克服了原先面向服务体系结构的非形式化描述中的限制，为更好地进行面向服务的分布式软件开发提供了指导模型。     

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

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

面向构件的软件开发方法学研究

文章以集成供应链管理软件的研究开发为背景，从中抽象出面向构件的软件开发的一般过程，原理和方法，首先提出构件化软件开发的过程模型，阐述与过程相适应的阶段和内容划分思想以及机制，进而阐述领域工程及需求分析方法，重点探讨构架和构件设计思想及多种建模方法的综合应用，给出基于软件体系结构风格和形式描述的构架模型和构件模型，最后给出构架与构件实现的典型案例，所提出的过程论和方法论具有一定的理论系统性和工程实践基础。     

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

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

形式化方法在软构件中的应用综述

文章着重对形式化方法在软构件中的应用做了综述,总结近年来国内外已经对该问题所进行的研究,提出或应用了哪些新方法和新技术．取得的成效,以及还存在的不足之处。     

基于构件开发与传统面向对象开发之比较

基于构件的软件开发(CBSD)是一种新的软件开发方法,构件技术是它的核心。构件技术以面向对象技术为基础,并很好地发展了面向对象技术。使用基于构件软件开发可以设计出质量好、可靠性高、可重用性好、可维护性好的软件。现在有很多应用软件都是采用基于构件的开发方法。文中概述了构件及CBSD方法的系列核心概念,比较了基于构件软件开发和面向对象软件开发(OOD)的异同。     

基于构件开发与传统面向对象开发之比较

基于构件的软件开发（CBSD）是一种新的软件开发方法,构件技术是它的核心。构件技术以面向对象技术为基础,并很好地发展了面向对象技术。使用基于构件软件开发可以设计出质量好、可靠性高、可重用性好、可维护性好的软件。现在有很多应用软件都是采用基于构件的开发方法。文中概述了构件及CBSD方法的系列核心概念,比较了基于构件软件开发和面向对象软件开发（OOD）的异同。     

硬件构件的形式化描述及其组装机制

针对构件化的路由交换平台设计,提出硬件基础构件的抽象模型及其内部处理流程的形式化描述,提取出顺序、并行、分支以及聚合4种原子组装机制,用于构建更高层次的复合构件,并推导出复合构件抽象模型及其处理流程的形式化描述,从而有利于抽象出更大粒度的构件用以组装复杂的硬件平台。     

基于UML和组件的应用软件开发技术研究

讨论了软件工程领域两个热点问题:UML语言和组件技术的应用问题.在此基础上,开发了电子对抗信息处理的应用软件.经实际应用表明,该技术工程化特点突出,易于应用、评估,可用性强.所开发出的应用软件效率高,可视化程度好,定时性较强,在该工程中发挥显著的应用效果.     

软件可靠性及其评估

介绍了软件可靠性问题的来源,阐述了软件可靠性的定义、软件的失效机理、及软件可靠性与硬件可靠性间的差异,并提出了基于模糊数算术运算的软件可靠性估计方法。     

系统软件开发过程中的软件工程技术

因为系统软件的复杂性和特殊性，如何控制和管理系统软件的开发过程是直接关系到开发成败的重要问题。本文认为系统软件不同于应用软件，有其自身的特点和规律。现有的应用软件开发方法和软件工程技术不能完全满足系统软件开发的需要。本文结合一个编译系统开发的实例介绍了系统软件开发过程中的一点经验和体会。     

搭建式软件开发技术研究与应用

为适应软件开发对业务敏捷性和即时构造性的新要求,采用面向服务的思想,对搭建式软件开发理论和技术进行了研究和实现。与已有的开发模式相比,搭建式开发技术的优势在于它能将工作流、W ebG IS集成到一个面向服务的可视化的搭建平台中。通过电子政务系统的搭建过程表明,搭建式开发技术具有按需、即时、实用的特点,增强了企业的竞争优势。     

构件化效能监督信息系统设计与实现

分析了效能监督信息系统的需求,采用基于UML的系统建模方法,通过建立系统用例图和活动图对系统流程和功能进行分析,建立了系统各部分的功能模型和对系统进行了总体设计,并实现了系统构件,再将这些构件组装起来,完成了一个实际系统。     

一种软件构件测评模型SCTEM研究及其应用

软件构件技术是软件设计发展的主要方向,在许多领域得到广泛的应用.首先分析构件的定义以及构件的特点,在此基础上提出构件测评模型(SCTEM),最后利用这个模型对政务信息化平台中的CA认证模块进行构件化程度的评测.     

基于J2EE平台和构件的软件开发过程研究

构件是搭建应用软件的可复用组件,它是实现软件复用的关键性因素,也是当前软件开发技术中的研究热点.J2EE平台是当前流行的基于Java组件的企业级应用软件的开发框架.这两种技术的结合目前在国内还没有较深入的探讨,将这两者相结合,提出在J2EE平台下基于构件的软件开发过程,并着重讨论基于J2EE平台的构件抽取、映射和设计方法,最后结合中国石油管道生产系统中的工作流系统对以上方法进行具体说明.     

迭代算子及其在可重用软件研究中的应用

迭代算子在循环控制机制抽象和可重用软件研究中有十分重要的作用，已有１０多年研究历史，然而，至今对什么是迭代算子尚无确切和统一的定义，严重影响了对这一概念的理解，也阻碍了它的广泛应用，本文在分析研究现有各种迭代算子概念局限性的基础上，将迭代算子定义为包含于组合数据类型内部的抽象数据类型，得到了一种通用迭代算子模式，并给出了分立迭代算子和集成迭代算子的概念和模式，最后以实例说明了它们在可重用软件开发中的作用和使用方法.     

IC CAD软件的开发和维护

首先分析了集成电路计算机辅助设计（ＩＣＣＡＤ）领域软件开发、集成和维护等软件活动的特点，在此基础上提出以基于复用的速成原型开发来支持ＩＣＣＡＤ工具软件和框架软件的开发，以再工程的概念来统一软件剪辑与复用、原型优化、系统集成、软件维护等从已有代码出发的工作，并且介绍了支持ＩＣＣＡＤ软件的速成原型开发和再工程活动的ＩＣＣＡＤ软件开发和维护环境。     

嵌入式软件中一种修正QoS值的构件选择方法

CBSD(Component-Based Software Development)已经成为嵌入式软件开发的主流技术。在嵌入式环境下,有大量功能相似的构件,在开发过程中基于QoS的构件选择已成为研究热点。然而这些构件的QoS声明与提供者给出的往往并不一致。为此,提出一种基于修正QoS值的构件选择方法,该方法将QoS信任度作为权重,修正QoS值,再结合模糊逻辑,推理出该构件的综合服务能力。通过嵌入式VOD仿真实验,验证了算法的有效性,保证了构件选择的客观性和准确性。