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

摘要：

在软件工程中,使用Z语言形式化规格可以大大提高软件开发质量,提高稳定性,降低开发成本,但要开发出高质量的形式化规格并通过验证,却需要损耗较多的时间和精力.为使软件开发人员能够较快地并且高质量地开发出基于Z语言的形式化规格,提出一种简明的类树形流程图,并以电信服务系统中的呼叫转移功能模块为例子,详细描述如何把类树形流程图应用到Z语言的形式化规格开发当中,以期为开发人员带来便利,节省开发时间,提高形式化规格的质量.

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

所属期刊栏目：30

分类号：TP311(计算技术、计算机技术)

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

在线出版日期：2014-04-10（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：28-30