自动制造系统规格说明语言的Petri网语义设计 被引量：1

1

作者 李志武 贾建援 叶尚辉 《西安电子科技大学学报》 EI CAS CSCD 北大核心 1996年第3期406-413,共8页

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

关键词 自动制造系统 规格说明语言 PETRI网 CIM

在线阅读 下载PDF 职称材料

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

2

作者 杨培根 李楠 周建强 《计算机学报》 EI CSCD 北大核心 1994年第2期104-111,共8页

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

关键词 通信协议 规格说明语言 计算机网络

在线阅读 下载PDF 职称材料

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

3

作者 高晓雷 缪淮扣 《计算机科学》 CSCD 北大核心 1998年第6期24-27,共4页

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

关键词 规格说明语言 形式语言 Z语言 模式

在线阅读 下载PDF 职称材料

规格说明语言Z的类型检查 被引量：1

4

作者 张晓莺 朱关铭 缪淮扣 《计算机应用与软件》 CSCD 2000年第2期1-9,29,共10页

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

关键词 类型检查 规格说明语言 Z语言 形式谱义

在线阅读 下载PDF 职称材料

规格说明语言NUSL及其支撑系统 被引量：1

5

作者 姜馨杰 徐永森 《计算机学报》 EI CSCD 北大核心 1991年第2期138-145,共8页

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

关键词 规格说明语言 NUSL语言 支撑系统

在线阅读 下载PDF 职称材料

一个面向JSD方法的规格说明语言转换系统 被引量：1

6

作者 周晓彤 宗丽苹 丁茂顺 《软件学报》 EI CSCD 北大核心 1994年第8期51-57,共7页

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

关键词 规格说明语言 JSD法 转换

在线阅读 下载PDF 职称材料

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

7

作者 刘琳 徐永森 严明 《软件学报》 EI CSCD 北大核心 1992年第2期45-52,共8页

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

关键词 规格说明语言 软件开发 支撑系统

在线阅读 下载PDF 职称材料

规格说明语言ChiSL

8

作者 许创 陈沐天 徐永森 《高技术通讯》 CAS CSCD 1995年第2期7-12,共6页

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

关键词 软件工程 规格说明语言 程序设计

在线阅读 下载PDF 职称材料

基于C++模板的Z规格说明的数据类型的实现 被引量：1

9

作者 高晓雷 缪淮扣 李勇 《计算机工程》 CAS CSCD 北大核心 2006年第11期50-51,54,共3页

主要介绍了用C++类模板实现Z规格说明语言中的类型,包括数据结构的设计、成员函数的设计。该模板的实现便于代码的重用和简化求精,从而提高软件开发的效率。

关键词 C++模板 Z规格说明语言 数据类型

在线阅读 下载PDF 职称材料

Z语言模式正确性的检验 被引量：2

10

作者 陈晶 朱关铭 童頫 《计算机工程》 CAS CSCD 北大核心 1995年第5期3-9,共7页

软件规格说明的正确性是最终目标代码正确性的关键。本文从完全性、一致性、冗余性和类型检查四个方而对Ｚ语言规格说明加以检验，使能尽早发现错误、提高软件正确性、降低开发开销。

关键词 Z语言 规格说明语言 检验 正确性

在线阅读 下载PDF 职称材料

形式方法与面向对象方法的结合探讨 被引量：4

11

作者 李刚 朱关铭 童頫 《计算机工程》 EI CAS CSCD 北大核心 1998年第1期13-16,69,共5页

文中讨论了形式方法和面向对象方法各自的优缺点，结合作者设计的面向对象形式规格说明语言OOZS，介绍了将这两种方法结合起来的三种途径，并对这三种途径进行了分析、评价和对比，最后提出了今后的研究方向。

关键词 规格说明语言 形式方法 面向对象 软件开发

在线阅读 下载PDF 职称材料

构件行为模型的构造研究

12

作者 马春燕 胡飞 郑小宁 《计算机应用研究》 CSCD 北大核心 2008年第10期3026-3029,共4页

提出了基于UML构件规格说明自动构造构件行为模型的方法,并用一个实例对该方法进行了说明。该方法构造的构件行为模型包含状态与状态之间的转换,接口操作作为状态转换弧上的输入,能够很好地体现接口的操作调用序列,因而可以作为构件测... 提出了基于UML构件规格说明自动构造构件行为模型的方法,并用一个实例对该方法进行了说明。该方法构造的构件行为模型包含状态与状态之间的转换,接口操作作为状态转换弧上的输入,能够很好地体现接口的操作调用序列,因而可以作为构件测试的测试模型,对于构件的开发者和使用者进行构件的黑盒测试以及第三方构件的评估很有价值。 展开更多

关键词 构件 测试模型 统一建模语言构件规格说明 构件行为模型 自动构造

在线阅读 下载PDF 职称材料