可复用构件的制作和组装

软件复用和基于构件的软件开发是软件工程化开发和工业化生产的必然趋势,可复用构件的制作和集成组装是其中涉及的两个重要活动.本文提出软件复用的条件、环境和注意问题,以及支持接口连接式和插头插座式体系结构的构件模型和基于体系结构的构件集成组装框架,并讨论给出构件的制作和组装过程.     

基于UML的软件构件进化模型

在统一建模语言UML(Unified Modeling Language)的基础上提出应该从平面关系和进化关系两个方面来支持面向对象软件的开发。平面关系强调以各种视图显示软件构件(包括分析设计模型元素和代码模块)的体系结构;进化关系是指软件构件被引入系统、发展、实现、再扩充直至灭亡过程中的变换关系。提出并详细介绍了基于UML支持环境中的进化模型。进化模型系统描述了进化关系,并支持UML各模型之间的转换和各开发阶段的平滑过渡。     

基于Petri网的构件组装模型

针对形式化语义对构件组装和演化描述能力不足的问题,提出了基于Petri网的构件组装模型.以Petri网系统表示构件的静态组装结构,用网中标识在库所中的流动来模拟构件的动态运行过程;构造了6种具有普遍适应性的构件组装运算,给出了构件Petri网的动态运行规则,并通过案例演示了构件Petri网的演化和组装运算过程.为了支持对构件演化过程中波及效应的量化分析,从可达标识图中抽象出构件影响因子用来描述相关构件耦合度的大小,并用以度量构件系统演化时的影响度.该模型可应用于基于构件的软件系统的体系结构描述及构造过程的演化分析.     

可复用构件的制作和组装

软件复用和基于构件的软件开发是软件工程化开发和工业化生产的必然趋势 ,可复用构件的制作和集成组装是其中涉及的两个重要活动 .本文提出软件复用的条件、环境和注意问题 ,以及支持接口连接式和插头插座式体系结构的构件模型和基于体系结构的构件集成组装框架 ,并讨论给出构件的制作和组装过程     

基于struts的领域构件存储管理系统

分析了领域构件的特征和形态,提出了一种领域构件表示模型,在该模型基础上可以实现领域构件的存储.然后介绍了struts框架及其实现机制,给出了基于struts的领域构件存储管理系统的系统架构,并介绍了煤矿安全领域构件存储管理系统的实现.     

一种自管理的轻量化网格平台参考模型

为提高开放环境下网格平台软件的适应性、重构性和可管理性,采用构件作为功能实现载体,以服务作为功能组织手段,并集成轻量化和自管理特征,提出了一种用于指导Internet环境下网格平台设计与构建的新型参考模型.深入阐述了参考模型的体系结构,描述了网格平台按需构建、执行和撤销的三阶段工作过程,给出了具有监控、决策和控制能力的自主服务构件形式化模型描述;采用基于分层反馈控制的自管理架构,以服务构件的执行力分析模型作为决策基础,实现网格平台的自管理功能;最后,总结和展望了参考模型的研究工作.     

基于J2EE体系结构的MIS公共构件提取与设计

文章首先提出公共构件提取与设计原则,总结了MIS公共构件的2大类型:功能类公共构件和信息实体类公共构件;提出了针对两类公共构件的"MIS公共构件提取与设计过程模型".该模型分为3个阶段:公共构件提取、公共构件接口提取与初步设计以及公共构件基于系统体系结构的设计,并在淮北煤矿安全管理信息系统中给出上述过程模型和方法的应用.     

基于特征模型的构件识别方法研究

构件识别被认为是基于构件的软件开发过程中最重要的阶段之一。主要介绍如何根据构件特征和特征模型间的对应关系,运用聚类算法从特征模型中识别出业务构件。首先,给出特征模型的形式化定义,然后给出基于特征的构件模型的形式化定义,最后根据构件模型和特征模型的关系,运用聚类算法从特征模型中识别出业务构件。     

基于三层Client／Server模式的构件服务模型设计

针对基于构件的软件开发如何与面向对象方法有效结合,设计并实现高度灵活、可复用的构件式应用程序,从而实现软件分析、设计与实现的连续性与一致性问题,提出了基于三层Client/Server模式的构件服务模型,研究了从OOA＆OOD模型建立应用程序的构件服务模型的方法,同时给出了形式化的构件服务模型描述,这不仅为构件服务模型的形式化验证方法提供了新的研究思路,也为基于构件的软件开发提供了基础。文中的方法已成功用于实际的项目开发中,且取得了较好效果。     

基于构件的软件测试模型及方法

采用基于构件的软件设计方法是软件设计的新趋势.介绍了构件及基于构件的软件（CBS）的概念、特点以及由此引发的测试问题.概述了构件软件测试方法的现状,阐述了基于构件的软件黑盒测试方法及模型、白盒测试方法及模型,讨论并比较了两种方法的使用场合和异同之处.在此基础上,列举并比较了几种常见的自动测试方法和工具的基本原理.对构件软件的集成测试和性能测试等问题进行了讨论和分析,给出了构件软件测试的存在问题和研究方向.     

构件化软件体系结构研究

构件化软件开发是软件开发领域的一次重大变革,其系统体系结构也与传统软件系统结构不完全一致。通过对构件化软件体系结构的研究,提出了构件化软件二元体系结构模型,并分别对构件化软件的二元层次：水平层次和垂直层次进行了介绍。     

基于体系结构的软件分析设计过程模型

