SDL动态语义模型研究

北京邮电大学学报 ›› 2000, Vol. 23 ›› Issue (1): 41-45.

SDL动态语义模型研究

倪朝,王颖,黄洁,艾波

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

收稿日期:1999-05-18 出版日期:2000-01-10
作者简介:倪朝(1970-), 男, 西安人, 博士生.
基金资助:
信息产业部国际电信联盟对口研究资助项目

A New Dynamic Semantic Model of SDL

NI Zhao, WANG Ying, HUANG Jie, AI Bo

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

Received:1999-05-18 Online:2000-01-10

摘要/Abstract

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

关键词: 描述语言, 规格描述语言, 结构化操作语义

Abstract: A proposal for a dynamic semantic model of SDL is given in terms of structural operational semantics.The transition systems for both system level and process/channel level are defined with the principle of transition rules.

Key words: descriptive languages, specification descriptive languages, operational semantics

中图分类号:

TP312

倪朝,王颖,黄洁,艾波. SDL动态语义模型研究[J]. 北京邮电大学学报, 2000, 23(1): 41-45.

NI Zhao, WANG Ying, HUANG Jie, AI Bo. A New Dynamic Semantic Model of SDL[J]. JOURNAL OF BEIJING UNIVERSITY OF POSTS AND TELECOM, 2000, 23(1): 41-45.

[1]	徐月梅, 牛温佳, 赵志军, 唐晖, 慈松. WSDL-IO可扩展的无线传感网服务匹配机制[J]. 北京邮电大学学报, 2013, 36(4): 44-49.
[2]	王颖, 艾波. SDL-2000的形式语义研究[J]. 北京邮电大学学报, 2001, 24(4): 58-61.
[3]	邵玮, 艾波. 两种通信软件描述语言间一致性检验的定义及分析[J]. 北京邮电大学学报, 2000, 23(3): 49-63.
[4]	黄惠英,费铸增. EPLD可编程器件设计实验开发[J]. 北京邮电大学学报, 2000, 23(2): 43-47.
[5]	邓芳, 马华东, 钟义信, 李怀诚. 基于XYZ系统的协同工作系统的描述模型[J]. 北京邮电大学学报, 1998, 21(4): 48-52.