• Proceedings of the Korean Information Science Society Conference
• /
• 2004.10b
• /
• pp.328-330
• /
• 2004

컴포넌트의 합성을 통하여 신뢰성 있는 시스템을 구축하려면 명시된 품질 속성을 만족해야 한다. 이를 위해서는 잘 정의된 상호작용을 바탕으로 하여 비기능적 속성이 명세되어야 한다. 그러나 기존의 컴포넌트 명세 방법들은 컴포넌트의 기능 속성에 주로 초점을 맞추어 왔으며 비기능적 속성에 대한 지원이 미약하다. 본 논문에서는 비기능적 속성들을 명세하는 방법에 초점을 둔다. 구체적으로, 비기능적 속성들 중에서 시간제악 속성을 상호작용 컨트랙트에 정의하고 UML 다이어그램으로 표현하는 방법을 제시한다. 정형화 된 구조물 가진 컨트랙트에서 시간제약 속성들은 보다 명확한 의미를 가지며, 다양한 형태의 컴포넌트 합성에서 검증이 가능하다.

• The Transactions of the Korea Information Processing Society
• /
• v.7 no.1
• /
• pp.29-40
• /
• 2000

With increasing amounts of information on the web and needs to access accurately them, it is very important to standardize metadata and to store and manage system. The RDF(Rdsource Description Framework) is a framework for representing exchanging, and reusing metadata. And, it can be processing uniformly the standardized metadata, because it uses XML(eXtensible Markup Language) syntax. The RDF schema provides a basic type system for use RDF models. In this paper, we propose rules and an algorithm to convert the RDF schema into an UML(Unified Modeling Language) class diagram and formal models to represent an object-oriented schema for the RDF schema. The proposed rules and algorithm are useful for natural mapping and the object modeling of RDF schema can be easily converted into the object-oriented schema, and the formal models supports an efficient environment for retrieving and processing object-oriented documents.

• The KIPS Transactions:PartB
• /
• v.10B no.1
• /
• pp.111-118
• /
• 2003

The SMIL specification that is recently approved by the W3C and is meant to help deliver multimedia content to the Web, is widely used in these days and they have continuously emerged tools or softwares related with that. In this paper, I propose an algorithm to convert temporal scripts of RASP that is an experimental toolkit for computer animation that promotes interaction-based programming over time into a SMIL document. For making better use of SMIL documents, we can improve reusability of animation components. And, main contribution of this paper is that it verifies the sequence diagram generated for synchronization of documents by reconverting SMIL from UML sequence diagram.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.18 no.6
• /
• pp.863-870
• /
• 1993

A new methodology of multimedia data composition generated SRT(Synchronization Relation Tree) dynamically after user composing multimedia date by using high level user interface, and processes message passing protocols to adjust multimedia data temporal composition. In this paperl we propose SRT generating algorithm which transfer user defined timeline diagram to SRT dynamically. SRT generating algorithm is to use divide and conquer methodology and recurvise programming. And prove that it generates and type of multimedia date compositon to SRT.

• Korean Institute of Interior Design Journal
• /
• v.23 no.5
• /
• pp.3-13
• /
• 2014

Typology in Contemporary Architecture wants to escape from the classical typology that has the problems about specific program of structuralism, typical repeatation of customary form. As visible and non-visible things are appeared in contemporary architecture through the analysis of the inner system involving development process of changing itself, typology of contemporary is utilized at a tool of form generation in the process of architect. And it notes that the structural properties of the building system. The form of contemporary architecture has the new connecting strucure not reduced to existing ones. It carries out generative access as a device in order to solve the complexity of society. From this perspective, we analyze the process of projects of contemporary architects that can be typological strategy not representation of post geometric form but a tool of form generation in architectural process. As a result, we can find four characteristics of typology as a tool of form generation; 'interference and mix of program', 'continous slabs', 'rearrangement through relationship setting', 'transformation of multi-layers'. These are expanding to the process that reflect history and context or infer from morphology. Therefore, typology as architectural process of form generation overcomes morphological typology of classical typology and suggests that the different architectural approach having potential possibility.

• Journal of the Korean Institute of Landscape Architecture
• /
• v.48 no.1
• /
• pp.15-24
• /
• 2020

