一种面向工程的构件式软件体系结构模型

从软件体系结构服务于软件工程出发,总结出6种基本模型元素,建立一种新的构件式体系结构模型———EOCSAM模型,给出它的形式语法和语义.与其他模型不同的是,它将构件的接口、连接模式、性能等作为体系结构的第1类模型元素,并给出计算法则.它能更好地实现从应用需求到代码实现之间的逐步过渡映射,能够从功能、结构和任意多种性能的侧面对系统进行逐层跟踪分析,并可作为软件开发全过程的协同工作框架.     

一种基于构件的软件体系结构求精方法及其应用

软件体系结构是软件工程学科中一个较新的研究领域,目前对软件体系结构的形式化描述及求精方法的研究仍处于探索阶段。本文首先分析了基于行为替代、基于风格的体系结构求精方法的特点和不足,然后提出一种基于构件的体系结构求精方法,并以时序逻辑语言XYZ/E作为软件体系结构的形式化描述语言,通过一个具体开发实例对基于构件的体系结构求精方法及过程作了进一步论述。     

基于评价矩阵的软件体系结构风格选取

设计软件体系结构时，选抒一个合适的体系结构风格是首要的．在常用软件体系结构风格质量属性评价的基础上，提出了一种基于软件需求和软件体系结构风格评价矩阵选取风格的方法，并以C语言编辑器体系结构风格的选取为实例实践了这种方法．     

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

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

基于多层体系结构的在线考试系统的设计与实现

良好的软件体系结构对软件的设计、开发和维护起着至关重要的作用。多层体系结构是开发交互式应用程序时广泛使用的一种体系结构。论文在深入研究多层体系结构的基础上,设计并实现了一个基于多层体系结构的在线考试系统。     

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

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

C^4ISR需求与体系结构迭代开发模型研究

在对当前需求与体系结构关系相关研究现状进行总结的基础上,分析和总结了当前软件领域和军事领域关于需求与体系结构关系的几种认识;然后对军事领域中需求与体系结构之间的关系进行深入分析,并建立了需求与体系结构迭代开发的双螺旋模型,为更好地进行军事综合信息系统的顶层规划与设计提供支持。     

无线通信系统模块化设计标准体系的研究

根据通信装备模块化的需求，按照全新无线通信系统设计理念，提出了无线通信系统模块化设计标准体系，论述了该标准体系建立的必要性，分别定义了标准体系中各项标准的名称、目的以及要求，分析了各标准之间的相互关系，明确了标准应该涉及的内容。在对无线通信系统模块化设计标准体系研究的基础上，形成了硬件体系结构标准、软件体系结构标准和安全体系结构标准，通过对软件体系结构标准进一步细化，形成了软件平台接口标准和应用程序接口标准。     

浅谈软件体系结构风格

软件体系结构已经成为软件工程领域的一个新的研究方向,本文介绍了管道过滤器风格、异构体系结构风格、公共对象请求代理体系结构和正交软件体系结构等几种典型的软件体系结构风格。     

动态软件体系结构建模方法研究

针对用现有方法对动态体系结构建模的不足，提出了一种软件体系结构抽象模型（SAAM）．sAAM以两种互为补充的形式化方法——面向对象Petri网OPN和π演算为语义基础，其中OPN可以形象地描述软件体系结构的初始化模型和动态行为，π演算可以描述软件体系结构的动态演化．这两种形式化方法通过SAAM集成在一起，并通过相应的支持工具对模型进行分析．在体系结构演化过程中，SAAM利用π演算的相关分析方法，对组件的演化策略和软件体系结构的一致性进行分析，从而可以在系统开发早期发现体系结构级的错误，提高软件质量．利用SAAM对经典实例自动加油站系统进行的建模与分析表明，SAAM直观、易懂，可以有效地刻画系统动态体系结构．     

基于统一建模语言的分布式企业信息系统软件体系结构模型

讨论了分布式企业信息系统软件体系结构建模的基本问题和统一建模语言 ( Unified Mod-eling Language,UML)的体系结构建模特性 ,在此基础上提出了基于 UML的分布式企业信息系统软件体系结构模型 UDESAM.UDESAM由组件、连接件、接口件和约束组成 ,采用 UML的一个子集作为体系结构建模语言 ,用例视图、逻辑视图、构件视图和配置视图是表示 UDESAM的 4个视图 .给出了基于 UDESAM的软件开发过程和以体系结构为中心、以面向对象为指导思想、基于构件、由用例驱动的软件开发策略 ,并以一个基于 Web的销售系统开发实例辅证     

双离合器自动变速器控制系统软件架构设计

从软件开发方式与架构设计的角度对双离合器自动变速器(dual clutch transmission,DCT)控制系统进行了深入剖析,并以嵌入式实时操作系统μC/OS-Ⅱ内核为基础,构建了DCT控制系统软件架构.通过引入有限状态机(finite statemachine,FSM)实现了DCT的复杂换挡过程控制,以此为基础开发了DCT多任务控制系统.基于DCT硬件在环仿真试验台对所设计开发的控制系统软件进行了功能及性能验证.验证结果表明,设计开发的DCT控制系统软件既满足了系统对实时性的要求,又提高了系统的可靠性和扩展性.     

软件构架描述语言ADL的研究进展

软件构架是对子系统、软件系统构件以及它们之间相互关系的描述,已逐渐成为软件工程领域的研究热点以及大型软件系统与软件产品线开发中的关键技术之一.构架描述语言(ADLs)是具有构架结构的规范及其操作语义的形式化体系,采用形式化手段表达和推理软件构架,它提供了建模软件系统概念构架的特征.与编程语言、需求语言、建模语言、模块互连语言(MILs)等不同,ADLs形式化地描述了整个系统的构件、连接器、配置及其约束关系,除了识别系统的构件和连接器之外,还专门表达了构件的行为规范、协议规范和连接器规范.目前ADLs的研究逐步转移到移动及可视化集成框架的研究、ADLs支持工具的研究、提高支持工具的有效性等方面.融合ADL与UML进行系统建模与分析也是一个重要的研究内容.     

军事信息系统体系结构设计方法及其应用分析

 体系结构方法作为军事信息系统顶层设计的重要手段,已经从理论研究阶段逐步进入到实际应用阶段。针对军事信息系统研制开发不同阶段体系结构设计的具体要求,从体系结构概念出发,简要分析了体系结构框架及体系结构方法的作用,探讨了体系结构方法在军事信息系统需求论证、规划计划、立项论证和研制建设等不同阶段的应用方式。     

基于语音卡的呼叫中心系统设计和实现

针对目前CTI应用中比较广泛的呼叫中心，利用分层设计的思想和数据库、动态链接库技术，设计出基于语音卡的呼叫中心的一个通用程序架构，适用于广大中小规模呼叫中心的建设，能有效缩短呼叫中心建设周期和提高软件开发效率．     

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

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

基于IPC的六轴刀具磨床CNC系统

依据对复杂形状刀具的CNC磨削提出的基本要求 ,开发了基于开放式IPC的CNC六轴五联动刀具磨床控制系统 ,其主要技术特点为 :使硬件模块标准化和软件模块层次化 ,通过公共数组的信息交换来调度实时中断多任务 ,以及用化整为零的策略解决串行口及CRT的实时性问题 .CNC系统已用来控制磨床加工出圆锥球头立铣刀试件     

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

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

软件体系结构风格综述

软件体系结构已经成为软件工程的一个重要研究领域,本文综述了数据流系统、数据抽象和面向对象组织、分层系统、数据中心系统等软件体系结构风格,并且指出了它们的优点和缺点。