%0 Journal Article
%T xyz系统在电信领域中的应用
%A 沈武威？
%A 唐稚松？
%J 软件学报
%P 321-330
%D 1996
%X 最近几年，在软件工程界内部有一种趋势，这就是开发以面向具体领域的ｃａｓｅ环境．作为这样的一种ｃａｓｅ工具，ｘｙｚ系统是由一时序逻辑语言ｘｙｚ／ｅ和一组基于该语言的工具集构成．在ｘｙｚ系统中有很多的工具，它们被用来满足不同的需要．众所周知，ｓｄｌ（ｓｐｅｃｉｆｉｃａｔｉｏｎａｎｄｄｅｓｃｒｉｐｔｉｏｎｌａｎｇｕａｇｅ）是电信领域中的一个国际标准语言，而且有关基于该语言的环境已在开发，但是有关该语言的验证工作，特别是利用有关时序逻辑语言进行验证的工作还不多．作为一种尝试，本文将利用ｘｙｚ系统中的一个子系统ｘｙｚ／ｖｅｒｉ，对ｓｄｌ所描述的有关电信领域中的例子进行验证．
%K 时序逻辑
%K 电信系统
%K sdl语言
%K xyz系统
%K 程序验证
%K case工具
%K 程序转换
%U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=19960601&flag=1