品析说明语言

考点概述说明文语言的特点是准确、简明、浅显和易懂,其中准确是前提。在这个前提下,文章的语言风格可以是平实朴素的,也可以是生动活泼的。对说明文语言的考查,以词语品析题居多。解题指津题型及答题思路:1.文中或句中某词或短语能否删去?说明理由。

一种支持异构数据库集成的定义说明语言

提出了一种数据集成中间件Med iator定义说明语言,该语言通过提供了一套抽象的语言成分组件,能支持从一个高度抽象的层次来表达复杂数据集成语义,有效解决异构数据源集成时面临的结构/语义异构冲突,并自动生成数据集成中间件Med iator。介绍数据集成定义说明语言(D ISL)主要语言成分组件的语法/语义、构造生成Med iator的方法以及应用体系结构,并讨论D ISL-Med iator的内部体系结构和它的静态/动态特性.

属性说明语言在基于断言的硬件验证中的应用

EDA界的标准化组织Accellera最近确定IBM的sugar语言为标准的属性说明语言,可以用于基于断言验证技术的设计属性说明。文章首先介绍了基于断言验证的基本概念和属性说明语言PSL的用途和属性定义。然后给出了用PSL实现基于断言的硬件验证方法。用一个实例说明了怎样用PSL语言实现基于断言的验证。

自动制造系统规格说明语言的Petri网语义设计

研究了自动制造系统中离散事件的形式化表示方法．依助通信顺序进程设计了制造系统的规格说明语言，在给出事件的Ｐｅｔｒｉ网表示的基础上，讨论了系统行为描述语言的Ｐｅｔｒｉ网语义，即系统Ｐｅｔｒｉ网控制器的静态结构．根据系统行为的描述语言及Ｐｅｔｒｉ网控制器的结构，可以研究具有活性、安全或有界性以及可逆性的Ｐｅｔｒｉ网控制器初始标识的设计算法．因此，制造系统规格说明语言的Ｐｅｔｒｉ网语义设计。

基于规约说明语言的面向对象软件测试

提出了一种测试面向对象程序的框架模型 .用Object Z语言描述面向对象程序的形式化规约 .从形式化规约说明中可以推导出的面向对象程序的状态转换图 ,状态图可以表示面向对象程序的动态行为 ,并且可以用来描述一个由面向对象程序的方法调用序列组成的测试数据集 .最后给出了验证一个方法调用序列正确性的方法 .

CPSL：一种通信协议规格说明语言及其支撑系统

ＣＰＳＬ（ＣｏｍｍｕｎｉｃａｔｉｏｎＰｒｏｔｏｃｏｌＳｐｅｃｉｆｉｃａｔｉｏｎＬａｎｇｕａｇｅ）是一种精确描述通信协议需求的形式规格说明语言．本文简述了ＣＰＳＬ的设计及其支撑系统的开发，并和其它类似语言作了比较．

一个基于规则的多媒体同步说明语言

多媒体数据在展示过程中具有一定的时空同步关系，如何说明和处理这种关系是多媒体信息系统要解决的重要问题，本文针对已有同步说明方法在表达能力上的不足，提出了一种基于规则的多媒体同步说明语言。

关于Z规格说明语言中模式的剖析

1.引言形式规格说明语言一般是提供一套称为语法域的记号系统和一个称为语义域的对象集合,以及一组精确地定义哪些对象满足哪个规格说明的规则。规格说明是语法域中的句子。它用数学表示法精确地描述了软件系统必须具备的性质。 Z是目前比较流行的一种形式规格说明语言。

一个面向对象的需求规格说明语言——SEURSL

提出了一种从建模到实现的完整的面向对象开放方法，它以Ｃｏａｄ／Ｙｏｕｒｄｏｎ方法为基础并对它进行了改进，改进后的方法能够有效地描述系统的功能和行为；同时给出了支持这种方法的需求规格说明语言———ＳＥＵＲＳＬ的规范化定义。

用属性说明语言验证硬件电路

