浅析软件演化过程描述语言的作用及特点

作为一种具有良好描述能力的形式化建模语言，软件演化过程描述语言能够准确的对演化过程进行详细的描述。采用软件演化过程描述语言对演化过程进行描述，不仅能够从不同抽象层次上进行描述，而且便于控制、分析和改进演化过程。基于此，本文就软件演化过程描述语言的作用及特点进行分析研究。     

XML在数据库技术中的应用

作为一种与平台无关的描述语言,XML以其高度的可扩展性成为当今网络上对数据描述和传递的通用语言,也获得了数据库软件如:SQL Server的支持,XML和数据库之间的关系日益密切.     

面向对象软件规格语言的设计

本文提出一种面向对象软件的形式描述语言JOOSL，用它可描述面向对象软件需求规格、概要设计和详细设计。从描述方法角度看，需求规格和概要设计的描述在很大程度上相同，这就反映了OO开发模型中需求和设计之间的重叠。在这些描述中用抽象方法描述数据和操作；详细设计中确定算法细节和数据的表示。JOOSL 认为对象是一种抽象的状态机，继承是行为特性的共享。     

数据并行高层描述语言中的数据抽象

数据并行高层描述语言DPHL是我们开发的面向科学计算的一个描述语言,变量定义和基于域上的计算是该语言的重要组成部分,本文通过对数据并行方法、科学计算特点以及现有并行语言的研究和分析,论述了变量定义中数据抽象的两个主要方面;一是引入了变量的定义域、子域和依赖域概念,给出了它们的形式化描述,二是引入了变量的数学属性,并和域分离,便于数据并行自动识别,重构高效的并行程序,使DPHL描述符合或接近于专业上数学表示。     

科学研究与工程数值模拟的必备工具——FEMLAB

FEMLAB(Finite Element Modeling Laboratory)是一个专业有限元数值分析软件,是基于偏微分方程的科学与工程问题进行建模和仿真计算的交互开发环境系统,而偏微分方程是科学问题的基础和根本.本文就FEMLAB软件的发展、应用范围、分析功能和使用步骤进行了简要介绍.     

一种基于逻辑框架的数字版权管理机制和实现

权利描述语言用来构造许可证,描述数字内容的使用权利.鉴于现存的权利描述语言存在表达力不足、缺乏正式语义等问题,提出一种基于逻辑框架的数字版权管理语言LucScript.对该语言框架的逻辑语义、语法和触发运行机制进行了分析和说明,描述了该语言的实现方法,并对该语言的应用和使用控制过程进行了示例.该语言基于统一的具有单一稳态结构的Active-U-Datalog语义,具有比现存权限描述语言更强的表达力和灵活性.LucScript语言可有效地提高DRM系统对数据内容使用的灵活性和实时控制能力.     

基于RFID普适计算环境的形式化上下文模型

提出了一个适合普适计算环境的、基于本体的形式化的上下文感知模型。该模型使用本体描述语言OWL描述上下文,采用层次化的设计方法,提高了上下文表达能力和快速上下文原型。为普适计算的上下文建模和应用、上下文重用和建立面向普适计算环境的软件基础设施提供了一种可行的方法。     

面向最终用户编程的服务虚拟化模型

为了解决面向最终用户编程问题,提出了一种基于动态语义的服务虚拟化模型。该模型以SOA思想理论为基础,采用面向服务计算和Web服务技术,结合本体服务描述语言和描述逻辑,建立服务虚拟化模型,从而实现面向最终用户编程。该模型有效地提高了模型的查全率和查准率,能够在一定程度上解决软件危机。     

从过程描述语言到Z语言

Z语言是一种得到广泛应用的形式化规格语言，Z语言可以方便地描述系统操作的数据转换，却很难描述系统操作间的时序关系，而过程描述语言可以方便地描述时序关系，本文利用时序状态转换系统作为中介，提出一种把过程描述语言的项转换成Z规格的机械算法，利用这一算法，Z文也能方便地描述时序关系，本文还通过实例说明了该算法在多视点需求工程中的应用。     

面向航电软件测试的建模描述语言研究

针对航电嵌入式软件仿真测试的特点,阐述了仿真测试过程中建模的要求和模型的结构与特性,在此基础上,设计并实现了一种面向航电软件测试的建模描述语言(STMDL).对STMDL的语法语义和描述规则进行了详细介绍,并阐述了该建模描述语言的特点和工程应用.     

基于CHAM的软件连接件形式化模型

软件连接件是软件体系结构中的一个重要概念，是构件间相互作用的媒体。用形式化方法对其模型加以描述是软件体系结构研究中的一个重点。化学抽象机形式化语言(CHAM：Chemical Abstract Machine)是一种通用的、简单直观的计算模型描述语言。本文在分析了连接件语义模型的基础上，提出了一种基于CHAM的软件连接件描述模型，从软件连接件静态组成及动态行为两个方面对连接件进行形式化、规范化地描述和分析，以期进一步实现简化软件连接件的设计、增强其通用性的目的。     

一种面向自适应软件系统的体系结构描述语言*

从构件角度出发,结合软件agent技术,提出一种能表示根据需求和环境的变化实施自主行为的E-BDI构件模型。基于高阶多型π演算理论,在现有的动态体系结构描述语言D-ADL基础上,提出一种能从运行时角度描述自适应构件的动态行为的体系结构描述语言SOS-ADL。利用SOS-ADL形式化描述E-BDI结构的自适应构件行为,使构件能根据变化的环境和需求,自主推导自身的行为,达到实现软件自适应的目的。案例说明了面向自适应软件系统的体系结构描述语言SOS-ADL的应用。     

基于FPGA的高速多路数据采集系统的设计

本文介绍了一种基于FPGA的高速多路数据采集系统的设计方案,描述了系统的主要组成及FPGA的实现方法.在硬件上FPGA采用ACEXIK100器件.用于实现A/D转换器的控制电路、多路数据转换与存储器等电路.软件上采用MAX+PLUS Ⅱ的LPM参数化模块库和VHDL硬件描述语言实现.A/D转换器采用的是高速及高精度的MAX120器件.     

浅谈计算机技术在工程结构计算中的运用

结构计算分析软件是计算机技术在工程结构计算中的具体运用,是建筑科学和计算机科学相结合的产物,用于对建筑物的各项数据进行分析.文章简要介绍了4种主要的结构分析软件,并针对我国地震灾害频繁的特点,探讨了运用计算机进行地震分析应采取的原则,最后对文章进行了总结.     

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

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

浅析软件过程模型描述语言的特点及其研究方向

主要介绍了软件过程领域的一些基本概念、特征和研究方向,总结了在构造软件过程描述语言时所应考虑的一些基本问题和达到的目标;简要分析了软件过程模型描述的特点和应用前景。     

构件运算的完整性证明及性质

当前对软件构件的描述均采用图形加文本的方式或形式化描述语言,这些描述对构件的动态行为、互操作和演化特征方面的描述明显不足,无法系统地科学地描述软件演化。软件演化是一个复杂的过程,这种复杂性决定了对软件演化的研究应从软件体系结构这一宏观层面入手。针对该问题,文章引入用代数理论对构件的属性和行为特征进行抽象而提出的用于描述体系结构的构件调用运算、协作运算和条件运算的新方法。该方法能够描述任意软件系统的体系结构和支持软件演化。在此基础上证明了构件运算系统是一个完整的代数系统,能够描述任意软件系统的体系结构,并探讨了构件运算的相关性质。