摘要
为提高电信服务系统的稳定性,把形式化方法引入到电信服务系统的研究中,并用典型的形式化规格语言Z开发电信系统中基本功能的形式化规格,该套形式化规格对拨打电话、建立连接、释放连接、修改密码等操作的进行详细、精确的描述。基于Z语言的形式化规格可以应用于电信服务系统开发过程的各个阶段,以期减少电信服务系统内部错误的产生、提高稳定性。
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.
出处
《现代计算机》
2012年第9期25-29,共5页
Modern Computer
关键词
形式化方法
Z语言
电信系统
形式化规格
Formal Method
Z Language
Telecommunication System
Formal Specification
