• Proceedings of the Korea Information Processing Society Conference
• /
• 2001.04b
• /
• pp.1009-1012
• /
• 2001

일반적으로 크고 복잡한 소프트웨어 시스템은 커다란 다이아그램의 집합으로 구성되지만 이들 각각의 다이아그램들이 일관성이 있고 완전한가를 알기는 매우 어렵다. 이러한 문제를 해결하기 위하여 [1]에서는 최근 객체지향 개발에서 많이 사용되고 있는 UML 다이아그램들에 대한 일관성과 완전성을 검사하기 위하여 각 다이아그램들을 ER 모델로 표현하고, 각 다이아그램에 대한 공통된 표현으로 통합된 ER 다이아그램을 제공하였다. 이렇게 통합된 다이아그램은 일편의 집합과 함수들을 사용하여 정형적으로 명세되며, 이러한 정형 명세를 기반으로하여 일관성과 완전성 검사를 수행하기 위한 규칙을 제공하였다. 그러나 [1]에서 정형적으로 명세된 집합과 함수를 실제로 사용하기 위해서는 우리가 알고있는 정형 명세 언어로 변환할 필요성이 있다. 따라서 본 논문에서는 이러한 집합을 추상자료형으로 명세하여 정의하고, 추상자료형으로 표현된 명세를 우리가 잘 알고 있는 Z 명세로 변환하여 검증 도구를 설계하는 기초로 사용하고자 한다. Z 명세는 쉽게 실행가능한 형태로 변환되어 검증 시스템을 구축할 수 있게 된다.

• Journal of KIISE:Computer Systems and Theory
• /
• v.27 no.10
• /
• pp.835-839
• /
• 2000

보로노이 다이아그램은 계산기하학에서 다양한 형태의 근접 문제를 해결함에 있어 중요한 역할을 하고 있다. 일반적으로 평면상의 n 개의 점에 의한 평면 보로노이 다이아그램 O(nlogn) 시간에 생성할 수 있으며 이 알고리즘의 시간 복잡도가 최적임이 밝혀져 있다. 본 논문에서는 특별한 관계를 갖는 단위 구면상의 점들에 대한 구면 상에서 정의되는 보로노이 다이아그램을 O(n)에 생성하는 알고리즘을 제시한다. 이때 주어진 구면상의 점들은 볼록 다면체의 단위 법선 벡터들의 종점에 해당되며, 구면 보로노이 다이아그램의 선분은 구면상의 geodesic으로 이루어진다.

• Journal of Advanced Navigation Technology
• /
• v.15 no.6
• /
• pp.1180-1186
• /
• 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.

• Proceedings of the Korean Information Science Society Conference
• /
• 2000.04a
• /
• pp.525-527
• /
• 2000

본 논문에서는 최근 객체지향 설계에 많이 사용되고 있는 UML 다이아그램들의 일관성과 완전성을 해결하기 위하여 UML 의 각 다이아그램을 ER 모델로 표현하고, 각 다이아 그램에 대한 공통된 표현으로 통합된 ER 다이아그램을 제공하며 일련의 집합과 함수들을 사용하여 정형적으로 명세한 다음 이러한 정형 명세를 기반으로하여 일관성을 완전성 검사를 수행하기 위한 규칙을 제공한다. 이 규칙은 다이아그램의 구문(syntax)과 의미(semantic)에 대하여 모두 검사할 수 있게 하기 위하여 구문 완전성, 구문 일관성, 의미 완전성, 의미 일관성으로 나누어 생성한다. 이렇게 생성된 규칙들은 추후 CASE 도구에 포함되어 다이아그래밍의 일관성 및 완전성을 검사할 수 있는 CASE 도구로 발전할 수 있게 된다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2000.10b
• /
• pp.1381-1384
• /
• 2000

본 논문에서는 최근 객체지향 설계에 많이 사용되고 있는 객체지향 다이아그램들의 일관성과 완전성을 해결하기 위하여 [1]에서 제공된 일관성과 완전성 규칙들을 기반으로 다이아그램들을 검증할 수 있는 검증 모델을 프레임을 이용하여 설계하였다. 본 논문에서는 프레임을 이용한 설계 과정을 보이기 위하여 다이아그램의 일관성과 완전성을 검증할 수 있는 검증 모델에 대한 각 다이아그램을 대상으로 정보를 유도하였고 유도된 정보를 기반으로 검증에 기초가 되는 공통 내부 표현을 프레임을 이용하여 설계하는 과정을 제시하였다. 설계된 검증 모델은 다양한 객체지향 다이아그램에 대하여 적용이 가능하며 기존의 다이아그래밍 도구와도 결합이 가능하도록 구성되어 있다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2001.10a
• /
• pp.477-480
• /
• 2001

최근 객체지향 설계에 UML을 많이 사용하게 되면서 개발자들은 작성된 UML 다이아그램들이 일관성이 있고 완전한가를 검증할 필요성이 대두되기 시작하였다. 본 논문에서는 [1]에서 제공된 다이아그램의 일관성과 완전성 검증 규칙을 사용하여 작성된 UML 다이아그램의 일관성과 완전성을 검증하기 위한 검증 시스템을 설계하였다. 검증 시스템의 설계에는 UML 다이아그램을 활용하였으며 프레임을 이용하여 검증 시스템의 다이아그램에 대한 내부표현을 제시하였다.

• Journal of Korea Multimedia Society
• /
• v.3 no.3
• /
• pp.290-297
• /
• 2000

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.

• Journal of Korea Multimedia Society
• /
• v.3 no.3
• /
• pp.298-308
• /
• 2000

We present an efficient algorithm for finding the sequence of extreme vortices of a moving regular convex polyhedron of with respect to a fixed plane H.. The algorithm utilizes the spherical Voronoi diagram that results from the outward unit normal vectors nF$_{i}$ 's of faces of P. It is well-known that the Voronoi diagram of n sites in the plane can be computed in 0(nlogn) time, and this bound is optimal. However. exploiting the convexity of P, we are able to construct the spherical Voronoi diagram of nF$_{i}$ ,'s in O(n) time. Using the spherical Voronoi diagram, we show that an extreme vertex problem can be transformed to a spherical point location problem. The extreme vertex problem can be solved in O(logn) time after O(n) time and space preprocessing. Moreover, the sequence of extreme vertices of a moving regular convex polyhedron with respect to H can be found in (equation omitted) time, where m$^{j}$ $_{k}$ (1$\leq$j$\leq$s) is the number of edges of a spherical Voronoi region sreg(equation omitted) such that (equation omitted) gives one or more extreme vertices.

• Journal of KIISE:Databases
• /
• v.28 no.1
• /
• pp.57-68
• /
• 2001

본 논문에서는 UML을 기반으로 한 객체지향 시스템 개발에서 발생하는 멀티미디어 산출물들을 저장, 관리하기 위한 객체 저장소의 산출물 관리 기법을 제시하였다. 객체 관리 기능 모듈은 상용 객체 관계 DBMS인 IUS를 이용하여 구현하였다. 산출물 객체의 표현 및 데이터의 공유를 위해 UML 다이아그램 산출물을 XML 문서 형태로 표현하고, eXcelon XML 데이터 서버를 이용하여 XML 문서처리 시스템을 구현하였다. 산출물 객체의 관계 관리 기법과 UML 다이아그램에 대한 XML 문서화 기법은 UML을 기반으로 하는 CASE 도구의 개발에 활용될 수 있다.

• Water for future
• /
• v.56 no.1
• /
• pp.86-96
• /
• 2023