动画剧本描述语言SDL／A的设计与实现

本文介绍了基于时序逻辑的动画描述模型和基于此模型设计的动画剧本描述语言ＳＤＬ／Ａ．这种语言具有便于动画设计各个层次的描述、能够描述设计的逐步求精过程、能描述动画中的各种抽象对象以及角色间动作的同步等特点，并易于将这种基本的通用的剧本描述语言集成到一个功能强大的ＣＡＳＥ环境－ＸＹＺ系统之中．

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

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

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

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

SDL动态语义模型研究

以转换系统为基本模型 ,分析了 SDL动态语义定义的基本需求 ,提出了一种基于 SDL未来发展方向的结构化操作语义定义框架 .

密钥交换过程的SDL模型分析

分析了一个信息安全产品的SDL设计模型,说明了密钥加密密钥交换的状态迁移过程,讨论了在使用SDL分析工具对模型进行分析、模拟、验证甚至代码生成中涉及的一些问题。通过实例分析,说明了形式化技术在工程中特别是安全系统的设计开发过程中的应用过程。特点是运用SDL,分析得出了密钥加密密钥交换的框架结构,并使用比特状态探测算法对其进行了验证。

通信协议的实体行为描述语言CPEBSDL

提出了一种通信协议的实体描述语言CPEBSDL.CPEBSDL语言是一种描述能力很强的语言,它可以对协议实体的状态、行为及协议实体对资源的控制和访问进行形式化的描述,同以往的描述语言不同,CPEBSDL语言把协议实体之间复杂的交互行为看做是实体对协议中共同使用到的资源的控制和访问,从而简化了交互行为描述的复杂性,便于对协议进行分析和测试.给出CPEBSDL语言规则对应的上下文无关文法G(CPEBSDL),并给出了G(CPEBSDL)的乔姆斯基范式,在此基础上给出了一个判定协议行为的CPEBSDL语言描述是否合法的判定算法——CYK协议行为序列的合法性验证算法.作为一个实例,用CPEBSDL语言对ISDN数据链路层协议LAPD的链接过程进行了完整的描述,并给出了一个判定协议行为序列是否合法的例子.

基于SDL的PPP协议软件形式化开发

介绍了形式化描述技术及其SDL语言,并以PPP协议为例,研究了协议的形式化开发的整个过程。重点研究了如何利用SDL语言抽象出PPP协议的系统、块、进程和过程并对其进行形式化描述。

MPLS LDP的SDL实现

首先描述了MPLS及其LDP的基本原理，随后介绍了SDL的基本概念及其开发工具Telelogic Tau，最后着重阐述了如何使用SDL对MPLS LDP进行设计和实现。

无线网络VoIP协议的SDL实现与仿真

将无线网络技术和VoIP技术相结合,在无线网络中提供低成本、高质量的语音业务,是当前业界所关注的热点之一。本文通过对H.323协议簇进行分析和简化,结合无线网络的特征得到一种适应于无线网络的VoIP协议。在此基础上,对如何利用SDL语言工具对此协议进行设计进行了详细介绍。最后,简略叙述了利用VC和SDL搭建一个协议测试验证平台的具体过程。

用基本ASM定义SDL动态语义

提出了用基本 ASM(Abstract State Machine)定义 SDL(Specisification and Descripiton Language)动态语义的方法框架。由于 SDL的复杂性 ,重点介绍了用 ASM模拟 SDL状态机交替工作方式 ,创建 agent和procedure实例以及复合状态应用。该方法简化了当前用分布式 ASM定义的

一种基于UML与SDL融合建模的组件系统测试方法

由于组件化软件系统开发建模过程中广泛采用的统一建模语言(UML)缺乏标准的形式化语义,不能被计算机识别与处理,使得对该系统的测试成为一项难题。提出一种基于UML和规范描述语言SDL(Specification and Description Language)融合建模的针对组件化软件系统的黑盒测试方法,生成了MSC序列图和TTCN测试用例集,并结合一个游戏系统的例子实现了该方法。