引入软件体系结构技术，将软件分析设计过程细分为需求分析、体系结构设计、系统设计3个阶段，并提出了基于体系结构的软件分析设计过程(SADPBA)模型，该模型是一种采用迭代增量方法将功能设计空间映射到结构设计空间，再由结构设计空间映射到系统设计空间的过程．应用函数理论对模型进行了严格的数学定义和形式化描述，确保设计结果满足完备性、一致性和正确可追踪要求．在扩展设计空间建立了需求规范与体系结构、系统设计间的可追踪机制，并建立了基于体系结构的软件分析设计开发环境模型．与传统软件分析设计过程相比，SADPBA模型有严格的理论基础和工程原则，解决了软件系统从需求到实现的平缓过渡问题，提高了软件分析设计的质量和效率．     

IAM模型在软件架构中的应用研究

软件体系结构作为系统开发的蓝图,已成为一个结合项目所有阶段的概念纽带,体系结构的建立是软件开发的关键所在。由于需求和体系结构之间模糊的关联关系,如何利用获取的需求进行软件架构的构建,是开发者面临的一个主要难题。文章基于CBSP方法建立的IAM模型成功地应用于淮北煤炭安全管理系统的开发中,该IAM模型在需求和软件体系结构之间架起了一个有效的桥梁。     

基于随机进程代数的软件体系结构建模与性能评价

软件体系结构是应用系统的逻辑框架,在设计阶段分析软件体系结构的各种性能指标,可以改进软件系统设计·提出一种基于随机进程代数(stochasticprocessalgebra简称SPA)的软件体系结构建模方法,该方法把软件体系结构建模与性能评价相结合,从而可以在系统设计阶段分析软件体系结构的性能·实践验证该方法更简单、有效     

软件体系结构动态特征建模与验证

针对软件体系结构描述语言在分析、验证软件构架动态行为中的不足,采用谓词/变迁(Pr/T)网为软件体系结构动态行为建模,并提出了基于线性时序逻辑的软件体系结构动态行为模型验证方法.首先根据体系结构层次模型扩展Pr/T网建立体系结构动态行为模型(DFM)并构造DFM的可达图,然后使用基于自动机理论的方法来验证模型的时态逻辑性质,最后通过对一个电子商务系统实例的并发控制机制建模和模型检测,验证了该方法的有效性.所提方法结合了Pr/T网和线性时序逻辑的优点,为进一步开展软件体系结构动态行为的分析、验证奠定了基础.     

软件系统的可靠性分配模型及优化研究

本文着重研究基于架构的软件系统的可靠性分配模型以及相应的优化算法,以最少的成本创建具有最优可靠性的系统,不仅考虑了开发成本的最小化,而且优化了软件系统的可靠性。本文所提出的模型和算法对于降低软件系统开发成本、提高软件系统可靠性具有一定的理论参考价值,并且能够在软件开发之前对已经设计出的软件架构进行预评估,从而预测软件系统的开发成本并对软件可靠性进行优化分配,具有较高的实际应用价值。     

基于超图文法的软件体系结构动态演化

提出用带约束的超图表示软件体系结构,给出基于超图态射的软件体系结构动态演化通用产生式规则的形式化语义和操作,定义类型超图作为体系结构风格,运用超图文法和体系结构风格建模软件体系结构动态演化.为了验证软件体系结构动态演化的正确性,采用模型检测技术,设计算法对软件体系结构动态演化性质进行形式化验证,并应用模型检测工具进行实验分析.该方法既提供了图形化的直观表示,又展示了基于文法的形式化理论框架.     

一种面向体系结构的软件系统自适应机制

在动态变化的分布式环境中,为了保证系统的正常运行,软件系统应能够根据环境的变化、系统运行错误及需求的变更调整自身的行为,即具有一定的自适应能力.提出一种面向体系结构的自适应机制,该机制采用了内置运行时体系结构作为驱动自适应的因素、选择自适应动作的依据以及实施自适应的载体;设计了适合分布式环境特点的三层结构的监控设施,提高了监控的效率和有效性;同时配备了满足不同用户需求的两种触发设施.该自适应机制不隶属于某个或某种运行系统,可为各种应用的运行系统添加自适应能力提供一个比较一般的、可重用的自适应框架.     

基于面向对象Petri网的软件体系结构描述语言

以面向对象Petri网为形式化理论基础 ,提出了一种基于面向对象Petri网的体系结构描述语言 (OP NADL) .与传统的体系结构描述语言相比 ,OPNADL能描述系统的静态和动态语义 ,可利用Petri网的数学分析方法对系统进行动态分析 ,能形象、直观地刻画系统的整体和个体特性 ,同时可以利用相应的Petri网支持工具对软件体系结构进行模拟、分析和验证 .通过OPNADL在公安地理信息系统和柔性制造教学系统开发中的实践证明 ,OPNADL可以有效地辅助软件设计人员在体系结构层次上对系统进行分析和设计 ,从而提高了系统的开发效率 ,具有良好的应用前景     

Survivability of components assembly in architecture

Based on the in-depth analysis of the interaction patterns between the components of software system in architecture, this paper illustrates that the association among them is complex and usually changeable during the running period. So we assume the interactions between two adjacency components are grouped into a single connector, which can be used to analyze the influence of components assembly on the survivability for software architecture. The survivability of the components assembly is mapped into the connectivity of graph model. We also bring forward a simplicity method to calculate and quantify the survivability of architecture that could provide a more usable model for designers to evaluate the architecture.