SDL_TRAN，一个形式描述语言SDL的交互式生成器

本文报告一种能将ＦＳＭ自动转换为ＳＤＬ描述的ＳＤＬ描述生成器──ＳＤＬ_ＴＲＡＮ。除了自动变换部分之外，ＳＤＬ_ＴＲＡＮ还包含一个具有友好用户接口的图形编辑器。

元数据规范的定义与描述语言

元数据是信息资源（含实体信息资源和网络信息资源）组织的重要工具，而置标语言又是元数据得以体觋的重要工具。本文侧重研究用于定义与描述元数据规范的语言，以供数字图书馆在信息组织时选用。

VDM和Z两种规范描述语言的比较

本文以关系数据库的规范为例，详细讨论了两种重要的规范描述语言ＶＤＭ和Ｚ的主要区别，对它们的共性和发展史也作了简单介绍。

作战仿真想定描述语言及描述规范综述

仿真想定描述规范对加快想定数据准备速度,提高想定数据质量,并促进想定数据重用具有重要意义。深入辨析了军事想定、仿真想定、仿真想定片段、仿真想定变体等相关概念,梳理了基于定制数据格式的仿真初始化、仿真想定描述语言及应用、仿真想定描述规范等方面国内外研究现状,归纳了现有研究在描述规范的结构化、基本元素模型、仿真想定元数据方面存在的不足,指出了仿真想定数据体系构成、仿真想定数据描述规范以及仿真想定数据管理机制等下一步重点研究方向。

课件描述语言SDL及其应用

计算机辅助教学(CAI)系统设计的一个重要工作,就是课件的计算机化.在现行的CAI系统的设计中,课件大多是和操纵课件进行教学的程序熔合在一起的.这种方法在课件庞大复杂时是难以办到的.既使是一般规模的CAI软件,使用这种方法设计也会造成系统维护上的困难,灵活性较差.

对象描述语言编译器的设计和实现

对象描述语言ＯＤＬ（ｏｂｊｅｃｔｄｅｓｃｒｉｐｔｉｏｎｌａｎｇｕａｇｅ）是组合框架软件ＳＣＯＰ（ｓｏｆｔｗａｒｅｃｏｎｓｔｒｕｃｔｉｏｎ＝ｏｂｊｅｃｔ＋ｐｒｏｃｅｓｓｃｏｎｔｒｏｌ）环境的核心，ＯＤＬ将类的抽象规范和具体实现相分离．ＯＤＬ编译器支持这种分离，并在此基础上实现了语言独立；另外，在ＳＣＯＰ对象管理系统ＯＭＳ（ｏｂｊｅｃｔｍａｎａｇｅｍｅｎｔｓｙｓｔｅｍ）的支持下，在不同站点上开发的类及其所提供的服务可以共享，从而实现了位置独立．编译器还实现了动态联编的分离编译、基于对象库的复用和自动链接以及含参类的快速实例化．编译器以Ｃ语言为中间代码，生成的代码具有良好的可移植性．该文详细介绍了ＯＤＬ编译器的关键设计技术和实现方法．

VHDL硬件描述语言及其发展

本文简要介绍VHDL语言的基本特征和支持系统，总结了VHDL语言的目前研究状况，指出以VHDL语言为接口，研制我们的设计自动化工具是正确的抉择。

基于SDL语言代码自动生成技术研究

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语言动态语义模型的研究

介绍了SDL系统规范,基于通信扩展有限状态机CEFSM的SDL进程。系统最重要的属性是行为,动态语义模型用元进程描述系统可观察的行为。研究了ITUZ.100建议附件F中元进程的划分,提出一种新的元进程定义,并举例描述了SDL系统的动态语义模型。

SDL语言及其在TD-PRS终端开发中的应用

