ABCL을 위한 형 추론 시스템

오주병(Ju Byoung Oh),신동욱(Dong-Wook Shin) 한국정보과학회 1996 정보과학회논문지(B) Vol.23 No.4

ABCL is an object based concurrent language that underlies object, asynchronous message passing between them, and inheritance. As ABCL is typeless, a programmer need not write the types of expressions, which makes the development of a software faster. On the contrary, it is not possible to detect type errors at compile time and often raises more complex problems incurred by them. Moreover, it does not facilitate early binding and thus the resulting executable code of a program can not be made effective This paper aims at developing a type Inference system for ABCL programs that derives the types of given programs and supplementing the weakpoints of ABCL. The inference system defines that the type of an object is composed of the pair of the types of state variables and those of functions handling incoming message From this, it derives the types of objects and expressions making use of several constraints appearing in a program. The derivation of types is carried out in the course of Interpreting ABCL programs and resolving constraints obtained in interpreting them. The inference system is argued to be useful in generating effective codes for ABCL programs and detecting type errors as early as possible. ABCL은 객체들이 병행적으로 동작하며 상속 개념을 제공하는 객체 기반 언어이다. 이 언어는 형의 개념을 갖고 있지 않아 사용자가 프로그램을 작성할 때 형을 기술할 필요가 없는데 이로 인하여 사용자가 원하는 시스템의 시제품을 빨리 만들 수 있다는 장점을 가지고 있다. 그러나 한편으로는 형 에러를 컴파일 시간에 발견하지 못하므로 실행 시간에 형 에러로 인하여 여러 가지 복잡한 문제가 파생될 수 있으며, 지연 바인딩을 하게 되므로 실행 코드가 비효율적이라는 단점이 있다. 본 연구에서는 형이 기술되어 있지 않은 ABCL 프로그램으로부터 형을 자동적으로 추론하는 형 추론 시스템을 개발하고자 한다. 본 형 추론 시스템은 우선 객체를 내부 상태 변수들과 메시지들을 처리하는 함수들로 구성되었다고 정의하고, 사용자 프로그램에서 나타나는 여러 가지 제약 조건들을 이용하여 프로그램에 나타나는 모든 객체와 수식의 형을 추론한다. 추론 과정은 우선 프로그램에 나타나는 여러 제약 조건들을 찾아내고 사용자 프로그램을 실행 전에 인터프리테이션시키는 과정에서 형을 유도한다. 본 연구에서 개발된 형 추론 시스템은 ABCL 프로그래미가 형을 기술하지 않으면서 ABCL 실행 코드를 효율적으로 만들고 형 에러를 빨리 발견할 수 있도록 하여 유용하게 사용될 수 있다.

분산환경에서 실시간 공동작업을 위한 어플리케이션 공유

오주병(Ju Byoung Oh),김진석(Jin Suk Kim) 한국통신학회 1998 한국통신학회 학술대회논문집 Vol.1998 No.11

공동작업을 위한 어플리케이션 공유 공동작업 엔진의 설계 및 구현

오주병,김진석,김혜규,Oh, Ju-Byoung,Kim, Jin-Suk,Kim, Hye-Kyu 한국정보처리학회 1998 정보처리논문지 Vol.5 No.3

