• Spatial Information Research
• /
• v.5 no.1
• /
• pp.77-88
• /
• 1997

This paper presents the design and implementaion of an object-relational geographic information system. This system has been developed on top of a commercial object-relational database management system. It provides flexible spatial data model, spatial query language, visual user interface, and efficient spatial access methods(D0T) in which traditional primary-key access methods can be applied. We report on our design choices and describe the current status of Implementation. The conceptual model of the system is based on SDTS, and is mapped to the intemal obiect-oriented data model. Kevwords : object-oriented data model, GIS, spatial data model, spatial access method.

• Proceedings of the CALSEC Conference
• /
• 1997.11a
• /
• pp.31-41
• /
• 1997

현재 운영중인 대부분의 전자상거래 시스템들은 서적, 의류, 컴퓨터등 특정 상거래 분야에 종속적으로 데이터베이스 및 운영 시스템이 개발되어 있다. 그러나, 전자상거래가 본격적으로 활성화되면 거의 모든 상품 및 서비스가 전자상거래의 대상이 될 것이므로, 전자상거래 제품 데이터베이스의 설계를 여러 도메인에서 다양한 상품들의 정보를 저장 할 수 있도록 범용적으로 설계하여야 한다. 본 논문에서는 전자상거래 공통 플랫폼 개발의 중요한 구성요소인 상품 데이터베이스의 클래스를 객체지향 방식으로 설계하여 재사용성, 적용성, 범용성을 극대화하는 기법을 제안한다. 또한, 제안한 객체지향 상품 클래스 설계기법을 이용한 사례연구를 통하여 그 적용방법을 구체적으로 설명한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2005.05a
• /
• pp.357-360
• /
• 2005

본 연구는 소스 코드를 재사용하기 위한 Case 기반 검색에 있어서 효율적인 검색 시스템을 구축하는 방법을 제안하고자 한다. 소스 코드의 객체지향적인 특성을 만족하기 위하여 각 노드 간 객체지향 상속의 개념을 표현할 수 있도록 초기 관련값을 시소러스로 구축하고자 한다. 이때, 각 Case를 구성하는 클래스들을 상속관계에 따라 개념적으로 분류하였고, 시소러스 방법에 퍼지 논리를 적용하여 객체지향 시소러스를 생성하여 의미망을 구축한다. 또한, 의미망의 노드와 간선을 활성화시키고 활성값을 전파시키기 위해 사용되는 spreading activation 방법의 단점을 보완하여 spreading activation의 성능은 최대한 유지하면서 검색 속도를 향상시킬 수 있는 방법을 제안하고자 한다.

• Proceedings of the Korea Database Society Conference
• /
• 1995.12a
• /
• pp.117-126
• /
• 1995

본 논문에서는 분산 환경에서 멀티미디어 문서를 공동 저작하는 시스템을 설계하는 데 있어서 고려해야 할 요구 사항들을 분석하였다. 또한 이들 요구 사항을 만족시키는 문서 구조 DMDA (Distributed Multimedia Document Architecture)의 기본 개념을 소개하였다. DMDA는 논리 구조 지향적이다. 표현 객체와 상대공간 합성의 도움으로 동적인 재배치가 가능하다. 또한 사용자 관점에 따를 문서 출력이 가능하고 버전 관리가 쉬운 구조로 되어 있다. 공동 작업 중에 문서 위에 행해진 표시나 주석은 표시객체에 담겨 분산된다 분산 멀티미디어 환경에서 문서를 편집 또는 공동 저작하는 시스템은 분산 객체들을 조합하여 하나의 문서를 만들 수 있기 위하여 논리 구조 지향적이고 구조 편집 지향적이어야 한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 1999.10c
• /
• pp.209-211
• /
• 1999

본 논문에서는 CORBA의 고장 감내(fault tolerance) 방식을 이용하여 교환기 시스템을 위한 객체 지향 실시간 운영체계상에서의 고장 감내 객체서비스 구현을 목표로 한다. 이를 위해 먼저 CORBA의 고장 감내 방식을 분석하고, 전자 교환기에 적합한 실시간 고장 감내 방식에 대하여 제안한다. 이 방식에서는 교환기내의 이중화 시스템을 이용하여 객체 단위에서 고장 감내 기능을 제공하게 된다.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 1996.04a
• /
• pp.168-171
• /
• 1996

객체지향 기술에서 개면적 모델링을 위해 크게 객체의 정적인 측면과 동적인 측면의 두가지 관점으로 접근하고 있다. 본 연구에서는 시스템의 파악과 구현을 위해 이러한 두가지 이질적인 관점을 나누어 접근하는 것이 아니라 객체의 정적인 측면(Static)과 동적인 측면인 Event를 통합한 방법론을 제시하고 있다.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.15 no.6
• /
• pp.780-787
• /
• 2005