SDL静态语义定义研究

在分析当前 SDL (Specification and Description Language)静态语义定义方法的基础上 ,从另一角度给出了用抽象状态机 (ASM:Abstract State Machine)定义 SDL静态语义定义的方法。与现有方法相比 ,该方法不直接使用语法树 ,而是利用静态和动态函数定义静态语义 ,解决了现行方法中“=”引起的二义性问题 。

SDL-2000动态语义定义方法

讨论了 SDL-2 0 0 0的建议 Z.1 0 0的附件 F中用分布式实时抽象状态机 (ASM:Abstract StateMachine)形式地定义 SDL (Specisification and Descripiton Language)动态语义的方法。与基于通信顺序进程的方法相比 ,该方法能够更直接地定义 SDL的动态语义 ,具有易于维护和可读性好等特点。

SDL支撑系统

ＳＤＬ是一种主要用于对电信系统性能制定确切的功能规格和描述的国际标准语言．本文描述了以ＣＣＩＴＴＳＤＬ’８８为标准，基于图形核心系统（ＧＫＳ）设计实现的ＳＤＬ支撑系统（３Ｓ），包括ＳＤＬ的图形方式（ＳＤＬ／ＧＲ）的文档录入和编辑工作、对录入的ＳＤＬ／ＧＲ文档进行正确性检查和将ＳＤＬ／ＧＲ文本翻译到文字短语方式表达的ＳＤＬ／ＰＲ文本等几部分．此工作的完成对于使用图形方式描述计算机系统，然后翻译到高级语言提供了可能．

SDL在数字系统设计中的应用

作为一种标准的形式语言 ,SDL已经被广泛地应用在软件设计中。为了进一步扩大其应用领域 ,进行了在硬件方面的应用探索。以逻辑门电路—与门为例 ,以SDT为工具 ,说明了应用SDL进行特性描述和仿真 验证的方法。由于SDL支持面向对象技术 ,所以可以把各种常用逻辑电路或数字电路设计为SDL包。通过引用这些包 ,就能够描述和仿真 验证复杂的数字系统了。实践证明 ,SDL在硬件方面的应用是可行的 。

应用SDL仿真实现OSI参考模型的探讨

简单介绍了 OSI参考模型及 SDL语言之后 ,着重介绍了应用 SDL仿真 OSI参考模型的具体实现方法。随着 SDL 语言功能的增强和完善 ,这种方法在通信领域乃至其它领域必将得到广泛的应用。

SDL/GR中间语言的设计方法

SDL/GR 是 CCITT 推荐的用于通信领域的国际标准化语言.本文在 SDL/GR中间语言的形式定义中引入代数系统的同构概念,进而给出一个系统化地设计SDL/GR 中间语言的方法,它保证中间语言与 SDL/GR 语义等价.目前,该中间语言已被用于 SDL/GR 图形输入与各类处理工具之间的接口.

组件化分布式应用平台的研究与设计

本文根据软件开发行业的发展现状和问题，通过对相关解决技术如组件技术、分布对象技术和软件体系结构技术的研究与分析，提出了一个基于组件的分布式应用运行平台及其开发环境，目标在于降低应用开发复杂度，提高软件生产率，支持动态的。

基于时序逻辑的软件体系结构描述语言XYZ/ADL

体系结构描述语言(architecture description language,简称ADL)是基于体系结构的软件开发的基础,便于表示求精的ADL,使得好的设计能够方便地导出好的实现.时序逻辑语言XYZ/E可在统一的逻辑框架下既表示静态语义又表示动态语义,因而基于XYZ/E的体系结构描述语言XYZ/ADL支持从高层级体系结构到低层级体系结构之间的逐步过渡.系统地阐述了XYZ/ADL的概念框架并用XYZ/E进行语义解释,介绍了如何用XYZ/ADL描述体系结构和体系结构风格.