A Design of Object-Oriented Diagram Verifying System Using a Set of Verifying Rules and Frames
Jin‐Soo Kim · The Journal of Advanced Navigation Technology · 2011
For verifying consistency and completeness of some UML diagrams as a representative of a graphical notations for object-oriented designs, I first give an analysis of some UML diagrams and apply some verifying rules to the UML diagrams. In this paper, I design effective verifying system which possesses both diagramming facility and the consistency and completeness checking capability. The verifying system uses a set of frames to represent internal diagramming information.