SDL静态语义定义研究

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

【摘要】

：

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

【作者】

：

赵宇虹艾波

【机构】

：

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

【出处】

：

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

【发表日期】

：

2002年1期

【关键词】

：

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

【基金项目】

：

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

下载到本地 , 更方便阅读

下载此文赞助VIP

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

论文部分内容阅读

在分析当前SDL(Specification and Description Language)静态语义定义方法的基础上,从另一角度给出了用抽象状态机(AS M:Abstract State Machine)定义SDL静态语义定义的方法.与现有方法相比,该方法不直接使用语法树,而是利用静态和动态函数定义静态语义,解决了现行方法中"="引起的二义性问题,并且很容易通过改动现有方法来实现.

其他文献

小流域土壤养分运移的数学模型及模拟

为研究土壤养分流失在流域内不同地貌单元的运移问题,通过建立小流域土壤养分运移数学模型及计算程序的编制,实现了对小流域土壤养分运移的数值模拟.该模型能描述小流域水土

期刊

小流域土壤养分运移数值模拟small river basinnutrient losstransport modeldigital simulat

一类混杂系统多重故障的半定性诊断方法

为解决混杂系统中多重故障诊断等分支研究相对薄弱的问题,以一个三容水箱系统为背景,提出了一类混杂系统多重故障的半定性故障诊断方法.该方法使用混杂自动机对系统进行建模,

期刊

混杂系统多重故障混杂自动机模糊集hybrid systemmultiple faulthybrid automatafuzzy set

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

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

期刊