过去对系统的设计要求说明都是采用自然语言,这种说明形式是比较含糊的,并且缺乏标准的机器可执行代码而无法进行验证。然而属性说明语言是一种易于读写、语法精简、语义严格清晰、表达能力强大、机器可执行的硬件设计属性说明语言。本文首先介绍了属性说明语言的属性定义,然后说明了用属性说明语言实现硬件电路验证的方法。通过实践证明,用属性说明语言验证硬件电路是非常有效的验证方法。

硬件电路的属性说明语言

传统的对系统功能规范说明都是采用自然语言,这种说明形式一般都是比较含糊的,并且由于缺乏标准的机器可执行代码而无法进行验证。本文介绍的属性说明语言(PSL)是一种易于读写、语法精简、语义严格清晰、表达能力强大、机器可执行的标准硬件设计属性说明语言。并对他在M ode ls im SE 6.0仿真工具中的使用做了具体的介绍。

规格说明语言NUSL的初步报告

NUSL是一个以数据抽象为核心的,可执行的规格说明语言,它具有如下特点:1.表达力强,2.简明精确,3.模块化,4.可执行.本文描述NUSL的语法语义并给出—个应用例子.

文件类型语义和规格说明语言DSSSL

文件类型语义和规格说明语言ＤＳＳＳＬ南京大学徐福培，吕纪南１．背景传统排版系统是通过自己专有的系统排版语言（如华光或ＢＤ语言），对需排版内容进行过程性置标，然后通过系统对这些过程性置标进行处理，从而产生页面输出。随着信息交换日趋频繁，电子出版物的普及...

规格说明语言Z的类型检查

软件规格说明的正确性是软件目标代码正确性的前提。正确性要求之一就是类型正确。本文介绍Z规格说明类型检查器的实现方法,并对类型检查的环境、一致化方法、替换策略和类型变量的应用等问题进行讨论。

规格说明语言NUSL及其支撑系统

本文简述了形式规格说明技术的意义,与原型技术的关系,并叙述了规格说明语言NUSL的特点、结构和使用,然后介绍了NUSL支撑系统.

半形式化需求说明语言的设计及应用

针对实际的MIS系统开发 ,提出了半形式化需求说明语言SFSL。利用半形式化需求说明语言SFSL 。

一个面向JSD方法的规格说明语言转换系统

ＪＳＬＣ系统是一个规格说明语言ＪＳＬ的转换系统．它的实现反映了一种规格说明语言的转换方法．本文详细介绍了ＪＳＬＣ系统的组成结构、实现基础和技术要点．

一种基于JSD方法的规格说明语言及其支撑系统的设计与开发

Jackson系统开发方法(JSD)是八十年代初提出的一种很有名的操作式软件开发方法。为了支持开发者将其应用到软件开发实践中,我们设计了一种基于JSD方法的图形化的操作式规格说明语言NUJSDL,并开发了其支撑系统NUJSDS,NUJSDL语言具有易理解、可分析和可维护等特性,它提供了多种机制分别刻划JSD开发过程中各阶段的结果,并且用它书写的规格说明还可以作为待开发系统的一个原型。NUJSDS是编辑工具分析工具规格说明生成工具和转换工具集成起来的交互式可扩充的系统,它支持规格说明在JSD思想指导下的开发,并能实现从规格说明到软件过程式描述的自动转换。

规格说明语言ChiSL

ＣｈｉＳＬ是一种作用式可执行的功能规格说明语言，它是以数据抽象为核心的将代数规格说明和面向模型的规格说明两种技术有机地结合起来的模块化语言，具有良好的数学性质和可读性，能比较方便地书写大型规格说明。由于该语言是可执行的，因此ＣｈｉＳＬ规格说明可作为所要开发的软件系统的一个原型在该语言的支撑系统上执行。本文后面介绍了使用ＣｈｉＳＬ语言及其支撑系统开发软件原型的一些应用实例。

基于Petri网的规范说明语言

对规范说明的研究是当前计算机科学领域的一个重要的课题,现已提出多种语言系统。本文从petri网的特点出发,提出了一种基于petri网的规范说明语言。首先介绍了它的数据类型,控制过程及实现方法,详细说明了网类型及其运算。最后还给出了一个具有实用价值的例子。