Z状态空间和操作定义的自动生成技术  

RESEARCH ON AUTOMATIC GENERATION OF STATE SPACE AND OPERATION DEFINITION IN Z

作　　者：孙圣强[1,2] 杨大军[1,2] 丁俊华 吕建[1,2] 

机构地区：[1]南京大学计算机科学与技术系 [2]南京大学软件新技术国家重点实验室

出　　处：《计算机研究与发展》1997年第12期926-933,共8页Journal of Computer Research and Development

基　　金："863"高技术项目

摘　　要：从软件需求定义到形式功能规约的自动转换是需求工程的重要问题之一．文中以软件需求定义语言ＮＤＲＤＬ和形式功能规约语言Ｚ为基础，探讨了其间的自动转换技术，特别是从ＮＤＲＤＬ需求定义自动获取Ｚ形式规约中状态空间与操作定义的技术．The automatic transition from requirements definition to formal specification is an important problem in requirements engineering. Based on the requirements definition language NDRDL and the specification language Z, this paper discusses a transformation method from NDRDL to Z, with emphasis on how to get state space and operation definition in Z from requirements definition in NDRDL.

关 键 词：需求定义 状态空间 操作定义 软件工程 

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