• Proceedings of the Korea Information Processing Society Conference
• /
• 2000.10a
• /
• pp.71-74
• /
• 2000

객체 지향 소프트웨어 개발 방법론의 하나인 통합 모델링 언어인 UML은 OMG에 의하여 표준 방법론으로 받아들였다. 본 연구팀에 개발한 UML 그래픽 편집 도구를 이용하여서 소프트웨어를 개발하는 과정에서 발생하는 설계 정보는 모델 관련 정보와 뷰에 관한 정보들을 관계형 데이터베이스에 저장 관리된다. 이들을 Web 통해서 UML 설계 정보의 관리와 공유하기 위해서 UML 설계 정보를 미리 정의한 XML DTD를 이용하여 XML 파일로 변환한 후에 웹 상에서 이를 개발자와 개발 도구들 간에 교환하여 공유할 수 있는 변환 규칙을 제안한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 1998.10a
• /
• pp.33-35
• /
• 1998

본 논문에서는 형식론적 모델링 및 모의 실험 방법을 사용하여 병렬 디스크의 성능 예측 및 영상 데이터용 비선형 편집기의 개발을 위한 여러 형태의구조에 대해서 모의 실험한 결과 및 성능에 영향을 미치는 요소들에 대해 다루고 있다. 컴퓨터가 발전하기 전에는 테이프를 이용한 선형 편집기를 사용하였으나. 컴퓨터가 발전하고 또한 입출력 장치의 성능이 향상되면서 RAID(Redundant Array of Inexpensive Disk)가 개발되었고, 이것을 이용한 비선형 편집기가 개발되었다. 병렬디스크는 비선형 편집기뿐만 아니라 VOD(Video On Demand)나 데이터 서버등 응용분야가 많고, 요구되는 성능에 따라서 다양한 구조의 병렬디스크가 사용된다. 매우 큰 대역폭이 요구되는 병렬디스크의 경우에는 다양한 버스와 버퍼를 사용한 복잡한 계층적 구조가 요구된다. 그러나 이렇게 복잡한 병렬디스크를 개발하기 에 적당한 개발 도구가 없어 필요한 성능에 꼭 맞는 시스템을 개발하기가 어렵다. 특히 디스크의 성능을 수학저으로 쉽게 구할 수 없다. 또한 시스템이 실물로 완성되기 전에는 디스크의 운영 알고리즘의 개발 및 파일 시스템의 개발이 쉽지 않다. 그래서 쉬운 소프트웨어 개발과 디스크의 성능을 쉽게 측정하기 위해서 객체 지향 성능 예측시스템(OOPPS :Objet Oriented Performance Prediction System)을 개발하였고, 이것을 이용하여 HDTV용 비선형 편집기의성능을 예측하고, 필요한 성능을 만족하는 구조를 선택하여 실물로 개발하였다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2000.04a
• /
• pp.803-808
• /
• 2000

OMG 에 의해 표준화되어 객체지향 방법론으로 널리 쓰이고 있는 UML 을 이용하여 보안 기술중의 하나인 일회용 패스워드(One-Time Password) 기술을 모델링한다. UML 은 전체적인 시스템을 이해하는데 도움을 준다. 그러나 그래픽컬한 UML 모델링 기술만으로는 불가능한 일관성 및 refinement 체크를 위해 각 다이어그램 특성에 맞게 정형명세나 정형검증을 도구를 적용하는 것이 필요하다. 클래스 다이어그램의 클래스와 정형명세 언어인 Z 스키마(schema)의 유사성을 이용하여 모델링의 정확성을 확인하는데 Z를 이용할 수 있다.

• Journal of IKEEE
• /
• v.7 no.2 s.13
• /
• pp.144-155
• /
• 2003

In this paper, a conceptual data model, called the UDM(Unified Data Model), to efficiently represent database structures related with object technology and complex structured data, is proposed. This model integrates major features of modern data models, such as E-R model, Semantic Object Model, and UML, especially from the viewpoint of database design. This model is basically a simplified, but extended version of the Object-Relationship Model, which was proposed to model complex structures of temporal-spatial multimedia data. This model incorporates some of the important semantic and structural information of modern database applications and it is designed to support all of the major logical database models, including relational, object-relational, object-oriented, and (semi-)structured databases. A special diagrammatic technique, called the UDD(Unified Data Diagram), is introduced as a tool for database design. Also, possible ways to derive logical views of data from this unified data model are presented. The proposed model can be utilized as a convenient and practical tool for conceptual database designs.

• Proceedings of the Korean Information Science Society Conference
• /
• 2000.10a
• /
• pp.424-426
• /
• 2000

