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.