基于Z语言的软件形式化需求分析  

The Analysis of Software Requirements Based on Z Formal Language

作　　者：钱春花[1] 

机构地区：[1]苏州农业职业技术学院,江苏苏州215008

出　　处：《苏州农业职业技术学院学报》2010年第2期27-30,共4页JOURNAL OF SUZHOU POLYTECHNIC INSTITUTE OF AGRICULTURE

摘　　要：Z语言是目前广泛使用的一种形式化方法语言。它是一种基于集合和一阶谓词逻辑的模式规约语言，可用于产生精确的需求规格说明。本文介绍了需求分析的Z语言形式化方法，并给出了一个小型图书馆管理的Z语言描述实例，给出了小型图书馆管理从状态模式到操作模式的需求规格说明，同时指出这种形式化方法有待进一步研究的方向。Z language is widely used formal method language. It is based on first order predicate logic and set the pattern specification language, can be used to generate accurate requirements specification. This article describes the needs analysis of the Z language of formal methods, and gives a small library man- agement language to describe an instance of Z, given the small library management mode to operational mode from the state＇s requirements specification, also pointed out that this form method needs further re- search.

关 键 词：形式化方法 Z语言 小型图书馆管理 

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