소프트웨어를 개발하는 방법으로 기존의 구조적 방법론에서 객체지향 방법론으로 발전하였고 최근 들어 소프트웨어 재사용의 핵심 기술로 인식되고 있는 것이 컴포넌트 소프트웨어기반 개발 방법론이다. 본 논문에서는 컴포넌트 소프트웨어, 컴포넌트 기반개발의 이점, 컴포넌트의 요건과 자바 컴포넌트(자바 클래스 또는 자바 컴포넌트)들 간의 기능, 속성, 연결 등을 동적으로 상호 작용(Interaction)할 수 있는 환경(Environment)을 제안하려 한다. 이오 같은 환경은 이미 만들어진 자바컴포넌트의 컴포넌트를 재사용 및 조립 전에 아키텍쳐의 모델링 도구로서 행위분석(Behavioral analysis)과 인터페이스의 기반설계(Interface Based Design)의 기반을 제공하고 자바 컴포넌트의 인터페이스와 기능을 이해하고 결합형태를 미리 짐작할 수 있는 환경을 제공함으로써 소프트웨어 개발에 소요되는 개발비용을 최소화하고 사용자의 요구를 충족시킬 수 있는 장점을 지니고 있다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2003.11c
• /
• pp.1543-1546
• /
• 2003

잘못된 명세로 인한 자원의 손실을 악기 위해서는 반드시 명세에 대한 검증이 필요하다. 객체지향 모델링 언어의 표준인 UML은 각각의 다이어그램이 사용자의 요구사항을 정확히 반영하고 있는지를 검증하기가 매우 어렵다. 본 논문은 UML의 여러 다이어그램 중 상태 다이어그램(Statechart Diagram)의 명세에 발생해서는 안되는 상태 또는 발생할 수 없는 상태와 같은 오류의 존재여부 등의 정확성을 검증하기 위해 CTL을 이용한 정형검증도구인 SMV를 이용한다. 이를 위해 UML의 상태 다이어그램에서 상태 정보와 상태 천이 정보를 추출하여 SMV로 변환하는 규칙을 찾아내어 UML의 상태 다이어그램의 정확성 검증을 수행하는 방법을 제안하고 자동으로 변환하는 툴을 설계한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2000.04a
• /
• pp.77-82
• /
• 2000

본 논문에서는 워크플로우 모델링 도구인 ICN(Information Control Net) 모델을 이용하여 워크플로우 역할 의존성 분석 메커니즘을 제안하였다. 즉, ICN 모델로 정의된 워크플로우의 각 액티비티(activity)들 간에 존재하는 역할 의존 관계를 표현하기 위하여 역할 의존 넷(Role Dependency Net)을 정의하였고, ICN 모델로부터 역할 의존 넷을 생성하는 알고리즘을 제안하였다. 본 논문에서 제시된 알고리즘을 이용하여 생성된 역할 기반의 워크플로우 모델은 any-cast 워크플로우와, multi-cast 워크플로우 작업환경을 제공함으로써 현재 대부분 조직에서의 작업 환경인 객체지향 작업 환경 및 분산 작업 환경에서 워크플로우 관리 시스템을 구축할 수 있다.

• Journal of KIISE:Computing Practices and Letters
• /
• v.6 no.4
• /
• pp.393-402
• /
• 2000

The Unified Modeling Language(UML) became the standard object oriented modeling language approved by Object Management Group(OMG). However, C++ codes which are generated by some CASE tools supporting UML do not reflect the correct semantics of one-to-many relationship and aggregation relationship. Additionally, since the commercial CASE tools support too many programming languages on one UML class diagram, they do not support efficiently the characteristics of C++ language. Our C++ code generator supports one-to-many relationship, aggregation relationship, code patterns and design patterns. In this paper, we describe design and implementation of the efficient C++ code generator based on UML class diagram.

• Journal of Korea Multimedia Society
• /
• v.15 no.9
• /
• pp.1156-1164
• /
• 2012

Hanok is a cultural heritage containing our ancestor's life style intact and breathing alive with us until now. As Hanok has been concerned as a echo-friendly architecture, a new methodology for efficient construction without damaging the traditional construction process comes into request. The goal of this research is development of a architectural design tool based on the BIM(Building Information Modeling) for satisfying these demands. It will be usable to support whole process of the traditional building from digital design to production and construction. Firstly, we take a consideration of the traditional architecture reflecting the spirit of the age and suggest efficient design method for architectural components. Each components is pre-fabricated as a template representing similar components. All pre-fabricated components are designed by object-oriented concepts so, many variations for a component can be derived from the pre-fabricated component. Our method is helpful for reducing design errors because that it considers combining rule between connecting components in the template design. Moreover it is plugged in the commercial architectural CAD, so it can supports digital design not only traditional architecture but also fusion style mixed with modern architecture.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.38C no.11
• /
• pp.982-989
• /
• 2013

Omni-directional antennas of UHF-Band are located on the top and bottom side of the Smart UAV in order to connect a link always. Therefore one of each antennas should be connected to a ground antenna. Because the communication link of the omni-directional antennas is influenced by the objectives around aircraft, the clearance of LOS(Line of Sight) should be achieved in order to avoid a loss of link. In this paper, the analysis results on the influence of the complex objectives placed around the antenna on the communication link are presented according to the change of attitude angles. The best positions of antennas are selected based on the electromagnetic analysis using XGTD tool which supports the modeling of antenna pattern. The flight tests of the Smart UAV were successfully performed with the selected antenna position.