• 제목/요약/키워드: 다이아그램

검색결과 72건 처리시간 0.025초

클래스 다이아그램의 정형 명세 변환 (A Formal Specification Translation of the Class Diagram)

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

  • PDF

볼록 다면체 단위 법선 벡터의 구면 보로노이 다이아그램을 계산하기 위한 선형시간 알고리즘 (A Linear-time Algorithm for Computing the Spherical Voronoi Diagram of Unit Normal Vectors of a Convex Polyhedron)

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

  • PDF

검증규칙과 프레임을 이용한 객체지향 다이아그램 검증 시스템의 설계 (A Design of Object-Oriented Diagram Verifying System Using a Set of Verifying Rules and Frames)

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

UML 다이아그램의 일관성 및 완전성 검증 규칙 (The Rules for Verifying Completeness and Consistency of the Unified Modeling Language Diagrams)

  • 김재웅;김진수;황선명
    • 한국정보과학회:학술대회논문집
    • /
    • 한국정보과학회 2000년도 봄 학술발표논문집 Vol.27 No.1 (A)
    • /
    • pp.525-527
    • /
    • 2000
  • 본 논문에서는 최근 객체지향 설계에 많이 사용되고 있는 UML 다이아그램들의 일관성과 완전성을 해결하기 위하여 UML 의 각 다이아그램을 ER 모델로 표현하고, 각 다이아 그램에 대한 공통된 표현으로 통합된 ER 다이아그램을 제공하며 일련의 집합과 함수들을 사용하여 정형적으로 명세한 다음 이러한 정형 명세를 기반으로하여 일관성을 완전성 검사를 수행하기 위한 규칙을 제공한다. 이 규칙은 다이아그램의 구문(syntax)과 의미(semantic)에 대하여 모두 검사할 수 있게 하기 위하여 구문 완전성, 구문 일관성, 의미 완전성, 의미 일관성으로 나누어 생성한다. 이렇게 생성된 규칙들은 추후 CASE 도구에 포함되어 다이아그래밍의 일관성 및 완전성을 검사할 수 있는 CASE 도구로 발전할 수 있게 된다.

  • PDF

프레임을 이용한 다이아그램 검증 모델의 설계 (A Design of Diagram Verifying Model using the Frames)

  • 김진수;김재웅;황선명;김치수
    • 한국정보처리학회:학술대회논문집
    • /
    • 한국정보처리학회 2000년도 추계학술발표논문집 (하)
    • /
    • pp.1381-1384
    • /
    • 2000
  • 본 논문에서는 최근 객체지향 설계에 많이 사용되고 있는 객체지향 다이아그램들의 일관성과 완전성을 해결하기 위하여 [1]에서 제공된 일관성과 완전성 규칙들을 기반으로 다이아그램들을 검증할 수 있는 검증 모델을 프레임을 이용하여 설계하였다. 본 논문에서는 프레임을 이용한 설계 과정을 보이기 위하여 다이아그램의 일관성과 완전성을 검증할 수 있는 검증 모델에 대한 각 다이아그램을 대상으로 정보를 유도하였고 유도된 정보를 기반으로 검증에 기초가 되는 공통 내부 표현을 프레임을 이용하여 설계하는 과정을 제시하였다. 설계된 검증 모델은 다양한 객체지향 다이아그램에 대하여 적용이 가능하며 기존의 다이아그래밍 도구와도 결합이 가능하도록 구성되어 있다.

  • PDF

UML 다이아그램의 검증을 위한 검증 시스템의 설계 (A Design of the Verifying System for verifying UML Diagram)

  • 김진수;김재웅;김치수
    • 한국정보처리학회:학술대회논문집
    • /
    • 한국정보처리학회 2001년도 추계학술발표논문집 (상)
    • /
    • pp.477-480
    • /
    • 2001
  • 최근 객체지향 설계에 UML을 많이 사용하게 되면서 개발자들은 작성된 UML 다이아그램들이 일관성이 있고 완전한가를 검증할 필요성이 대두되기 시작하였다. 본 논문에서는 [1]에서 제공된 다이아그램의 일관성과 완전성 검증 규칙을 사용하여 작성된 UML 다이아그램의 일관성과 완전성을 검증하기 위한 검증 시스템을 설계하였다. 검증 시스템의 설계에는 UML 다이아그램을 활용하였으며 프레임을 이용하여 검증 시스템의 다이아그램에 대한 내부표현을 제시하였다.

  • PDF

