论文部分内容阅读
为提高电信服务系统的稳定性．把形式化方法引入到电信服务系统的研究中，并用典型的形式化规格语言Z开发电信系统中基本功能的形式化规格，该套形式化规格对拔打电话、建立连接、释放连接、修改密码等操作的进行详细、精确的描述。基于Z语言的形式化规格可以应用于电信服务系统开发过程的各个阶段．以期减少电信服务系统内部错误的产生、提高稳定性。