본 논문에서는 지역적으로 분산되어 있는 사람들간에 공동작업을 가능하게 하는 어플리케이션 공유 공동작업 엔진(ACE:Application sharing collaboration Engine)을 설계하고 구현하였다. 어플리케이션 공유는 한명 또는 그 이상의 사용자들이 개인 컴퓨터 시스템 상에서 실행되고 있는 전용 어플리케이션을 다른 사용자들과 함께 공유하도록 하는 기술이다. 우리는 실시간 어플리케이션 공유가 가능하도록 ASO(Application Sharing Object)객체와 그 행위들을 정의하였고, 공동작업 엔진은 ASO 객체들을 이용하여 분산된 시스템간에 공유기능을 처리한다. ASO 객체는 활성화 객체(activateASO), 수정 객체(updateASO), 입력 객체(inputASO) 그리고 제어 객체(controlASO)들로 구성되어 있다. ASO 행위는 키보드 입력과 마우스 클릭과 같은 특정 순간에 발생되는 이벤트와 뷰 이미지 같은 어떤 순간에 유지될 수 있는 상태들의 변화에 의하여 발생 된다. 구현된 어플리케이션 공유 공동작업 엔진은 데이터 회의 시스템, 원격 교육, 그리고 엔지니어를 위한 프로젝트 공동작업 등에 적용될 수 있다. In this paper, we have tfesigned and ihlplemented ACE(Application sharing Collaboration Engine) which is pessible an application sharing to collaborate among peoples who are geographically dispersed. The application sharing is a technology whereby two or more users collaborate to share the output of single application running on one computer system to the other users, and to provide input to the applications. We defined ASO(Applicatio!1 Sharing Object) object and its behavior to share applications in real time and ACE processes a sharing using ASO object among the distributed systems. ASO is classified into activateASO, updateASO, inputASO, and controlASO. The each ASO's behavior involves both events which occur at specific moments such as keystrokes and mouse clicks and more persistent status which can be observed at any time such as the image on the screen. The implemented ACE can be applied to the data conferencing, distance education, and project collaboration for engineer in distributed environments.

객체 기반 병행 언어 ABCL을 위한 형 추론 시스템

오주병(Ju-Byoung Oh),신동욱(Dong-wook Shin) 한국정보과학회 1993 한국정보과학회 학술발표논문집 Vol.20 No.2

ABCL(An Objected Based Concurrent Language)은 객체 기반 언어이므로 모든 정보의 교환은 메시지 전송을 통해서만이 가능하다. 또 프로그램을 작성할때 형(type)을 기술하지 않으므로 형에 관한 에러들이 실행 시간이 되어서야 발견 가능하다. ABCL 형 추론 시스템은 형에 관한 에러들을 조기에 발견하고 메시지들에 대한 이해와 형 정보를 제공하며 다형성과 지연 바인딩에 대해서도 최소의 형을 제공함으로서 최적화 컴파일러를 위한 근간으로 사용되어 질 수 있다. 본 논문은 ABCL에서의 형 추론 시스템을 위한 형 제약을 제시하고 이를 기반으로한 형 추론 시스템의 제안 및 구현을 한다.

공동작업을 위한 어플리케이션 공유 공동작업 엔징의 설계 및 구현

오주병(Oh Ju Byoung),김진석(Kim Jin Suk),김혜규(Kim H . K .) 한국정보처리학회 1998 정보처리학회논문지 Vol.5 No.3

In this paper, we have designed and implemented ACE(Application sharing Collaboration Engine) which is possible an application sharing to collaborate among peoples who are geographically dispersed. The application sharing is a technology whereby two or more users collaborate to share the output of single application running on one computer system to the other users, and to provide input to the applications. We defined ASO(Application Sharing Object) object and its behavior to share applications in real time and ACE processes a sharing using ASO object among the distributed systems. ASO is classified into activateASO, updateASO, inputASO, and controlASO. The each ASO's behavior involves both events which occur at specific moments such as keystrokes and mouse clicks and more persistent status which can be observed at any time such as the image in the screeen. The implemented ACE can be applied to the data conferencing, distance education, and project collaboration for engineer in distributed environments.

차세대 지능망 분산처리를 위한 X. 500 DAP/DSP 적용에 관한 연구

오주병(Ju-Byoung Oh),박문성(Moon-Sung Park),이용준(Yong-Jun Lee),진병운(Byeong-Woon Jin) 한국통신학회 1994 한국통신학회 학술대회논문집 Vol.1994 No.11

어플리케이션 공유를 이용한 소프트웨어 공동개발 플랫폼

