从类树形流程图到Z语言的形式化规格  

From the Tree Liked Flowchart to Formal Specification Based on Z Language

作　　者：彭展[1] 

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

出　　处：《微型电脑应用》2014年第1期28-30,共3页Microcomputer Applications

基　　金：广东石油化工学院青年自然科学项目(513023)

摘　　要：在软件工程中,使用Z语言形式化规格可以大大提高软件开发质量,提高稳定性,降低开发成本,但要开发出高质量的形式化规格并通过验证,却需要损耗较多的时间和精力。为使软件开发人员能够较快地并且高质量地开发出基于Z语言的形式化规格,提出一种简明的类树形流程图,并以电信服务系统中的呼叫转移功能模块为例子,详细描述如何把类树形流程图应用到Z语言的形式化规格开发当中,以期为开发人员带来便利,节省开发时间,提高形式化规格的质量。In software engineering,the use of formal specification language Z can greatly improve the quality of software development,improving stability,and reducing development costs.But to develop high-quality formal specification and through the validation,it needs more time and energy.In order to enable software developers to develop high quality formal specification which based on Z language quickly,it presents a concise tree liked flowchart and give the telecommunications services system call forwarding function module as an example,describing how the tree liked flowchart applied to the development of formal specification using Z language,hoping that it could bring convenience for developers,saving development time and improve the quality of formal specifications.

关 键 词：类树形流程图 Z语言 电信系统 形式化规格 

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