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

CORBA, DCOM, JavaRMI 등과 같은 분산 객체 기술이 분산 응용의 신뢰성을 직접적으로 향상시키지는 못한다. 이러한 분산 객체 기술에 고장 감내성을 추가하기 위해서는 객체 단위의 복제 그룹 관리와 고장 탐지 및 회복 메커니즘이 필요하다. 본 논문에서는 고장 감내형 JavaRMI 객체를 개발하기 위하여 고장 탐지와 그룹 관리를 위한 그룹관리자와 원격 인터페이스를 설계하고, 고장 감내성 클래스를 정의한다. 또한 고장 감내 객체의 투명한 그룹 참여를 위하여 Naming클래스와 RMIRegistry를 확장한다. 응용개발자는 고장 감내성 클래스를 상속함으로써 외부의 도움 없이 간단히 고장 감내 응용 객체를 개발 할 수 있다.

• The Journal of the Institute of Internet, Broadcasting and Communication
• /
• v.11 no.1
• /
• pp.177-183
• /
• 2011

One of the methodologies for the type-checking of an expression is the attribute grammar. But this attribute grammar is difficult to write because two attributes should be used with the full understanding of parsing steps. So this paper proposes a methodology to construct an expression attribute grammar easily. It shows the possibility to check the type of an expression with only one attribute through a grammar construction method.

• Journal of Families and Better Life
• /
• v.17 no.2
• /
• pp.157-172
• /
• 1999

The Purpose of this study is to clarify what a difference the individual family value and relationship make on the inheritance consciousness by focussing on right succeed property among the inheritances rights of family. Questionnaire were distributed to about 450 married person with children over 40 year and among them 384 cases are used in final analysis. Inheritance consciousness of the Korea family shows that the property inheritances to greatly different from the inheritance the family head rituals according to consciousness of the individuals. That is to say the succession of the property is decided by inheritances of the individuals where-as these of the family head and rituals are done by the family norm. such results tend to be made due th the fact that Koreans think of a duty to father a son and make him succeed th the heat of the family on the basis of the strong blood tie of the family that Koreans think t important to keep their family fame and to contain the fam ly existence I. e. they respect their patriarchal system.

• Proceedings of the Korean Information Science Society Conference
• /
• 2000.10b
• /
• pp.233-235
• /
• 2000

역할 기반 접근 방식은 역할의 포함관계를 갖는 역할 계층을 이용한다. 하지만, 이동 에이전트 기반 CSCW의 경우 역할의 포함관계를 표현하는 역할 계층으로는 그룹 내에서의 동적인 역할간의 사용관계를 표현하지 못한다. 이 연구에서는 작업 그룹에 참여하는 이동 에이전트에 부여된 역할간 사용 방법을 표현할 수 있는 역할 관계 템플릿(Role relation template)을 제안하고 기존 역할 기반 접근 제어를 확장한다. 제안되는 역할 관계 템플릿은 기존의 사용자와 역할의 관계에서 객체에 부여된 역할과 다른 객체에 부여된 역할간의 사용 방법을 표현하고, 작업 그룹에서 발생할 수 있는 복잡한 역할 계층에 대한 추상화를 제공하도록 하여 이동 에이전트 기반의 CSCW 응용을 유연하게 지원할 수 있는 접근 제어 시스템을 설계한다. 따라서, 설계되는 시스템은 역할이 필요한 그룹이 생성될 때 상속과 제약이 추가로 생성되는 새로운 역할의 생성을 최소화하고 역할간의 관계를 명시적으로 표현함으로써 동적인 그룹변화에 유연하게 대처할 수 있다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2004.11a
• /
• pp.365-368
• /
• 2004

소프트웨어 신뢰성을 보장하기 위한 Eiffel의 Design by Contract[1,2] 기법은 프로그램 코드 안에 코드가 뜻하는 바를 함께 기술하는 것으로 소프트웨어가 명세의 주어진 조건에 따라 정확히 동작하도록 하고 있다. 그것은 재사용성이 높은 콤포넌트를 기반으로 하는 콤포넌트 기반 소프트웨어 개발방법에 있어서 중요한 특징이다. 본 논문에서는 C++언어의 타입 상속에서 올바른 의미적 타입 계층구조를 유지할 수 있도록 Design by Contract 기법을 적용하고, 기능을 활용할 수 있는 방안을 제시하였다. 또한, 객체지향 프로그래밍에 있어서 올바른 타입 구조를 형성할 수 있도록 하여, 견고한 소프트웨어 콤포넌트를 제작할 수 있도록 유도하였다.

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

