"平台/插件"软件体系结构风格

体系结构发现是软件体系结构研究领域的一个重要方向.近年出现的“平台 插件”软件设计方法,使得发布后的软件产品可以方便地通过安装插件模块而扩展其功能.然而,迄今为止,未见资料将这种结构从软件体系结构的高度进行提炼和描述.本文提出“平台 插件”的软件设计方法是一种软件体系结构风格,并将其称为“平台/插件(Platform/Plug-in)”风格,简写为“P/P风格”.由于软件体系结构和体系结构风格的概念还没有一个标准的定义,文中首先定义了本文使用的模型和概念;研究了“平台/插件”结构应用程序的特点和分类,分析了该类程序的架构,在本文定义的软件体系结构模型的基础上,用统一建模语言UML描述了P/P体系结构风格及P/P风格软件的开发过程.本文工作为需要动态扩展功能的大型软件开发提供了一种可复用的体系结构风格,可以认为,P/P风格是可扩展和可增量升级软件系统的领域体系结构模型.     

高速DSP系统中的软件设计优化

1 嵌入式高速DSP系统的软件设计 嵌入式高速 D S P 中,软件设计的主要任务是完成数据传输、算法实现以及系统状态控制和监控等功能。由于应用领域的不同,资源配置的差异,其软件设计与通用的工控机软件设计有许多不同之处,尤其是对于多D SP 系统而言。由于软件设计在结构和流程中采用的是并行处理方式, 即所谓的单指令多数据流(SIMD)和多指令多数据流(MIMD),与通常的程序设计存在着很大差别, 所以在程序的优化上就需 输入缓要进行更多的考虑。 除通常程序优化要考虑的问题之外,嵌入式高速 D S P 系统在软件设计的优化 数…     

CAI中图形交互技术的研究与实现

研究了计算机图形交互技术在计算机辅助教学 (CAI)软件设计中的重要意义和关键技术 ,设计了不同操作平台间图形交互系统的结构和算法。     

逻辑程序设计的几个问题

