xyz系统在电信领域中的应用

最近几年，在软件工程界内部有一种趋势，这就是开发以面向具体领域的ｃａｓｅ环境．作为这样的一种ｃａｓｅ工具，ｘｙｚ系统是由一时序逻辑语言ｘｙｚ／ｅ和一组基于该语言的工具集构成．在ｘｙｚ系统中有很多的工具，它们被用来满足不同的需要．众所周知，ｓｄｌ（ｓｐｅｃｉｆｉｃａｔｉｏｎａｎｄｄｅｓｃｒｉｐｔｉｏｎｌａｎｇｕａｇｅ）是电信领域中的一个国际标准语言，而且有关基于该语言的环境已在开发，但是有关该语言的验证工作，特别是利用有关时序逻辑语言进行验证的工作还不多．作为一种尝试，本文将利用ｘｙｚ系统中的一个子系统ｘｙｚ／ｖｅｒｉ，对ｓｄｌ所描述的有关电信领域中的例子进行验证．