搜索到2830篇“ 形式描述语言“的相关文章
- 对形式描述语言E-LOTOS的进一步研究及应用
- 本文根据实际需要,按照形式描述语言E-LOTOS的语法和语义,对现有的E-LOTOS的某些功能进行了改进和完善,对[1]中提出的对形式描述语言E-LOTOS的图形表示进行了进一步研究;作为应用,对路由信息协议(RIP协议...
- 赵玉兰叶新铭
- 文献传递
- SDL形式描述语言初探被引量：3
- 2001年
- 齐赛
- 关键词：SDL语言形式描述语言通信协议
- 一个基于属性文法的通信协议形式描述语言及协议开发环境
- 2000年
- 通信协议是网络技术的核心。由于异质异构环境中网络协议固有的复杂性,因此需要研制一套建立在严格数学模型基础之上的协议开发方法和集成工具环境,以降低协议开发难度,提高协议开发效率。本文旨在探索一种用于协议形式描述和工程开发的扩展属性文法,重点研究了设计属性文法描述语言的原理及结构特点等,并通过一个完整例子说明如何使用我们所设计的属性文法描述语言L_PSAG定义一个协议,然后给出一个基于属性文法的协议设计环境。
- 房鼎益安娜
- 关键词：通信协议属性文法形式描述语言
- 形式描述语言COOZ的集成支撑环境COOZ-Tools被引量：1
- 1999年
- 介绍支持面向对象的形式描述语言ＣＯＯＺ的集成支撑环境ＣＯＯＺ－Ｔｏｏｌｓ的设计原则、系统结构、功能、特点和关键的实现技术。ＣＯＯＺ是Ｚ语言的面向对象扩充，从而将形式化语言和面向对象机制有机结合起来。ＣＯＯＺ－Ｔｏｏｌｓ支持基于ＣＯＯＺ的软件开发，它主要由如下工具组成：规格说明编辑、浏览工具、语法语义检查工具、联机帮助工具、项目管理工具。
- 袁晓东胡德强许皓李勇郑国梁
- 关键词：形式描述语言面向对象COOZ
- 一种适用于过程控制系统建模的形式描述语言PROTOB
- 1998年
- 本文研讨一种适用于过程控制系统建模的形式描述语言PROTOB。文中首先阐述了PROT网的基本概念及其实例,在此基础上讨论了PROTOB网,结合一个过程控制系统的控制流程,给出了它的PROTOB模型。
- 胡家宝彭向荣
- 关键词：形式语言形式描述语言
- SDL_TRAN，一个形式描述语言SDL的交互式生成器被引量：1
- 1994年
- 本文报告一种能将ＦＳＭ自动转换为ＳＤＬ描述的ＳＤＬ描述生成器──ＳＤＬ_ＴＲＡＮ。除了自动变换部分之外，ＳＤＬ_ＴＲＡＮ还包含一个具有友好用户接口的图形编辑器。
- 张尧学彭明田张越
- 关键词：形式描述语言SDL语言
- 协议形式描述语言Estelle的交互生成方法
- 1993年
- 形式描述是协议工程的基础。本文提出一种支持国际标准形式描述语言Estelle 描述生成的交互式生成方法。协议文本可划分为用有限状态自动机(FSM)描述的协议功能部分和用自然语言描述的动作部分。该方法把FSM 描述自动变换成Estelle 描述,把动作描述由自然语言交互地变换成Estelle 描述后,再组合得到完整的Estelle 描述。
- 张尧学肖淑男史美林
- 关键词：计算机网络
- SDL形式描述语言
- 1990年
- 钟嘉强
- 关键词：SDL语言形式描述语言
- ISO形式描述语言LOTOS
- 1990年
- 闵京华
- 关键词：ISOLOTOS语言形式描述语言
- 分布概率实时系统的形式描述语言、模型和验证
- 罗铁庚
- 关键词：形式描述语言
相关作者
- 黄谦
- 作品数：4被引量：12H指数：1
- 供职机构：武汉大学计算机学院软件工程国家重点实验室
- 研究主题：Z语言 过程描述语言 形式描述语言 软件工程 分布式技术
- 彭明田
- 作品数：3被引量：6H指数：2
- 供职机构：中国科学技术大学研究生院
- 研究主题：多媒体计算机 分布式 多媒体通信 中远程 远程过程调用
- 彭向荣
- 作品数：1被引量：0H指数：0
- 供职机构：武汉水运工业学校
- 研究主题：过程控制 形式语言 形式描述语言
- 房鼎益
- 作品数：596被引量：864H指数：12
- 供职机构：西北大学
- 研究主题：无线传感器网络 被动式 网络 感知 鲁棒性
- 郑国梁
- 作品数：148被引量：847H指数：16
- 供职机构：南京大学计算机科学与技术系计算机软件新技术国家重点实验室
- 研究主题：面向对象 软件工程 软件开发 UML 程序设计
