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

作     者：沈武威 唐稚松 

作者机构：中国科学院软件研究所 

出 版 物：《软件学报》 (Journal of Software)

年 卷 期：1996年第7卷第6期

页      面：321-330页

核心收录：

学科分类：0202[经济学-应用经济学] 02[经济学] 020205[经济学-产业经济学] 

基　　金：国家自然科学基金 北京邮电大学程控交换机技术与通信网国家重点实验室资助 

主　　题：电信 XYZ系统 程序验证 软件工程 

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