适用于动态软件体系结构的扩展的Z描述语言

动态软件体系结构语言已成为描述复杂软件体系结构的重要工具,然而许多描述语言都是静态的,并不能对动态软件体系进行描述。为此,对经典Z描述语言进行扩展,主要通过对构件、连接件和它们的添加以及删除来达到动态演化的目的。实例分析表明了这种扩展的可行性。     

基于B方法的体系结构描述语言的形式化研究

通过分析B方法和软件体系结构描述语言ABC/ADL各自的特点,提出了一种两者结合的形式化方法。该方法利用B方法扩充的事件机制,定义软件体系结构描述语言的构件和连接子观察模型、行为规约和约束规约,并给出了规约实例,从而使得基于B方法的ABC/ADL能够形式化描述软件体系结构的结构和行为。     

基于移动嵌入式系统硬/软件协同设计的EHSC算法

嵌入式系统设计的一个重要任务就是寻找硬/软件最佳搭配方案.随着系统复杂性的不断提高,采用嵌入式系统硬/软件协同设计是提高设计质量的有效手段.本文在讨论嵌入式系统设计一般方法的基础上,阐述了系统的硬/软件协同设计技术和硬件/软件划分方法,提出了以系统硬/软件划分策略为基础,系统组件的权重值为参考,组成元素划分为依据的设计理念,构造了基于移动环境的系统的硬/软件协同设计的EHSC（Embedded Hardware/Softwarre Codesign）模型.并依照此模型,实现了一种移动嵌入式系统“电子书包”阅读器的设计和开发.     

基于脚本语言的雷达故障诊断通用平台设计

构建了一种新型的雷达故障诊断通用测试平台,它基于通用仪表及脚本描述语言.利用通用的XML模型描述语言和数据文件描述雷达各模块的静、动态模型及结构框图.利用脚本描述语言编制雷达故障诊断策略,使平台能适应不同雷达故障诊断需求,用BNF给出了主要描述语句的文法.在系统中,描述语言的使用使得系统能很容易地针对不同的雷达故障现象编制诊断策略.说明了平台的架构,解释了脚本语言引擎与其它构件间的关系,并举例说明了脚本语言使用方法.     

一种软件需求描述语言的设计与实现

提出了一种面向软件行为的需求建模方法和需求描述语言BDL,介绍了需求描述语言的设计和实现方法。利用此需求建模可以根据用户的需求信息寻找出目标系统的有效行为,建立目标系统的行为模型。该行为模型可以帮助用户和开发人员正确认识和理解目标系统的行为,而且能为以后自动检测系统的各种特性提供良好的基础。     

基于进程代数的安全软件体系结构建模

分析了基于进程代数的软件体系结构模型的安全性,将相容性检查和互操作性检查从单个软件体系结构推广到不同风格的体系结构风格,扩展基于进程代数的软件体系结构描述语言,通过顺序进程代数项族和预定义的体系结构类型调用对软件体系结构安全建模。通过一个例子介绍了这种建模方法。     

软硬件协同设计中模型表示与映射

目前的软硬件协同设计方法都有其局限性,主要表现在：缺乏必要的模型映射机制、不同语言描述的软硬件设计容易造成不一致现象。经过分析和研究,该文提出了一个软硬件协同设计流程,它基于CDM模型,支持从系统需求描述出发、通过设置各描述组件的参数,自动产生CDM模型。利用SystemC的软硬件描述功能,对CDM模型进行映射和绑定操作,自动生成SystemC可执行程序,使软硬件代码无缝联接。模型经过多次细化和验证,从而提高设计质量和缩短设计周期。最后通过一个实例说明该方法的设计特点。     

A software architecture and framework for Web-based distributed Decision Support Systems

This paper presents an integrated method to help design and implement a Web-based Decision Support Systems (DSS) in a distributed environment. First, a layered software architecture is presented to assist in the design of a Web-based DSS. The layered software architecture can provide a formal and hierarchical view of the Web-based DSS at the design stage. Next, a component-based framework is presented to implement the Web-based DSS in a distributed environment. Finally, an instance of the layered software architecture and 3CoFramework applied to the Web-based National Agricultural Decision Support System (NADSS) is presented.     

软件体系结构的描述方法研究

目前关于软件体系结构的描述已有许多工具支持,但各种工具不仅是领域相关的,而且描述方法也不尽统一,这使设计人员很难选择一种合适的工具,将体系结构的共同特征提取出来,秦为体系结构描述的核心模型,为各种工具提供了共同的基础－若要用某一种工具描述,只需增加与之相关的约束,另一方面将软件体系结构与当前主流的面向对象方法相结合,利用统一建模语言ＵＭＬ的扩充机制,从多个视图描述了软件体系结构,最后结合研究工作给     

Higher-level techniques for hardware description and synthesis

The FLaSH (Functional Languages for Synthesising Hardware) system allows a designer to map a high-level functional language, SAFL, and its more expressive extension, SAFL+, into hardware. The system has two phases: first we perform architectural exploration by applying a series of semantics-preserving transformations to SAFL specifications; then the resulting specification is compiled into hardware in a resource-aware manner – that is, we map separate functions to separate hardware functional units (functions which are called multiple times become shared functional units). This article introduces the SAFL language and shows how program transformations on it can explore area-time trade-offs. We then show how the FLaSH compiler compiles SAFL to synchronous hardware and how SAFL transformations can also express hardware/software co-design. As a case study we demonstrate how SAFL transformations allow us to refine a simple specification of a MIPS-style processor into pipelined and superscalar implementations. The superset language SAFL+ (adding process calculi features but retaining many of the design aims) is then described and given semantics both as hardware and as a programming language. Published online: 17 December 2002     

软件体系结构模型的形式化研究

用软件体系结构描述语言WRIGHT对三层C/S模型进行形式化描述，指出这种描述的优点以及软件体系结构模型形式化研究的重要性。     

面向嵌入式系统的优化编译器生成器设计

给出了一种编译器生成器的设计原理,利用编译器生成器可以迅速生成面向某种指令系统和机器特征,并且能够对输出代码进行自动紧凑的编译器。     

软件体系结构研究综述

近年来,软件体系结构逐渐成为软件工程领域的研究热点以及大型软件系统与软件产品线开发中的关键技术之一.归纳了软件体系结构技术发展过程及其主要研究方向.在分析了典型的软件体系结构概念之后,给出了软件体系结构的定义.通过总结软件体系结构领域的若干研究活动,提出了软件体系结构研究的两大思路,并从7个方面介绍了软件体系结构研究进展.探讨了软件体系结构研究中的不足之处,并分析其原因.作为总结,给出了软件体系结构领域最有前途的发展趋势.