期刊文献+
共找到35篇文章
< 1 2 >
每页显示 20 50 100
基于SDL语言的通信协议系统设计方法 被引量:5
1
作者 章韵 杨庚 钱恩渊 《计算机工程与应用》 CSCD 北大核心 2001年第22期95-97,151,共4页
SDL语言是软件工程中的系统功能结构的描述语言方法。该文讨论了SDL语言的基本概念,特别是SDL对通信协议工作机制和过程的形式化分析及表示,分析了对电话语音查询系统的协议流程和工作机制的应用,为通信协议的设计和仿真、测试提供了一... SDL语言是软件工程中的系统功能结构的描述语言方法。该文讨论了SDL语言的基本概念,特别是SDL对通信协议工作机制和过程的形式化分析及表示,分析了对电话语音查询系统的协议流程和工作机制的应用,为通信协议的设计和仿真、测试提供了一种有效的方法。 展开更多
关键词 通信协议 系统设计 sdl语言 软件工程 计算机网络
下载PDF
SDL语言SAVE功能的等价变换 被引量:1
2
作者 刘玉璋 杨放春 《通信学报》 EI CSCD 北大核心 1994年第4期39-47,共9页
本文提出CCITT在SDL基本集中定义的SAVE概念是可导出的新观点,并通过形式化地定义适合SDL的扩展有限状态自动机(EFSM)模型,导出了一个消除SAVE的变换算法,同时证明了该算法保持了变换前后EFSM的等价性。
关键词 sdl语言 等价变换 SAVE
下载PDF
基于SDL语言代码自动生成技术研究 被引量:1
3
作者 吴琦 熊光泽 《计算机科学》 CSCD 北大核心 2003年第4期104-107,共4页
As one of the key technology of CASE tools,code auto-generation has a wide application future. However, at present, some of problems limit its application in the practical project, such as executive efficiency of code... As one of the key technology of CASE tools,code auto-generation has a wide application future. However, at present, some of problems limit its application in the practical project, such as executive efficiency of code generation, the combination with the hardware and software and etc. In thus paper, the main factors of code autogeneration are introduced in details. The main parts of the code auto-generation based on SDL and the main factors which will effect the ultimately code performance are analyzed. The improved methods aiming at the different software and hardware platform and application performance are presented. 展开更多
关键词 sdl语言 代码自动生成 软件开发 计算机 形式化描述语言 建模语言
下载PDF
基于SDL语言的移动Ad-hoc网路由协议的设计和验证 被引量:1
4
作者 潘红艳 于全 《计算机科学》 CSCD 北大核心 2004年第3期31-33,共3页
论文简要阐述了SDL的基本概念及使用它开发通信协议软件的优点,并给出在移动Ad-hoc网路由协议开发中采用SDL语言对路由协议软件进行设计和验证的实例,为通信协议的设计和验证提供了一种有效的方法。
关键词 移动Ad-hoc网路 路由协议 设计 验证 通信协议软件 sdl语言 计算机网络
下载PDF
SESDL——个SDL语言的支撑环境
5
作者 杨放春 陈俊亮 《通信学报》 EI CSCD 北大核心 1990年第5期78-80,86,共4页
SDL是CCITT推荐的用于描述实时系统软件的功能和行为规范的标准语言。它可以用于软件生命周期模型中的许多阶段。本文提出一个以数据库为核心的SDL语言的支撑环境,称之为SESDL。并且详细讨论了SESDL的功能特点和结构原理。文中对各种主... SDL是CCITT推荐的用于描述实时系统软件的功能和行为规范的标准语言。它可以用于软件生命周期模型中的许多阶段。本文提出一个以数据库为核心的SDL语言的支撑环境,称之为SESDL。并且详细讨论了SESDL的功能特点和结构原理。文中对各种主要工具的功能也进行了较为详细的分析。其中有些工具已经实现。 展开更多
关键词 SEsdl sdl语言 支撑环境 数据库
下载PDF
SDL语言的等价变换及工具实现
6
作者 刘玉璋 杨放春 《高技术通讯》 CAS CSCD 1995年第3期4-8,共5页
在分析SDL语言文法的基础上,构造了SDL/FOP的文法形式,并在SDL/FOP的定义中保持了SDL语言各种语法成分的相互关系,从而证明了SDL语言与离散形式的SDL/FOP是等价的,最后给出了SDL/PR到SDL/... 在分析SDL语言文法的基础上,构造了SDL/FOP的文法形式,并在SDL/FOP的定义中保持了SDL语言各种语法成分的相互关系,从而证明了SDL语言与离散形式的SDL/FOP是等价的,最后给出了SDL/PR到SDL/FOP转换系统的实现算法。 展开更多
关键词 sdl语言 语言变换 软件工具 程序语言
下载PDF
基于SDL语言的软件维护工具SMS
7
作者 陈绍强 杨放春 《高技术通讯》 CAS CSCD 1995年第1期29-32,共4页
叙述了基于CCITT-SDL语言的软件维护工具SMS的实现及应用,并简单介绍了波动效应分析理论。最后指出了SMS的发展前景。
关键词 软件维护 sdl语言 波动效应 软件工具
下载PDF
SDL语言中的面向对象概念 被引量:2
8
作者 倪朝 黄洁 +1 位作者 宋雨 艾波 《通信学报》 EI CSCD 北大核心 1999年第6期62-68,共7页
介绍SDL语言最新版本中的面向对象语言机制,探讨与此相关的概念及其使用方法。在分析类型与实例在系统规范中的区别和联系的基础上,举例说明类型的定义和使用方法,介绍了在面向对象框架下类型的一般化和专门化概念,最后指出SD... 介绍SDL语言最新版本中的面向对象语言机制,探讨与此相关的概念及其使用方法。在分析类型与实例在系统规范中的区别和联系的基础上,举例说明类型的定义和使用方法,介绍了在面向对象框架下类型的一般化和专门化概念,最后指出SDL语言中面向对象概念的不足之处并提出了相关的改进思想。 展开更多
关键词 面向对象 类型 一般化 专门化 sdl语言
下载PDF
SDL语言及其在TD-PRS终端开发中的应用 被引量:1
9
作者 贾凤君 宋怀波 郑建宏 《重庆邮电学院学报(自然科学版)》 2003年第2期22-24,共3页
SDL语言是 CCITT推荐的规范与描述性语言 ,由 ITU - T发展和标准化 ,被定义在兰皮书 Z.10 0建议中 ,采用 FSM的概念来描述对象。作为国际标准化的正式语言 ,它被用来规范描述实时系统 ,因此主要论述了规范描述语言 SDL 及其在 TD-
关键词 sdl语言 规范描述语言 有限状态机 TD-SCDMA 通用无线分组业务
下载PDF
ASN.1与SDL语言编程方法研究
10
作者 谭鹏 孙栋 耿登田 《无线电通信技术》 北大核心 1999年第2期38-41,共4页
介绍了ASN.1语言的基本概念、混合使用ASN.1和SDL语言的一般方法,简要介绍了Z.105的内容。论证了在工程实践中采用两者混合编程的可行性。
关键词 ASN.1 Z.105 sdl语言 语言编程方法
下载PDF
SDL语言的测试数据选择标准
11
作者 袁迅 陈俊亮 《北京邮电学院学报》 CSCD 1991年第1期14-22,共9页
本文提出了一种新的方法:运用数据流分析技术,来选择测试路径和测试数据.这种技术类似于编译优化所用的方法.目前常用的只通过检查程序的控制流来产生路径选择标准是有欠缺的.本文提出的方法着眼于程序中变量以及状态的定义和引用,并对... 本文提出了一种新的方法:运用数据流分析技术,来选择测试路径和测试数据.这种技术类似于编译优化所用的方法.目前常用的只通过检查程序的控制流来产生路径选择标准是有欠缺的.本文提出的方法着眼于程序中变量以及状态的定义和引用,并对常用的路径选择其它标准加以比较.本文采用基本的 SDL/GR 语言为模型,来阐述这种新的分析方法. 展开更多
关键词 sdl语言 数据流 数据测试 测试标准
下载PDF
用SDL语言开发交换系统软件
12
作者 谭鹏 《无线电通信技术》 北大核心 1998年第5期8-11,共4页
主要介绍了交换系统软件的一般特征及SDL语言的基本概念、SDL语言的新进展,阐述了SDL语言在交换系统软件中的重要作用,介绍了SDL开发工具的基本情况,并提出了用SDL语言设计、开发交换系统软件的一般步骤。
关键词 交换系统 软件开发 sdl语言
下载PDF
SDL语言的SAVE功能的测试
13
作者 罗钢 陈俊亮 《北京邮电学院学报》 CSCD 1989年第4期34-40,共7页
CCITT SDL语言的SAVE功能可以简化过程来表示,但是使软件测试更为困难.本文分析了SAVE功能的性质,并且提出了测试SAVE功能的方法.
关键词 sdl语言 SAVE功能 软件 测试 通信
下载PDF
论SDL语言在通讯软件工程中的地位,作用及现状
14
作者 赵舒明 《数字通信》 1993年第1期26-32,共7页
关键词 sdl语言 通信 软件工程
下载PDF
SDL语言及其在通信系统中的应用
15
作者 姚仲敏 《铁道通信信号》 1996年第2期16-18,共3页
SDL语言是ITU-T推荐的一种语言,用来表达数字程控交换机内部逻辑功能的说明和描述,它是设计与说明数字程控交换机的有力工具。介绍了该语言的基本内容及其应用。
关键词 sdl语言 通信系统 数字程控交换机
下载PDF
SDL_TRAN,一个形式描述语言SDL的交互式生成器
16
作者 张尧学 彭明田 张越 《计算机研究与发展》 EI CSCD 北大核心 1994年第11期44-49,共6页
本文报告一种能将FSM自动转换为SDL描述的SDL描述生成器──SDL_TRAN。除了自动变换部分之外,SDL_TRAN还包含一个具有友好用户接口的图形编辑器。
关键词 形式描述语言 交互式生成器 sdl语言
下载PDF
SDL语言及其在通信系统中的应用 被引量:4
17
作者 刘宇红 白伟 《通信技术》 2002年第12X期82-83,共2页
SDL是ITU-T推荐的用来描述系统行为的一种语言。这里首先简单介绍了SDL的相关内容,然后举例说明了SDL在通信系统中的应用。
关键词 sdl语言 状态图
原文传递
SDL形式描述语言初探 被引量:2
18
作者 齐赛 《通讯世界》 2001年第3期52-53,共2页
关键词 sdl语言 形式描述语言 通信协议
下载PDF
SDL/GR中间语言的设计方法
19
作者 杨放春 陈俊亮 《北京邮电学院学报》 CSCD 1990年第4期1-6,共6页
SDL/GR 是 CCITT 推荐的用于通信领域的国际标准化语言.本文在 SDL/GR中间语言的形式定义中引入代数系统的同构概念,进而给出一个系统化地设计SDL/GR 中间语言的方法,它保证中间语言与 SDL/GR 语义等价.目前,该中间语言已被用于 SDL/GR... SDL/GR 是 CCITT 推荐的用于通信领域的国际标准化语言.本文在 SDL/GR中间语言的形式定义中引入代数系统的同构概念,进而给出一个系统化地设计SDL/GR 中间语言的方法,它保证中间语言与 SDL/GR 语义等价.目前,该中间语言已被用于 SDL/GR 图形输入与各类处理工具之间的接口. 展开更多
关键词 sdl语言 中间语言 程控软件 通信
下载PDF
课件描述语言SDL及其应用
20
作者 王洪学 郎彦 杨树峰 《黑龙江大学自然科学学报》 CAS 1993年第3期43-47,共5页
计算机辅助教学(CAI)系统设计的一个重要工作,就是课件的计算机化.在现行的CAI系统的设计中,课件大多是和操纵课件进行教学的程序熔合在一起的.这种方法在课件庞大复杂时是难以办到的.既使是一般规模的CAI软件,使用这种方法设计也会造... 计算机辅助教学(CAI)系统设计的一个重要工作,就是课件的计算机化.在现行的CAI系统的设计中,课件大多是和操纵课件进行教学的程序熔合在一起的.这种方法在课件庞大复杂时是难以办到的.既使是一般规模的CAI软件,使用这种方法设计也会造成系统维护上的困难,灵活性较差. 展开更多
关键词 sdl语言 课件描述语言 CAI
下载PDF
上一页 1 2 下一页 到第
使用帮助 返回顶部