一、引言大多数传统的程序设计语言本质上都是以赋值为核心并且基于显式控制流的计算式语言(如PASCAL和C)。这种风格的程序语言是针对von Neumann体系结构的。计算机应用的重点正在由数值处理转移到非数值信息处理,而von Neumann机器以及相应的程序语言在非数值处理(比如说符号推理)应用中的缺点是人所共知的。逻辑编程语言就是基于(一阶谓词)逻辑(及其变种)或其子集(如Horn子集)的计算机语言。它是一种以(符号)模式匹配为核心,没有(或很少有)显式控制流的推理式语言。逻辑程序设计最初提出主要是针对软件工程考虑,后来日本决定来用逻辑语言作为其新一代计算机结构(即第五代机)的核心语言(PRO-     

C/E网系统中交叠式序列的计数

在CCS中,Milner把系统中的两个事件处于并发定义为“它们可以按任意顺序发生”。这个关于并发的定义被称之为“交叠式并发”。然而在网论中,Petri把并发定义为“非序”,并指出并发是冲突的精确对偶。Petri关于并发的定义被公认为“真并发”。为了研究这两种并发概念的联系和差异,以C/E系统为模型,分别从这两种不同定义的视角出发,讨论了并发的表现和实质,并对网系统中存在的不同并发组合情况给出了求交叠式序列(根据交叠式并发概念而得出)个数的一组计算公式。     

联防式智能型防盗报警系统的研制

介绍了联防式智能型防盗报警系统的硬件和软件设计方法，由于系统采用了“联防”的设计思想，从而克服了当今常见的防盗报警系统的“主机－从机”结构带来的弊端。     

Word中图形的调用和整合

本文详细介绍在Word文档中调用和整合现有图形的方法。这些图形来自专用绘图软件(如AutoCAD、Photoshop、Windows画笔等)或应用软件的绘图模板(如Protel、Flash、Authorware等)及扫描仪等。基本图形调用现有图形可节省绘图时间,提高绘图的效率。通常有以下3种调用方法:1.选取对象,通过“复制”和“粘贴”命令调用。2.用键盘上的Print Screen键将所需“窗口”存入系统“粘贴板”,再在Word中“粘贴”到所需位置后编辑。3.在Word文档中,通过“插入/图片/来自文件”命令插入图形。这3种方法中,对Flash中的图形,采用方法1得到的图形属于“…     

对象/关系映射框架的研究与应用

在软件工程的各个阶段运用并体现面向对象的思想,已经成为软件设计开发的主旋律。占主导地位的关系数据库成为了面向对象系统架构中对象与关系数据库转换的“瓶颈”。论文着眼于面向对象系统中的类及其实例与关系数据库中表的映射,分析了类及其实例与关系数据库的映射模型,比较了几种映射解决方案的优缺点,重点研究了Castor在O/R(对象/关系)映射方面的优势及应用。     

一种适于在强干扰环境下工作的实用遥测系统

使用微型机对生产过程进行实时控制时,A/D、D/A转换以及开关量输入、输出是必定要遇到的问题。因此,为了确保主机系统的稳定运行和模拟量、开关量的可靠传送,必须能有效地抑制受控现场所产生的各种干扰。强干扰之所以能导入主机,影响整个系统的可靠运行,主要是因为在主机系统与监测、监控对象之间存在着公共地线。本文着重论述在强干扰环境下进行实时控制时,去掉公共地线的重要性,提出一种通过采用两次“电-光-电”变换,将传送长线“隔”、“浮”在主机系统和监测、监控对象之间实现完全电隔离的设计思想,并且介绍按这种思想设计并适于Z-80微型机进行实时控制的实用遥测(A/D转换)系统(主要介绍它的系统配置、硬件结构及软件设计)。这种遥测系统,因其对传送长线进行了“隔”和“浮”的处理,因此具有便于匹配、抗干扰能力强以及传输长线费用低(可用普通导线代替价格昂贵的同轴电缆和扁平电缆)等特点。此外,对传送长线的这种处理同样适用于D/A转换以及开关量的输入和输出,因此会给微型机在工业生产、国防建设等方面的应用带来更大的方便。在软件设计方面,本文着重论述A/D转换设备做为一种资源,如何置于实时操作系统控制下的两种使用方式:巡回检测方式和中断处理方式。此外,还对如何使用软件方法滤除模拟量中的工频干扰成分,提高A/D转换精度的程序设计进行了介绍。     

STOOP：面向对象与状态转移一体化的程序设计体裁

本文提出,在 C/C~(++)这样的面向对象编程语言中的一种“面向对象与状态转移一体化的程序设计体裁(STOOP)”,或者,一种“嵌入于 C/C~(++)中的面向对象与状态转移一体化的编程语言”.它蕴含了诸如过程式、产生式(基于法则的)、逻辑式等体裁。本文讨论 STOOP 的语言特性,在 C/C~(++)中STOOP 的体系结构,STOOP 与过程式、产生式、逻辑式诸体裁的关系。     

基于求精的软件体系结构设计方法

分析了当前软件体系结构研究对软件开发支持存在的不足，将软件体系结构求精技术引入大型复杂系统软件体系结构设计与开发过程中，结合抽象层次和层次视图，提出了一个基于求精的软件体系结构设计方法——ARSADM，给出了其关键步骤和过程，用于指导软件体系结构的正确设计。     

Correct architecture refinement

A method is presented for the stepwise refinement of an abstract architecture into a relatively correct lower-level architecture that is intended to implement it. A refinement step involves the application of a predefined refinement pattern that provides a routine solution to a standard architectural design problem. A pattern contains an abstract architecture schema and a more detailed schema intended to implement it. The two schemas usually contain very different architectural concepts (from different architectural styles). Once a refinement pattern is proven correct, instances of it can be used without proof in developing specific architectures. Individual refinements are compositional, permitting incremental development and local reasoning. A special correctness criterion is defined for the domain of software architecture, as well as an accompanying proof technique. A useful syntactic form of correct composition is defined. The main points are illustrated by means of familiar architectures for a compiler. A prototype implementation of the method has been used successfully in a real application     

软件体系结构求精研究

为了保证软件质量,提高软件可靠性、可重用性和可维护性,软件体系结构这一概念自提出以来就得到广泛关注,成为软件工程的一项重要研究领域。软件体系结构求精作为体系结构从抽象到具体的形式化方法,连接了体系结构分析到具体实现之间的鸿沟,从而有效地保证了软件体系结构的层次性和可跟踪性。良好的软件体系结构求精方法使得软件开发自动化．加速软件产品的交付过程,降低软件成本,以及提高软件质量。针对体系结构求精研究的主要内容,较系统地阐述了几种体系结构求精分类方法,并对求精检测的相关内容作了介绍,最后是对体系结构求精以后工作的展望。     

面向方面体系结构建模研究

面向方面体系结构建模是面向方面软件开发(AOSD)的重要组成部分,也是近些年面向方面领域研究的热点问题。传统的软件体系结构设计方法没有单独地考虑横切关注点。因此,在软件体系结构设计阶段,建模人员需要新的机制来描述这些横切关注点。本文首先提出一个以横切为中心的面向方面体系结构概念框架;然后通过在体系结构设计阶段引入该框架中的核心概念,提出一种在体系结构设计阶段建模横切关注点的方法,从而支持其在早期进行横切关注点的分离。     

一种实时系统软件体系结构风格:NewRob

该文分析了现有的软件体系结构风格描述语言的特点,并结合嵌入式实时系统的领域特征,提出了一个面向嵌入式实时系统的软件体系结构风格:NewRob。NewRob所生成的一个基本说明书,由一个同步控制任务组成,它负责将系统作为包含各类异步组件的集合,进行动态重构。控制任务通过对各组成元件逐级细化、分解,得到进化后的低级控制任务,每个低级任务也都管理一个新的组件集合。采用时序逻辑描述和验证不同抽象级别的软件体系结构的一致性。     

Quality-driven architecture development using architectural tactics

This paper presents a quality-driven approach to embodying non-functional requirements (NFRs) into software architecture using architectural tactics. Architectural tactics are reusable architectural building blocks, providing general architectural solutions for common issues pertaining to quality attributes. In this approach, architectural tactics are represented as feature models, and their semantics is defined using the Role-Based Metamodeling Language (RBML) which is a UML-based pattern specification notation. Given a set of NFRs, architectural tactics are selected and composed, and the composed tactic is used to instantiate an initial architecture for the application. The proposed approach addresses both the structural and behavioral aspects of architecture. We describe the approach using tactics for performance, availability and security to develop an architecture for a stock trading system. We demonstrate tool support for instantiating a composed tactic to generate an initial architecture of the stock trading system.     

Semi-automated architectural abstraction specifications for supporting software evolution

In this paper we present an approach for supporting the semi-automated architectural abstraction of architectural models throughout the software life-cycle. It addresses the problem that the design and implementation of a software system often drift apart as software systems evolve, leading to architectural knowledge evaporation. Our approach provides concepts and tool support for the semi-automatic abstraction of architecture component and connector views from implemented systems and keeping the abstracted architecture models up-to-date during software evolution. In particular, we propose architecture abstraction concepts that are supported through a domain-specific language (DSL). Our main focus is on providing architectural abstraction specifications in the DSL that only need to be changed, if the architecture changes, but can tolerate non-architectural changes in the underlying source code. Once the software architect has defined an architectural abstraction in the DSL, we can automatically generate architectural component views from the source code using model-driven development (MDD) techniques and check whether architectural design constraints are fulfilled by these models. Our approach supports the automatic generation of traceability links between source code elements and architectural abstractions using MDD techniques to enable software architects to easily link between components and the source code elements that realize them. It enables software architects to compare different versions of the generated architectural component view with each other. We evaluate our research results by studying the evolution of architectural abstractions in different consecutive versions of five open source systems and by analyzing the performance of our approach in these cases.