形式化方法在电信服务系统中的应用与研究

摘要

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