基于Z语言的电信服务系统的形式化规格

摘要

形式化方法是基于数学的系统开发方法,它可以应用于系统开发的各个阶段,包括系统需求、设计、实现、测试等.首先介绍了形式化规格语言Z,接着用Z开发电信服务系统的形式化规格,并对形式化规格进行验证,以期提高电信服务系统的稳定性,也为探测电信服务系统的功能冲突、预防系统缺陷的产生提供研究的基础和支持.%Formal method is a kind of system development method that based on mathematics. It can be applied to each stage of system development,including system requirement,design,implementation and test. In this article,firstly,it is the introduction of formal specification language Z,then using Z to develop formal specification of telecom service system,and verify the formal specification. The developed formal specification can enhance the stability of telecommunication service,while providing research foundation and support for detecting function clash and preventing system defect.