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

CONSISTENCY OF MULTIVIEW REQUIREMENT DEFINITION AND ITS VERIFICATION

文中针对ＮＤＲＡＳＳ系统的需要，首先讨论了它的多视角的需求定义．然后重点讨论了这个多视角的需求定义的一致性问题，包括数据流图、实体关系图、控制流图之间的一致性关系，以及它们与数据字典、关系字典、操作字典之间的一致性关系．并在此基础上，讨论了相应的自动验证与实现技术．

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.