This work examines discourse on uses of computer technology and its transformation during the last thirty years effecting Korea landscape architecture. First, in the 1990s landscape architects begun to use computers as a new technology for landscape architecture, programming computer software utilities suitable for landscape research, planning, and design. The landscape architects, acting as computer programmers, tried to explore various techniques for landscape analysis and design with a piece of software, and various experts within the field of landscape architecture collaborated with each other. However, landscape architects mainly used computer technology as a tool as a substitute for hands-on cases. Since around the 2000s, the discourse on mapping and diagrammatic techniques as a visualization technique for landscaping processes have begun. Also, realistic representations for perspective drawings using graphic software have been increasingly important. The landscape architects, acting as graphic designers, focused on the specific visualization techniques for landscape planning and design. However, computer technology has been mainly used to produce realistic visuals aids for final presentations instead of creative exploration to generate landforms. Additionally, recent landscape architects have been using landscape performance modeling and parametric modeling for landform and landscape furniture design. The landscape architects as spatial designers are actively using computer modeling as creative form-generating tools during the design process.

• Journal of the Korean Society of Surveying, Geodesy, Photogrammetry and Cartography
• /
• v.38 no.6
• /
• pp.533-542
• /
• 2020

This study proposes the logical data model design of a spatial data model that complies with international standards for the waterworks of underground facilities. We conduct a preliminary study related to underground spatial data standards and data models, and review the status of the existing systems. Then, we defined the conceptual design direction of underground spatial data model based on the problems and issues. Next, we defined the terminology, classification, semantic relationships of waterworks. Next, for the conceptual design of the underground spatial data model, we defined the naming criteria for all data according to the waterworks classification. In addition, a logical model is drawn and described using UML (Unified Modeling Language) diagrams. Based on the results, it is expected that the accuracy related to underground facilities data will be improved.

• Annual Conference of KIPS
• /
• 2003.11a
• /
• pp.249-252
• /
• 2003

웹 기반 교육시스템에 컴포넌트 개념을 도입하여 재사용하는 연구는 소프트웨어 재사용 측면에서 생산성 증대에 기여한다. 이 논문에서는 웹 기반 교육시스템에 컴포넌트 개념을 도입하여 재사용성을 높이는 연구의 연장으로 개발자의 WBI에서 요구 사항에 부합되는 컴포넌트를 검색하기 위한 컴포넌트 명세 모델과 아키텍쳐에 기반한 컴포넌트 검색 모델을 XML형태로 명세하고 클래스 다이어그램으로 표기하였으며 더 WBI 시스템에 EJB model을 적용하여 EJB를 이용한 WBI 컴포넌트 개발에 관한 연구 진행하여 EJB기반의 교육컴포넌트를 설계 구현하기 위한 전 단계에 연구를 진행하였다. 이미 어느 정도는 정형화되어 있는 WBI 컴포넌트를 EJB컴포넌트로 전환하는 과정을 연구하여 재사용성과 이식성을 높이는 연구를 진행한다.

• Journal for History of Mathematics
• /
• v.20 no.3
• /
• pp.43-58
• /
• 2007

We review the eastern frog jump game and the western solitaire to apply the Baduk Pieces Game to mathematical education. This study introduce a didactical method of Baduk Pieces Game which is constructed with simplification, generalization, and extension. This didactical applications of the Baduk Pieces Game gives the students opportunities of patterns, generalization, and problem solving strategies.

• Annual Conference of KIPS
• /
• 2005.11a
• /
• pp.437-440
• /
• 2005

온톨로지는 차세대 웹 기술인 시맨틱웹 기술 개발에 있어 가장 핵심이 되는 요소로 복잡하고 어려운 온톨로지를 보다 쉽게 이해하고 직관적으로 편집할 수 있는 툴이 절실히 요구된다. 이 논문에서는 기존에 개발된 온톨로지 개발도구들을 분석해 보고, W3C에 의해 온톨로지 언어의 표준으로 자리 잡은 OWL을 이용하여 온톨로지 작성을 위한 편집 도구를 구현하였다. 본 논문에서 구현한 Visual OWL Editor는 Visual한 다이어그램 형태의 그래픽 인터페이스를 통해 사용자가 쉽게 온톨로지를 이해하고 간단하게 OWL문서를 생성 편집할 수 있는 방법을 제공해 준다.