Many researches and validations for the complexity metrics of the object-oriented systems have been studied. Most of them are aimed for the measurement of the partial aspects of the systems, for example, the coupling between objects, the complexity of inheritance structures, the cohesion of methods, and so on. But the software practitioners want to measure the complexity of overall system, not partial. We studied the complexity of the overall structures of object-oriented systems by analyzing the class diagram of UML. The class diagram is composed of classes and their relations. There are three kinds of relations, association, generalization, and aggregation, which are making the structure of object-oriented systems to be difficult to understand. We proposed a heuristic metric to measure the complexity of object-oriented systems by putting together the three kinds of the relations. Tn analyze the complexity of the structure of a object-oriented system for the maintainability of the system, we measured the degree of understandability of it, the reverse engineering time to draw a class diagram from the source codes, and the number of errors in the diagram. The results of this experiment shows that our proposed metric has a considerable relationship with the complexity of object-oriented systems. The metric will be helpful to the software developers for their designing tasks by evaluating the complexity of the structures of object-oriented systems and redesigning tasks , of them for the future maintainability.

• The KIPS Transactions:PartD
• /
• v.11D no.3
• /
• pp.649-658
• /
• 2004

An object-oriented system is organized by a set of interacting objects and the system behavior is represented by the cooperating interaction bet ween objects. The characteristics of object-oriented software. such as inheritance and polymorphism, increase the difficulty of the object-oriented software testing. At running time of a program, one call from a member function can bind to other member functions because of the dynamic characteristics such as concurrence, dynamic binding and interaction. Therefore, there need the research about considering the characteristics of object-oriented software and concurrently testing the interaction between objects. In this paper, we propose the techniques as follows. First, we construct a flattened state chart diagram by considering the inheritance and polymorphism. Next, we model the system with CPN(Colored Petri Net) that usually is applying the system modeling and simulation. Last, we propose a test case generation techniques for testing the interaction between objects in object-oriented software by applying a Design/CPN tool.

• Proceedings of the Korean Information Science Society Conference
• /
• 1999.10a
• /
• pp.563-565
• /
• 1999

실시간 시스템은 응용분야의 특성상 높은 신뢰성을 요구하므로 설계시 시스템의 정확성과 안전성을 보장하는 것은 매우 중요하다. 신뢰성 보장을 위한 방법으로 정형기법(formal method)을 이용한 명세 방법이 연구되어 왔다. 정형적인 명세를 사용하는 경우 원하는 시스템의 특성에 대한 검증이 가능하며 자연어로 명세한 경우보다 모호함이 줄어들어 의사소통을 하는데 있어서 명확성을 제공한다. 그러나 이런 장점에도 불구하고 객체 지향 개발 방법론에서의 정형적인 명세에 관한 연구가 미흡하다. 본 논문에서는 객체 지향적 모델을 기반으로 하는 실시간 시스템을 위한 정형명세 언어인 Timed State Chart(TSC)를 제안한다. TSC는 Statecharts와 같은 계층적 상태 기계 모델(state machine model)로서 다양한 시간 제약사항의 명세를 위해 클릭 변수(clock variable)를 도입하여 실시간 객체(Real-Time Object 또는 RTO)를 명세한다. TSC를 이용하여 기존의 연구에서 표현할 수 없었던 주가와 마감시간과 같은 실시간 시스템의 다양한 요구사항을 효과적으로 표현할 수 있다.

• Journal of KIISE:Software and Applications
• /
• v.26 no.3
• /
• pp.380-392
• /
• 1999

객체지향 분석과정중에 오류를 검출하고 일관성을 점검하여 무결성을 유지하는 것은 중요한 일이다. 그러나, 현재의 객체지향 개발 방법론은 객체지향 분석모델들에 대하여 오류 검출과 일관성 점검을 위한 정형화된 방법을 제시하지 못하고 있다. 본 논문은 지식베이스를 이용하여 , 객체지향 분석모델들에 대한 오류와 일관성 검증방법을 제안한다. 제안한 방법은 모형화 단계, 정형화 단계, 검증 단계의 세단계로 이루어져 있다. 모형화 단계에서는 시스템을 분석하여 OMT(Object Modeling Technique)방법론의 세 가지 모델인 객체모델, 동적 모델, 기능모델을 생성한다. 이 단계는 OMT의 분석단계에 해당한다. 정형화 단계에서는 이 세가지 모델들을 Atomic Formula 형태로 정형 명세하여 응용 지식베이스에 저장한다. 검증 단계에서는 오류 검출 규칙과 일관성 점검 규칙을 이용하여 오류를 점검하고 일관성을 유지한다. 그리고 본 논문에서 제안한 점검 방법을 적용하여 ATM(Automated Teller Machine)예제의 분석결과를 검증했다. 제안한 방법을 이용하면 보다 더 신뢰할 수 있는 분석모델을 얻을 수 있을 것으로 기대된다.