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

Formal Specification of Telecommunication Service System Based on Z Language

作　　者：彭展[1] 

机构地区：[1]广东石油化工学院

出　　处：《微型电脑应用》2012年第5期43-45,共3页Microcomputer Applications

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

关 键 词：Z语言 电信系统 形式化规格 验证 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]