Browse > Article
http://dx.doi.org/10.12673/jant.2011.15.6.1180

A Design of Object-Oriented Diagram Verifying System Using a Set of Verifying Rules and Frames  

Kim, Jin-Soo (Dept. of Computer Science & Engineering, Konyang University)
Publication Information
Journal of Advanced Navigation Technology / v.15, no.6, 2011 , pp. 1180-1186 More about this Journal
Abstract
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.
Keywords
UML Diagram; consistency and completeness; Verifying Rules; Verifying System; Frames;
Citations & Related Records
연도 인용수 순위
  • Reference
1 Van der Donckt, etc, "Synthronized model based design of multiple user interfaces", Workshop on Multiple User Interfaces over the Internet, 2001
2 Terry Quatrani, Visual Modeling with Rational Rose and UML, Addison-Wesley, 1998
3 Harmelan M. V.,"Object Modeling an User Interface Design", Addison Wesley, Reading, Mass., 2001
4 Paul Harmon and Mark Watson, Understanding UML: The Developer's Guide, Morgan Kaufmann Publishers, Inc., 1997
5 Martin Fowler, UML Distilled, Addison Wesley, 1997
6 Edwards, J. M. and Henderson-Sellors, B., "A graphical notation for object-oriented analysis and design", Journal of Object-Oriented Programming 4(9) , 53-74, 1994
7 Robert H. Bourdeau and Betty H. Cheng, "A Formal Semantic for Object Model Diagrams", IEEE Trans. on Software Engineering, Vol. 21, No. 10, pp. 799-821, 1995   DOI   ScienceOn
8 김재웅 외, "UML 다이아그램간의 일관성과 완전성을 위한 검증 규칙 생성에 관한 연구", 한국멀티미디어학회 논문지, 제3권, 제3호, 290-298, 2000
9 D. Milicev, "Automatic Model Transformations Using Extended UML Object Diagrams in Modeling Environments," IEEE Transaction on Software Engineering, Vol.28, No.4, pp413-431, 2002   DOI   ScienceOn
10 Object Management Group, Unified Modeling Language (UML), version 2.0, OMG Documentation, http://www.omg.org/technology/documents, 2003