오주병(Ju-Byoung Oh),조성빈(Sung-Bin Cho),박문성(Moon-Sung Park),김진석(Jin-Suk Kim) 한국정보과학회 1997 한국정보과학회 학술발표논문집 Vol.1997 No.2

정보통신 : AIN 에서 SCF / SDF 인터페이스에 X.500 적용을 위한 AIN SDF Server 설계

박문성(Park Moon Sung),오주병(Oh Ju Byoung),진병운(Jin Byeong Woon),김혜규(Kim Hye Kyu),박성열(Park Sung Yul) 한국정보처리학회 1995 정보처리학회논문지 Vol.2 No.5

차세대 지능망(AIN : Advanced Intelligent Network)과 X.500 디렉토리 서비스 사이의 관계에서 AIN의 SCF/SDF(Service Control Function/Service Data Function) 인터페이스 요구 사항과 X.500 능력(Capabilities) 간에는 많은 유사성이 존재한다. 또한 X.500의 DUA(Directory User Agent)는 SCF, DSA(Directory System Agent)는 SDF로 매핑 관계과 성립된다. 이러한 유사성과 매핑 관계를 기반으로 AIN에 X.500 디렉토리 시스템을 SCF/SDF 관계에 DAP(Directory Access Protocol), SDF-SDF 관계에 DSP(Directory System Protocol)를 적용할 수 있다. 본 논문에서는 CS(Capability Set)-1, CS-2, CS-3 범위에서 X.500 DAP/DSP 적용이 가능한 관계를 보이고, AIN의 분산 처리를 위한 AIN SDF Server를 설계했으며, UPT(Universal Personal Telecommunication) 서비스를 AIN SDF Server에 적용할 수 있도록 X.500 스키마를 제안하였다. Advanced Intelligent Network(AIN) and X.500 directory service have similarity in between X.500 capabilities and requirements for the Service Control Function(SCF) to Service Data Function(SDF) in AIN. As an interface, SCF can be mapping as a Directory User Agent(DUA) and SDF can be mapping as a Directory System Agent(DSA). Based on the concepts, X.500 directory can be applied to AIN. In this paper we suggest to apply the X.500 DSP to the SDF/SDF interface to perform a distribution function. Also we show that the SCF-SDF/SDF-SDF relationship can be possible under applying X.500 DAP/DSP within the set of Capability Set 1(CS1), CS2 and CS3. Finally, based on the above contents, we introduce the designed schematic of AIN SDF Server System of a distributed processing in AIN and design the X.500 schema of Universal Personal Telecommunication(UPT) service for supporting AIN SDF Server.

관광 정보를 위한 X.500 스키마

이용준(Yong-Jun Lee),박문성(Moon-Sung Park),오주병(Ju-Byoung Oh),진병운(Byeong-Woon Jin) 한국정보과학회 1994 한국정보과학회 학술발표논문집 Vol.21 No.2B

X.500 디렉토리는 정보 통신 서비스에 필요한 정보를 데이타베이스화 하여 효율적으로 관리하고 사용자가 편리하게 접근할 수 있는 기능을 제공하는 국제 표준 프로토콜이다. 본 논문에서는 X.500 디렉토리를 기반으로 하여 관광 정보를 서비스하기에 적합한 디렉토리 스키마를 설계하여 제안하였다. 관광 정보를 위해 LocalityTouristicStateProvince, LocalityTouristLocality, mountain 등의 객체 클래스와 속성 유형등을 ASN.1으로 정의하고 각 클래스들간의 계층 구조를 정의하였다. 또한 모든 객체 집합으로부터 특정 객체를 식별하기 위한 이름 결합의 예를 보임으로 인하여 필요한 관관 정보를 결정하는 것을 보여 주었다.

BPR의 추진 방법론

남윤석(Yun Seok Nam),박문성(Moon Sung Park),오주병(Ju Byoung Oh) 한국정보과학회 1995 한국정보과학회 학술발표논문집 Vol.1995 No.11