양질의 컴포넌트 소프트웨어를 개발하기 위해서는 사용자의 요구사항을 정확하게 파악하고 체계적인 설계 방법이 필요하다. 그러나 컴포넌트 소프트웨어는 일반적으로 객체 모델링을 기반으로 설계되고 개발되기 때문에 복잡한 문제를 가진 대규모의 시스템에는 적합하지 않으며 상호작용과 협력의 표현, 상속에 의한 재사용 문제 등을 해결하는 데는 한계가 있다. 따라서 본 논문은 객체 모델링을 보완하기 위하여 객체 중심이 아닌 역할 중심으로 하는 새로운 추상화 기법인 역할 모델을 이용한 컴포넌트 명세 방법을 연구하였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2001.04a
• /
• pp.802-804
• /
• 2001

안전한 운영체제를 개발하기 위한 제안된 모델중 대표적인 BLP(Bell&LaPadula)모델은 주체(사용자)의 보안등급이 접근주체인 프로세스에 그대로 상속됨으로서 악의적인 프로세스에 의한 정보의 흐름, 변조, 누출 등의 위협을 고려하지 않는 단점을 지니고 있다. 본 논문에서는 프로세스를 신뢰영역과 비 신뢰영역으로 구분하고 악의적인 행위를 유발할 수 있는 프로세스들의 접근을 강력히 통제하는 프로세스 기반의 확장된 BLP 모델을 제안하고 시스템에 적용을 위한 아키텍쳐를 설계한다.

• Journal of KIISE:Computing Practices and Letters
• /
• v.5 no.2
• /
• pp.263-272
• /
• 1999

본 논문은 비구조화된 이미지 저장소로부터 효과적인 이미지검색을 위한 객체 지향 검색 체계를 제시한다. 본 검색 체계에서는 이미지의 내용을 정량적 특성을 갖는 시각 정보, 비정량적 특성을 나타내는 의미 정보, 그리고 가장 추상적인 정보를 포함하는 키워드의 세 종류로 규정한다. 시각 정보와 키워드는 특별한 구조없이 집합의 형태로 저장하고, 의미 정보는 상속과 군집 관계를 갖는 계층구조로 저장하는 것이 자연스럽다. 본 논문에서는 객체지향 모델을 사용하여 비구조화된 이미지 저장소를 위한 통일된 검색 체게를 제시한다. 제안된 검색 체계의 효과를 검증하기 위해 많은 이미지 집합에 대한 실험을 수행하였다.

• The Transactions of the Korea Information Processing Society
• /
• v.6 no.2
• /
• pp.357-366
• /
• 1999

Inheritance reasoning has been widely used in the area of common sense reasoning in artificial intelligence. Although many inheritance reasoners have been proposed in artificial intelligence literature, most previous reasoning systems are lack of clear semantics, thus sometimes provide anomalous conclusions. In this paper, we describe a set-oriented inheritance reasoner and propose a method of resolving conflicts with clear semantics of defeasible rules. The semantics of default rule is provided by statistical analysis of $\chi$ method, and likelihood of rule is computed based on the evidence in the past. Two basic rules, specificity and generality, are defined to resolve conflicts effectively in the process of reasoning. We show that the mutual tradeoff between specificity and generality 추 prevent many anomalous results from occurring in traditional inheritance reasoners. An algorithm is provided. and some typical examples are given to show how the specificity/generality rules resolve conflicts effectively in inheritance reasoning.

• Language and Information
• /
• v.3 no.1
• /
• pp.21-37
• /
• 1999

The purpose of this paper is to propose a theory for the interpretation of VP-ellipsis. Although there have been various proposals such as Sag(1976), Williams(1977), Darlymple et al.(1991), there remain many problems, especially with respect to the interpretation of pronouns. Assuming that a coordinate sentence forms a kind of discourse, we propose a theory which consists of two subparts, i. e. a revised HPSG for the syntactic treatment and a so-called 'default-inheritance' mechanism for the interpretation of elliptical parts. By means of this theory, we can explain various elliptical constructions of Fiengo and May(1994), in which pronouns are interpreted ambiguously within the elliptical conjuncts of coordinate sentences according to the related syntactic and the discourse structures.