一种用基本ASM定义SDL静态语义的方法

北京邮电大学学报 ›› 2004, Vol. 27 ›› Issue (1): 55-59.

一种用基本ASM定义SDL静态语义的方法

赵宇虹, 艾波

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

收稿日期:2002-09-16 出版日期:2004-01-28
作者简介: 赵宇虹(1973—),女,博士生。 E-mail: yuhongms@yahoo.com
基金资助:
信息产业部国际电联标准化对口项目(97-T003)

Approach to Define SDL Static Semantics with Basic ASM

ZHAO Yu-hong, AI Bo

Computer Science and Technology School, Beijing University of Posts and Telecommunications, Beijing 100876, China

Received:2002-09-16 Online:2004-01-28

摘要/Abstract

摘要： 提出直接用基本Abstract State Machine定义Specification and Description Language静态语义的形式方法,其主要特点是: 语法域中的元素统一解释为语法值;转换规则定义为ASM规则;映射规则定义为一系列称为t-函数的映射函数形式。

关键词: 抽象状态机, SDL语言, 静态语义, 形式定义

Abstract: A formal method to define the static semantics of SDL (specification and description language) using basic ASM(abstract state machine) is presented. Main features of this method are that elements in syntax domains can be interpreted uniquely as syntax values; transformation rules can be defined as ASM rules; mapping rules can be defined as a series of mapping functions called t-functions.

Key words: abstract state machine, specification and descriptionlangugage, static semantics, formal method

中图分类号:

TN915.04

赵宇虹, 艾波. 一种用基本ASM定义SDL静态语义的方法[J]. 北京邮电大学学报, 2004, 27(1): 55-59.

ZHAO Yu-hong, AI Bo. Approach to Define SDL Static Semantics with Basic ASM[J]. JOURNAL OF BEIJING UNIVERSITY OF POSTS AND TELECOM, 2004, 27(1): 55-59.