SDL语言是 CCITT推荐的规范与描述性语言 ,由 ITU - T发展和标准化 ,被定义在兰皮书 Z.10 0建议中 ,采用 FSM的概念来描述对象。作为国际标准化的正式语言 ,它被用来规范描述实时系统 ,因此主要论述了规范描述语言 SDL 及其在 TD-

SDL规范性能自动分析

重点阐述 SDL 规范性能的自动分析.分两个步骤,首先将 SDL 规范映射到等价的 Petri 网模型,再对 Petri 网模型进行分析(可达性分析和线性不变式分析).分析工作与转换工作由工具 SDLPN 自动完成.

SDL在空间通信协议开发中的应用

针对空间通信协议开发难度大、代价大的问题,提出了基于协议工程思想利用SDL(规范与描述语言)对SCPS-TP(空间通信协议规范-传输协议)进行开发的方法,包括SDL建模、仿真和验证。首先对SCPS-TP进行了功能分析,确定功能点和状态机,并据此利用SDL建模;接着对模型进行实时仿真,测试其正确性,通过调试保证所有功能通过仿真;最后对模型进行了验证。验证结果表明,SCPS-TP不存在死锁、活锁等逻辑错误,为其在空间通信中的应用提供了有力支持,同时也说明了SDL在空间通信协议开发中的重要应用。

SDL 的一阶谓词表示法及其应用

SDL 是 CCITT 推荐的一种用于描适时实系统软件的功能和行为的标准化语言.它有两种具体语法形式,图形表示法 SDL/GR 和本文表示法 SDL/PR.本文提出 SDL 的一阶谓词表示法,称之为 SDL/FOP.它可以用于 SDL/GR 输入后的内部表示形式.本文还给出一些例子,描述如何运用谓词演算构造处理 SDL/FOP 的工具.

面向服务软件体系结构的XML描述和构造

介绍一种新的基于XML的用来描述服务软件体系结构的体系结构描述语言S-XADL.S-XADL规约采用XML作为元语言,集成了相关的UML 2.0 Profile规则、OCL语言和MSC表示法,除具备描述软件系统高层结构的能力,还为定义服务的交互集成模式和把服务映射到目标构件配置提供了建模元素.提出一个三阶段的软件体系结构迭代改进过程,该过程把服务视为首要的类建模元素,并认为服务是横切体系结构的方面.给出一个使用MVC模式的运行实例的面向服务体系结构建模,用以展示该方法的可行性和有效性.

将UML模型转换成SDL模型的方法

提出了一种将UML模型转换成SDL模型的方法。UML是一种优秀的建模语言,使用UML可以为协议建立模型带来很多方便。但是,UML缺乏形式化语义,因此不能满足协议精确性的要求。SDL是一种用于通信软件规格的标准语言,它拥有形式化语义,而且有很多商业软件都支持它。在协议设计和开发中,将UML模型转换成SDL模型可以克服这样的缺点。通过为UML制作适当的profile,并制定严格的转换规则可以实现模型的转换。

一种改进的Ad-hoc路由协议的规范化设计与验证

Ad-hoc路由协议依据路由发现的不同分为主动路由策略和按需路由策略,根据实际网络特点,结合两类协议的优点,提出一种适合快速拓扑更新的无线路由协议。并采用SDL语言工具设计验证了这种小型高移动性无线网络的路由协议。

基于UCM和SDL的电信业务功能需求建模

电信业务开发实践表明正确获取和建模业务功能需求是成功开发新业务的前提和基础 ,因此文章强调建模用户需求的重要性 ,提出基于 UCM和 SDL 的电信业务功能需求建模方法 ,并详细讨论了整个建模过程 ,该方法对于提高电信业务软件开发成功率、缩短开发周期和减少开发工作量有积极意义。

一个SDL集成环境IES

随着SDL的日趋完善,对SDL集成环境的需求更加迫切。本文先就国外在此方面的研究作一概述,然后着重介绍我们建立的SDL集成环境IES的原理和实现方法,并描述了SDL的应用前景。