未找到相关数据
XYZ系统在电信领域中的应用
被引：2
作者：
沈武威，唐稚松
机构：
[1] 中国科学院软件研究所
来源：
关键词：
时序逻辑，电信系统，SDL语言，XYZ系统，程序验证，CASE工具，程序转换;
D O I：
10.13328/j.cnki.jos.1996.06.001
中图分类号：
F62 [电信];
学科分类号：
020205 ;
0202 ;
摘要：
最近几年，在软件工程界内部有一种趋势，这就是开发以面向具体领域的ＣＡＳＥ环境．作为这样的一种ＣＡＳＥ工具，ＸＹＺ系统是由一时序逻辑语言ＸＹＺ／Ｅ和一组基于该语言的工具集构成．在ＸＹＺ系统中有很多的工具，它们被用来满足不同的需要．众所周知，ＳＤＬ（ｓｐｅｃｉｆｉｃａｔｉｏｎａｎｄｄｅｓｃｒｉｐｔｉｏｎｌａｎｇｕａｇｅ）是电信领域中的一个国际标准语言，而且有关基于该语言的环境已在开发，但是有关该语言的验证工作，特别是利用有关时序逻辑语言进行验证的工作还不多．作为一种尝试，本文将利用ＸＹＺ系统中的一个子系统ＸＹＺ／ＶＥＲＩ，对ＳＤＬ所描述的有关电信领域中的例子进行验证．
引用
收藏
页码：321 / 330
页数：10
相关论文