Journal of Advanced Navigation Technology (한국항행학회논문지)

The Korean Navigation Institute (한국항행학회)
권호 표지
DOI QR코드

DOI QR Code

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)
  • Received : 2011.11.14
  • Accepted : 2011.12.30
  • Published : 2011.12.31
Download PDF
⟨ Previous Next ⟩

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.

객체지향 설계에 있어서 그래픽 표현의 대표라고 할 수 있는 UML 다이아그램의 일관성과 완전성을 검증하기 위하여, 먼저 UML 다이아그램들을 분석하고 분석된 다이아그램에 검증 규칙들을 적용한다. 본 논문에서는 다이아그램을 작성하는 능력과 다이아그램의 일관성과 완전성을 검사할 수 있는 능력을 모두 갖춘 효과적인 검증 시스템을 설계하였다. 검증 시스템은 내부적인 다이아그램 정보를 표현하기 위하여 일련의 프레임들을 사용하고 있다.

Keywords

References

  1. 김재웅 외, "UML 다이아그램간의 일관성과 완전성을 위한 검증 규칙 생성에 관한 연구", 한국멀티미디어학회 논문지, 제3권, 제3호, 290-298, 2000
  2. 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 https://doi.org/10.1109/TSE.2002.995438
  3. Object Management Group, Unified Modeling Language (UML), version 2.0, OMG Documentation, http://www.omg.org/technology/documents, 2003
  4. Van der Donckt, etc, "Synthronized model based design of multiple user interfaces", Workshop on Multiple User Interfaces over the Internet, 2001
  5. Terry Quatrani, Visual Modeling with Rational Rose and UML, Addison-Wesley, 1998
  6. Harmelan M. V.,"Object Modeling an User Interface Design", Addison Wesley, Reading, Mass., 2001
  7. Paul Harmon and Mark Watson, Understanding UML: The Developer's Guide, Morgan Kaufmann Publishers, Inc., 1997
  8. Martin Fowler, UML Distilled, Addison Wesley, 1997
  9. 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
  10. 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 https://doi.org/10.1109/32.469459