| SDL 的一阶谓词表示法及其应用 |
| |
| 引用本文： | 杨放春,陈俊亮.SDL 的一阶谓词表示法及其应用[J].北京邮电大学学报,1989(3). |
| |
| 作者姓名： | 杨放春 陈俊亮 |
| |
| 作者单位： | 北京邮电学院计算机工程系，北京邮电学院计算机工程系 |
| |
| 摘 要： | SDL 是 CCITT 推荐的一种用于描适时实系统软件的功能和行为的标准化语言.它有两种具体语法形式,图形表示法 SDL/GR 和本文表示法 SDL/PR.本文提出 SDL 的一阶谓词表示法,称之为 SDL/FOP.它可以用于 SDL/GR 输入后的内部表示形式.本文还给出一些例子,描述如何运用谓词演算构造处理 SDL/FOP 的工具.
|
| 关 键 词： | SDL 语言 一阶谓词 程控软件规范描述 |
First Order Predicate Representation of SDL and Its Applications |
| |
| Yang Fangchun Chen Junling.First Order Predicate Representation of SDL and Its Applications[J].Journal of Beijing University of Posts and Telecommunications,1989(3). |
| |
| Authors: | Yang Fangchun Chen Junling |
| |
| Affiliation: | Department of Computer Engineering |
| |
| Abstract: | SDL recommended by CCITT is a standard langtuage which can be used for speci- fying the function and the behaviour of real-time system software.There aro two con- crete syntax forms for SDL,graphical representation SDL/GR and textual representa- tion SDL/PR.In this paper,first order predicate representation of SDL.called SDL/ FOP,is presented which can be proposed as the internal representation of SDL/GR, Then several examples describing how to process SDL/FOP using predicate calculus are given. |
| |
| Keywords: | SDL/FOP language First Order predicate SPC software specification representation |
| 本文献已被 CNKI 等数据库收录！ |
