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

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

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

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

SDL语言SAVE功能的等价变换

本文提出ＣＣＩＴＴ在ＳＤＬ基本集中定义的ＳＡＶＥ概念是可导出的新观点，并通过形式化地定义适合ＳＤＬ的扩展有限状态自动机（ＥＦＳＭ）模型，导出了一个消除ＳＡＶＥ的变换算法，同时证明了该算法保持了变换前后ＥＦＳＭ的等价性。

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

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

UML和SDL在开发L2CAP协议中的结合运用

建模语言的选取对软件开发至关重要，选择合适的建模语言可提高软件开发的效率，产生高质量的软件。UML和SDL是运用最广泛的两种建模语言。该文在分析二者的优缺点的基础上，以开发L2CAP为例，阐述了如何在同一软件开发过程中运用UML和SDL。

SDL语言的等价变换及工具实现

在分析ＳＤＬ语言文法的基础上，构造了ＳＤＬ／ＦＯＰ的文法形式，并在ＳＤＬ／ＦＯＰ的定义中保持了ＳＤＬ语言各种语法成分的相互关系，从而证明了ＳＤＬ语言与离散形式的ＳＤＬ／ＦＯＰ是等价的，最后给出了ＳＤＬ／ＰＲ到ＳＤＬ／ＦＯＰ转换系统的实现算法。

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

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

Solaris9下SDL混合开发机理

分析了Solaris9下ObjectGeode开发平台将SDL语言翻译成C语言的流程及文件生成机制。深入探讨了经ObjectGeode翻译器翻译后的C代码的内部工作机理和并行模块间的通信方式。并结合实际工作情况,提出了如何进行SDL和C混合开发的一般解决方案。

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

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

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

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

SDL-2000动态语义定义方法

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

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

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

进程创建顺序的行为波动效应分析

波动效应是导致大型软件系统维护费用昂贵的一个重要原因。本文基于CCITT推荐,并已在电信领域广泛应用的SDL语言研究了一种修改进程创建顺序而引起的行为波动效应现象。文中提出了进程创建式,进程创建顺序约束断言等概念。然后严格构造了一个称之为X的公理系统。从而使波动效应的分析归结为该公理系统中的演绎推理。最后给出一个例子。

一种支持更新的XML编码方法

通过对有序XML文档进行编码,在不需要访问XML原始数据文件的条件下实现对XML数据的高效处理。但是目前提出的支持插入更新的编码方案存在牺牲查询性能或者编码空间偏大等问题。提出了一种基于素数的新的编码方案FOP(Float-Order based-on Prime),FOP在没有降低查询性能的前提下,实现了XML文档的插入更新计算,并且编码空间得到了控制。实验结果表明FOP优于同类型的编码方案。

基于模糊Petri网和本体的网格服务发现

给出了一个多Agent松散耦合的网格服务发现框架.在该框架中把Agent分为三类:服务Agent、需求Agent和服务发现Agent.提出以模糊Petri网作为服务描述语言的规范,用以发布或请求服务,用可能性变迁表示一个服务或一个需求,输入库所代表在提供(或请求)服务前需要成立的前提条件,输出库所表示提供(或获得)服务后成立的条件,用可能性与必然性来量化一个服务Agent能对一个请求提供相关服务的信心程度.最后基于本体论给出了一个支持部分匹配的服务匹配算法,并用一个车辆维修服务系统的例子进行了说明.

面向对象的机电系统结构及行为建模

针对原理设计阶段机电一体化系统的逻辑结构模型、逻辑/物理行为模型和原理方案表达,提出了基于参考模型的机电一体化系统初步逻辑结构,以及基于统一建模语言(UML)类图的详细逻辑结构(即原理方案表达);提出了基于消息序列图(MSC)的交互行为建模及基于规范和描述语言(SDL)的逻辑/物理行为建模方法,从而基于人类认知客观世界的思维方式提出了面向对象的机电系统设计和分析的新视角。基于此对CD播放机工作系统中关键组件的原理方案解进行了表达,研究结果显示了面向对象系统建模方法的有效性。

一种可扩展的SMS中间件系统设计

针对传统的短消息服务SMS(Short Message Service)中间件难以适应多种应用的问题,提出了一种基于多标准分类MCV(Multiple Criteria-Value)的业务模型,通过数据掩码图,利用该业务模型能够有效实现对具体业务的抽象描述,从而形成统一、灵活的多业务应用函数接口。通过对传统的基于单一行业应用的单状态机模型的研究和改进,提出了一种多状态机模型,以此构成SMS中间件框架,成功设计和实现了一个通用、灵活的SMS中间件系统。理论分析和实际测试结果表明,利用MCV业务模型可以方便、正确地获取应用层多种业务,提高SMS中间件的灵活性,并保证SMS中间件的实时和高效,所实现的SMS中间件系统能够满足实用要求。

通信软件可重用部件库研究

文中对通信软件的可重用部件库进行研究,结合通信软件部件的特征,提出通信软件部件开发应考虑的附加因素,围绕部件开发的代价和效益目标,提出一种新的部件库设计规范,并建立部件库。

XYZ系统在电信领域中的应用

最近几年，在软件工程界内部有一种趋势，这就是开发以面向具体领域的ＣＡＳＥ环境．作为这样的一种ＣＡＳＥ工具，ＸＹＺ系统是由一时序逻辑语言ＸＹＺ／Ｅ和一组基于该语言的工具集构成．在ＸＹＺ系统中有很多的工具，它们被用来满足不同的需要．众所周知，ＳＤＬ（ｓｐｅｃｉｆｉｃａｔｉｏｎａｎｄｄｅｓｃｒｉｐｔｉｏｎｌａｎｇｕａｇｅ）是电信领域中的一个国际标准语言，而且有关基于该语言的环境已在开发，但是有关该语言的验证工作，特别是利用有关时序逻辑语言进行验证的工作还不多．作为一种尝试，本文将利用ＸＹＺ系统中的一个子系统ＸＹＺ／ＶＥＲＩ，对ＳＤＬ所描述的有关电信领域中的例子进行验证．