需求分析的Z语言形式化方法  

Formal Method for Requirement Analysis Using Z Notation

作　　者：夏建勋[1] 唐红武[2] 

机构地区：[1]孝感学院计算机科学系,孝感432000 [2]桂林电子科技大学数学与计算科学学院,桂林541004

出　　处：《科学技术与工程》2008年第8期2245-2248,共4页Science Technology and Engineering

摘　　要：非形式化的需求规格说明容易产生歧义,导致所开发的软件系统不能满足用户的功能要求。Z语言是一种基于集合和一阶谓词逻辑的模式规约语言,可用于产生精确的需求规格说明。介绍了需求分析的Z语言形式化方法,并给出了一个通用堆栈的Z语言描述实例,同时指出这种形式化方法有待进一步研究的地方。Non-formal requirement specification bring ambiguity easily, and causes me soItware system can＇t satisfy the client＇ s function request . Z notation is a model-based specification language based on set theory and first-order predicate logic. It can used to precisely express requirement specifications. Formal method for requirement analysis using Z notation is introduced, and an example of general stack described in Z notation is given, also, the places of this formal method that need to study further are pointed.

关 键 词：软件工程 需求分析 Z语言 Z模式 形式化方法 

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