SDL-2000动态语义定义方法

来源 :吉林大学学报：信息科学版 | 被引量 : 0次 | 上传用户：ivanny

【摘要】

：

讨论了SDL-2000的建议Z.100的附件F中用分布式实时抽象状态机(ASM: Abstract State Machine)形式地定义SDL(Specisification and Descripiton Language)动态语义的方法.与基

【作者】

：

赵宇虹艾波

【机构】

：

北京邮电大学计算机科学与技术学院

【出处】

：

吉林大学学报：信息科学版

【发表日期】

：

2002年3期

【关键词】

：

SDL语言形式定义动态语义抽象状态机(ASM) Specification and description language(SDL) Formal d

【基金项目】

：

信息产业部国际电信联盟标准化对口项目

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

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

其他文献

以中央5号文件精神为指导努力开创政协工作新局面

一、深入学习贯彻中央5号文件精神为了准确把握中央5号文件的科学内涵和精神实质，林区党委高度重视，把学习贯彻工作当作一项重要政治任务来抓紧、抓好、抓实。一是党委常委会专

期刊

文件精神政协工作中央学习内容领导干部精神实质科学内涵政治任务

从我国高等教育的历史发展看外来影响

我国近代高等教育的历史发展过程是不断受到外来影响的过程.突出表现在,二十世纪上半叶日本、美国对我国高等教育的影响以及教会大学与德国大学的影响;二十世纪下半叶苏联的

期刊

高等教育发展外来影响

肉鹅曲霉菌病的诊断与防治

2007年6月,冯营子地区一肉鹅饲养场的10周龄肉鹅陆续发病,前来我系教学兽医院进行诊断,通过流行病学的调查、临诊诊断和实验室诊断确定为曲霉菌病.……

期刊

湖北省政协九届第二十四次常委会议召开

2006年7月26日至28日，湖北省政十分困难九届第二十四次常委会议在省政协机关召开，省委副书记，省长罗清泉到会通报了全省上装卸的经济形势和下半年经济工作的安排以及推进经济增

期刊

常委会议政协机关湖北省经济增长方式转变省委副书记经济工作经济形势省长

惠民医院真正惠及平民百姓

听众朋友，这里是中国国际广播电台，在这次节目时间里，我们继续播送本台赴湖北记者翟磊采写的录音报道。今天为大家介绍湖北省武汉市武昌区一家为平民老百姓解决看病难问题的惠民

期刊

老百姓平民医院惠民中国国际广播电台武汉市武昌区录音报道湖北省

关于G∪i=1^k Kmini的优美性

为加强对非连通图的优美性的研究，对于自然数k,mi,ni，给出一类非连通图G∪i=1^k Kmini通过构造标号函数的方法，证明了当max{mi,ni}≥3，min(mi,ni)≥2(i=1,2,…,k)时，这类图既是优

期刊

简单图非连通图优美图交错图simple graphunconnectedgraphgraceful graphalternating graph

国画花鸟

<正>~~

期刊

国画花鸟

SDL静态语义定义研究

在分析当前SDL(Specification and Description Language)静态语义定义方法的基础上,从另一角度给出了用抽象状态机(AS M:Abstract State Machine)定义SDL静态语义定义的方

期刊

SDL语言形式定义静态语义抽象状态机(ASM)Specification and description languageFormal definit

浅议居住小区公共空间的设计

居住、生存、发展是人类永恒的三原主题.在人与自然和谐相处的观念日益成熟的今天,对居住区必须做到规划、建筑、景观同步进行.随着生活水平的提高,人们对居住的需求从基本生

期刊

居住小区公共空间设计

XML实现无数据库留言簿

采用XML(Extensible Markup Language)技术替代数据库来存储留言的某些资料,利用XSL(Extensible StyleSheet Language)格式化XML文档,设计了XML文档的呈现形式,并使用ASP(Act

期刊

信息交换扩展标志语言留言簿information commuteextensible markup language(XML)message boar

SDL-2000动态语义定义方法

与本文相关的学术论文