两种通信软件描述语言间一致性检验的定义及分析

北京邮电大学学报 ›› 2000, Vol. 23 ›› Issue (3): 49-63.

两种通信软件描述语言间一致性检验的定义及分析

邵玮, 艾波

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

收稿日期:2000-01-06 出版日期:2000-10-10
作者简介:邵玮(1973—),女,山西临汾市人,助教.
基金资助:

The Definition and Analysis of Consistence Check betweenTwo Telecommunication Software Description Languages

SHAO Wei, AI Bo

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

Received:2000-01-06 Online:2000-10-10
Supported by:

摘要/Abstract

摘要： 对两种通信软件描述语言FDL和SEQD进行了简要介绍,给出了它们基本对应关系的一致性定义,用状态树的概念对FDL和SEQD之间的一致性检验方法进行了形式化分析与描述.

关键词: 描述语言, 一致性检验, 功能描述语言

Abstract: After given a short introduction of two telecommunication software description languages FDL, SEQD, the paper discuss the consistence problem between them and gives a formal analysis of the consistency check using the concept of state tree.

Key words: description language, consistency check, function description language

中图分类号:

TP301.2

邵玮, 艾波. 两种通信软件描述语言间一致性检验的定义及分析[J]. 北京邮电大学学报, 2000, 23(3): 49-63.

SHAO Wei, AI Bo. The Definition and Analysis of Consistence Check betweenTwo Telecommunication Software Description Languages[J]. JOURNAL OF BEIJING UNIVERSITY OF POSTS AND TELECOM, 2000, 23(3): 49-63.

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