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

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

Application and Research Telecommunication on Formal Method in Service System

To improve the stability of the telecommunication service system, introduces the formal methods to the study of telecommunication services system, while using the classical formal specification language Z to develop formal specification of the basic functions of the telecommunications sys- tem, the set of developed formal specification describes each operations in details and rigorous- ly which including dial, establish connection, release connection, change password, and others. The formal specification based on Z can be applied to various stages of system development process of telecommunication service system, while the goal is reducing the internal errors and improving stability of telecommunication service system.