UML 다이아그램간의 일관성과 완전성을 위한 검증 규칙 생성에 관한 연구 (The Study on the Generation of Verifying Rules for Consistency and Completeness of the Unified Modeling Language Diagrams)

  • 김재웅;김진수;김치수;황선명
    • 한국멀티미디어학회논문지
    • /
    • 제3권3호
    • /
    • pp.290-297
    • /
    • 2000
  • 객체지향 설계에 많이 사용되고 있는 UML의 일부 다이아그램들의 일관성과 완전성을 검증하기 위하여 UML다이아그램들을 분석하여 ER모델에 적용하고, 일련의 집합과 함수들을 사용하여 정형적으로 명세한 다음 이러한 함수들의 의미에 따라 UML 다이아그램들의 일관성과 완전성을 보장하는 일련의 규칙들을 유도한다. 이러한 규칙들은 추후에 다이아그램을 생성하는 능력과 일관성과 완전성을 검사하는 능력을 함에 가진 CASE 도구에 포함될 수 있다.

  • PDF

구면 보로노이 다이아그램을 이용한 움직이는 정규 다면체의 근점 알고리즘 (A Sequence of the Extreme Vertices ova Moving Regular Polyhedron Using Spherical Voronoi Diagrams)

  • 김형석
    • 한국멀티미디어학회논문지
    • /
    • 제3권3호
    • /
    • pp.298-308
    • /
    • 2000
  • 본 논문에서는 고정된 평면에 대한 움직이는 정규 다면체의 가까운 점들을 효과적으로 찾는 알고리즘을 제안한다. 본 알고리즘은 문제를 효율적으로 해결 위하여 다면체의 각 면에서 정의되는 단위 법선 벡터들에 의해 구성되는 구면 보로노이 다이아그램을 이용한다. 일반적인 보로노이 다이아그램이 O(nlogn) 시간에 구성되는 것에 반하여 여기에 사용되는 구면 보로노이 다이아그램은 O(n)에 구할 수 있음을 보인다. 이를 본 문제에 적용하면 구면 위치 파악 문제로 전환할 수 있다. 따라서, 주어진 시점에서의 근점은 O(logn) 시간에 구할 수 있고, 다면체의 움직임에 따라 변하는 근점들의 리스트는 (equation omitted) 시간에 구할 수 있다. 이때, m$^{j}$ $_{k}$ (1$\leq$j$\leq$s)는 질의점이 지나는 구면 보로노이 다이아그램의 영역 sreg(equation omitted)의 선분의 개수이다. 본 논문에서 제안한 알고리즘은 컴퓨터 애니메이션과 로보틱스 분야에서 충돌지점을 찾는 문제에 효과적으로 사용될 수 있다.

  • PDF

UML 개발 산출물을 위한 관계 및 내용 기방 검색 시스템 (A Retrieval System for UML Development Artifacts based on Relationship and Content)

  • 전세길;나연묵
    • 한국정보과학회논문지:데이타베이스
    • /
    • 제28권1호
    • /
    • pp.57-68
    • /
    • 2001
  • 본 논문에서는 UML을 기반으로 한 객체지향 시스템 개발에서 발생하는 멀티미디어 산출물들을 저장, 관리하기 위한 객체 저장소의 산출물 관리 기법을 제시하였다. 객체 관리 기능 모듈은 상용 객체 관계 DBMS인 IUS를 이용하여 구현하였다. 산출물 객체의 표현 및 데이터의 공유를 위해 UML 다이아그램 산출물을 XML 문서 형태로 표현하고, eXcelon XML 데이터 서버를 이용하여 XML 문서처리 시스템을 구현하였다. 산출물 객체의 관계 관리 기법과 UML 다이아그램에 대한 XML 문서화 기법은 UML을 기반으로 하는 CASE 도구의 개발에 활용될 수 있다.

  • PDF