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

Application and Research on Formal Method in Telecommunication Service System

作　　者：彭展[1] 

机构地区：[1]广东石油化工学院教育信息技术中心,茂名525000

出　　处：《现代计算机》2012年第9期25-29,共5页Modern Computer

摘　　要：为提高电信服务系统的稳定性,把形式化方法引入到电信服务系统的研究中,并用典型的形式化规格语言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.

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

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