CORBA环境中分布式构件的构造

提出了一个基于CORBA的构件式的分布式系统构造模型。对于分布式构件和基于构件的分布式软件系统,均可用基于属性文法的软件构架描述语言进行形式化定义。通过例子描述了将基于属性文法的软件构架映射为CORBA对象的方法,同时还讨论了如何在CORBA环境中实现基于属性文法的软件构架的有关问题。     

面向构件的炼钢管理系统软件架构的设计

计算机技术飞速发展的今天,对软件构架提出了更高的要求,如何高速、有效地划分构件、更好的进行最大规模化的软件复制是现在研究解决的重点问题之一。软件的构件化的最重要的特点是软件系统中由大批可复用构件组成目标系统,从软件构架化构件的过程复用中可以知道,传统的软件开发过程中的具体规划设计被划分到了构件具体制作阶段,这就导致了具体规划设计与基于构件开发目标系统属于相对独立的两个阶段。本文就以炼钢软件构架系统为例,具体的阐述这个问题。     

演化构件在形式化需求分析方法中的研究与应用

软件开发实践表明:用户需求是软件系统成功的关键,软件系统的成功极大地依赖软件需求工程的质量.在开发活动过程中,随着用户对目标系统认识的逐渐深入以及基础设施、配置环境等因素的变化,用户需求也在不断发生变化.对需求变化的控制历来都是软件开发者追求的目标.在详细介绍形式化需求分析方法、演化构件及构件贡献度的相关理论基础上,提出了基于演化构件的形式化需求分析建模方法,深入分析了建模过程及建模工具RE-Tracker,并用集中控水系统的需求分析具体实例分析了需求级构件变更的影响范围和波及效应.     

从形式化规范自动生成系统级状态机

形式化方法能精确、无二义地描述软件规范,但其可读性、可理解性差以及缺乏有效的自动测试工具.鉴于此,提出一种新的方法将支持面向对象开发的形式化语言所描述的软件规范自动地转化为系统级状态机,从而改善其可读性与可理解性.实际应用表明,这种方法可以提高形式化规范的可读性与可理解性.     

基于构件的分布式软件构架求精

目的消除在软件构架（SA）指导的基于构件的开发（CBD）中软件构架和面向对象设计与实现间存在的断层。方法根据软件开发各阶段的特点，采用规则映射方法对构架描述语言（ADL）ADEAG描述的SA进行求精，将其转换为UML描述的OOD层次。结果制定了一组ADEAG—UML的转换规则，并实现了一个工具支持转换的完成。结论所提出的SA求精方法和实现工具的使用有助于发挥SA在CBD中的指导作用，从而实现软件的规模化、工程化生产。     

企事业MIS系统构件化开发研究

为了解决MIS系统开发中出现的许多问题,提出了一种开发企事业MIS系统的有效方法,即以过程建模为先导,以构架建造为中心,以构件组装为基础的企事业MIS系统构件化开发方法,为实现构架建模和系统组装,开发了可视化MIS构架建模环境——VAME,实现了对构架模型的可视化定义与建模、构架模型的实例化、构架实例的静态分析、系统的组装与生成以及构架模型库和构架实例库的管理维护,并详细阐述了该方法的过程和特点。     

一种基于构件的分布式软件构架描述语言

针对分布式软件系统规模和复杂性不断增大的特点，在扩展传统属性文法的基础上提出了一种基于构件的分布式软件构架描述语言（DSADL），详细描述了DSADL的设计目标、组成元素以及形式化描述基础，并实现了分布式软件构架集成开发环境（EDAD）。由于DSADL结合了SADL与构件技术，因此它既有严格的语义基础，同时又具有构件的可复用性、易移植性的特点。实践证明，DSADL能够有效辅助分布式软件设计人员在构架层次上对系统进行分析的设计，从而提高系统的开发效率。     

通用连接器模型及其形式化推导研究

基于构件的软件体系结构（SA）由构件与连接器组成，连接器作为构件间的交巨实体在SA中扮演着重要角色．现有的连接器模型只能支持特定软件体系结构风格的组装，缺乏统一的连接器模型的支持．提出一种通用连接器模型用以对不同连接器模型进行描述，并在此基础上对连接器模型进行了扩展，以支持不同体系结构风格的构件组装．同时，基于Wright的软件体系结构描述语言（ADL）和通信顺序进程（CSP）中对于进程的描述方法，给出了通用连接器模型的形式化推导、验证，从而为分析连接器行为，支持连接器自动生成奠定了基础．     

基于动态体系结构的形式化描述

随着软件工程的发展,对软件的动态演化提出很高的要求,动态体系结构语言成为描述复杂软件体系结构重要工具.提出基于形式化语言Z的描述,通过Z体系对构件、连接件、配置进行定义,以达到动态演化的目的.     

加工系统的加工能力形式化建模方法

针对加工系统服务化、虚拟化过程中的加工能力建模问题,结合加工系统的功能、性能以及性能质量,对加工能力及其相关概念进行了定义.采用关系代数和集合论,对加工系统、加工特征、加工操作进行了描述,继而以关系选择与自然连接运算对加工能力进行了形式化表达,并采用关系投影运算对加工能力模型进行了视图分析,揭示了加工能力产生的机理.结合实例对建模方法进行验证,其结果表明,所采用的方法能够实现加工能力的形式化建模,可以为加工系统的加工能力分析与评价提供支持.     

自省的动态软件体系结构描述与实现

软件系统的体系结构对于软件开发具有重要的意义，然而现有软件体系结构描述语言及其支撑系统在可追溯性和动态性两个方面尚有不足，利用自省计算的原理和技术，提出一种将体系结构具体化为系统实现中可见可控的实体，并在其基础上构建系统的新途径．这样，软件体系结构的抽象描述和具体实现都基于统一的模型，从而可以保证可追溯性；而通过自省设施亦可达成对软件体系结构动态行为的有效支持和控制。遵循这个途径，给出了一种面向图的软件体系机构描述和实现的具体框架及其一种基于edNCE图法形式模型，并在World Wide Web的环境下实现了一个支撑系统原型。     

XDL——基于XML的软件体系结构描述元语言

软件体系结构是指导基于体系结构的软件开发过程的系统蓝图,而软件体系结构是由软件体系结构描述语言(ADL)来描述的.提出1种基于XML的软件体系结构描述元语言XDL作为ADL的元语言.通过XDL构造出的ADL具备大多数基于XML的ADL描述高层软件体系结构的能力,支持系统的扩展与演化,支持系统的验证,保证与其他ADL的互操作性,在软件生命周期中保证体系结构模型的可追溯性.     

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

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

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

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

Research on Software Architecture of the Extensible Services Router

With the rapid development of network technology,it is increasingly important to dynamically upgrade router‘s software.In this paper,the authors present new software architecture to be applied to extensible services router.The novel feature of the architecture is the ability to dynamically load and configure extensible components at run time.Each component implements one function such as packets classification,packets scheduling and routing protocol.We design a simple configuration language(ESRCL)to configure and manage the router,The architecture can be configured according to the packet flows,At Present,a prototype system based on highly efficient router operating system(HEROS) has been finshed.     

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

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

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.