一种多视角的需求定义及其一致性验证方法  

CONSISTENCY OF MULTIVIEW REQUIREMENT DEFINITION AND ITS VERIFICATION

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

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

出　　处：《计算机研究与发展》1998年第3期229-233,共5页Journal of Computer Research and Development

基　　金：国家杰出青年科学基金;国家跨世纪人才基金

摘　　要：文中针对ＮＤＲＡＳＳ系统的需要，首先讨论了它的多视角的需求定义．然后重点讨论了这个多视角的需求定义的一致性问题，包括数据流图、实体关系图、控制流图之间的一致性关系，以及它们与数据字典、关系字典、操作字典之间的一致性关系．并在此基础上，讨论了相应的自动验证与实现技术．According to the requirements of NDRASS,its multiview requirement definition is presented, with emphasis on the consistency constraints among data flow diagram, entity relationship diagram, and control flow diagram, as well as their corresponding data dictionary, relation dictionary and processing dictionary.And then, an automatic verification method and its implementation technique for these consistency constraints are discussed.

关 键 词：需求定义 软件开发 一致性验证 

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