The Study on the Generation of Verifying Rules for Consistency and Completeness of the Unified Modeling Language Diagrams

UML 다이아그램간의 일관성과 완전성을 위한 검증 규칙 생성에 관한 연구

  • 김재웅 (공주문화대학 컴퓨터정보과) ;
  • 김진수 (한국전자통신연구원 초빙연구원) ;
  • 김치수 (공주대학교 멀티미디어 연구소) ;
  • 황선명 (대전대학교 컴퓨터공학부)
  • Published : 2000.06.01


For verifying consistency and completeness of some UML diagrams as a representative of the graphic notations for object-oriented designs, we first give an analysis of some UML diagrams and apply simple ER model to the UML diagrams. Next, we formally define this graphical representation as a set of sets and a set of functions. According to the semantics of these functions, we derive a set of rules to assure the consistency and completeness of this graphical representation. These rules will be included with a CASE tool, which possesses both the diagramming facility and the consistency and completeness checking capability.