• Proceedings of the Korea Multimedia Society Conference
• /
• 2002.05c
• /
• pp.58-63
• /
• 2002

본 논문에서는 분산 환경을 위해 OMG에서 발표한 CORBA의 표준에 따라 하는 컴파일러의 전반부를 위해 OMG IDL 컴파일러를 사용하였다. CORBA에서 클라이언트와 서버간의 상호 동작을 위해 인터페이스를 정의한다. CORBA에서 인터페이스는 IDL(Interface Definition Language)를 통해 정의를 할 수 있다. IDL은 CORBA의 인터페이스를 기술하기 위한 추상 표기법이므로 개발에 사용되는 언어와는 연관성이 없다. 이를 개발에 사용하기 위해서 해당 언어로 맵핑을 하여야 한다. 본 논문은 IDL로 정의된 인터페이스를 C++로 맵핑하도록 하여 분산 객체 환경을 지원하도록 하기 위한 것이다. IDL 컴파일러는 IDL 정의를 입력 받아 어휘 및 구문 분석을 한 후 AST 트리를 생성하며, 생성된 각 노드를 통해 맵핑된 C++ 코드를 생성토록 한다.

• Proceedings of the Korea Multimedia Society Conference
• /
• 2000.04a
• /
• pp.363-369
• /
• 2000

Farming 이란 Farmer 모델에서 제안하는 컴포넌트 아웃소싱을 의미한다. Farming 개념을 구현하기 위하여 본 논문에서는 컴포넌트 기반 개발( Component-Based Development) 개념을 도입하였다. 컴포넌트는 컴포지션에 의한 소프트웨어 블록 재사용성을 제공하며 컴포넌트는 이들의 수행하는 기능에 대한 명세를 나타내는 인터페이스 명세모델이반드시 필요하게 된다. 본 논문에서는 Farmer 모델링 방법론에 의하여 디자인되어진 시스템을 컴포넌트 기반 개발의 인터페이스 명세모델로의 변형(Transformation ) 메카니즘인 FTI 알고리즘 및 COM IDL 과의 상호관련성에 대하여 소개한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 1998.10b
• /
• pp.614-616
• /
• 1998

현재의 코바 컴포넌트를 개발하는 방법은 대상 시스템 분석 후, IDL로 인터페이스와 시스템을 명세 한 다음 언어를 선택하여 구현을 한다. 하지만 시스템분석에서 IDL로 전환은 어려운 작업이며 아직까지 진행된 연구가 부족하다. 따라서 본 논문에서는 IDL작성 전의 시스템 분석과 검증 단계를 소프트웨어 아키텍쳐 접근 방법을 이용한 SACM(Software Architecture-based Component Modeling) 기법을 제안하였다. SACM은 정확한 IDL을 작성뿐만 아니라 구현 단계까지 청사진을 제시한다. SACM 기법을 따르는 경우 효과적으로 컴포넌트 개발이 가능하며, 코드의 재사용 측면도 효과적으로 지원해 준다.

• The KIPS Transactions:PartA
• /
• v.9A no.4
• /
• pp.479-484
• /
• 2002

This paper presents the model that integrates an SDL system and a CORBA system using mapping rules between method and signal for developing embedded systems connected with internet. In order to support communication between the two different systems (SDL and CORBA), it is essential to secure the conversion interface between SDL communication protocol and CORBA communication protocol. In this paper, IDL is adopted for the communication interface and the conversion of the communication protocol between the two systems, and the IDL compiler automatically generates the interface for protocol interoperability. The proposed model adopts middleware on the subpart of the SDL based legacy system, and hence, supports the service on the distributed system, regardless of the environment and location of the server system.

• The Transactions of the Korea Information Processing Society
• /
• v.5 no.12
• /
• pp.3127-3137
• /
• 1998

COBRA 표준명세는 표준을 만족하는 구현에서 제공해야 할 기능뿐만 아니라 서비스 제공 모듈의 사용자 인터페이스도 IDL을 사용하여 엄격하게 정의하고 있다. CORBA 표준에 대한 확신과 신뢰성을 가지기 위해서는 IDL(Interface Definition Language)로 기술된 표준명세를 정형화하고 수학적으로 엄격히 증명할 필요가 있다. 본 논문에서는 CORBA 표준을 정형적으로 명세하고 검증할 방법을 제시한다. 먼저 표준모듈을 Larch/CORBA IDL(LCB)를 사용하여 정형적으로 명세하고, LCB의 의미론에 준하여 LCB 명세를 LSL(Larch Shared language)로 변환한다. 변환한 LCB 명세와 LSL 증명논리를 사용하여 특성을 수학적으로 증명한다. 변환기반의 LCB 의미론을 정립하여 제안한 방법의 이론적 바탕을 마련하고 CORBA 이름서비스명세에 실제 적용하여 그 효용성을 보인다.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 1999.05a
• /
• pp.192-197
• /
• 1999

Programmers who write distributed programs are faced with a dilemma when writing the systems communication code. If the code is written by hand or partly by hand, then the speed of the application may be maximized, but the human effort required to implement and maintain the system is greatly increased. On the other hand, if the code is generated using a CORBA IDL compiler then the programmer effort will be reduced, but the performance of the application may be poor. So we need the optimizing the code generated by CORBA IDL compiler. We introduce the techniques which have been used by typical programming languages into compilation of IDL. We separate the phase of compilation into three phase. The first phase parses interface definition in IDL, manages nested scope and generates AST(Abstract Syntax Tree). The second phase implements the optimization. The third phase generates the code in target language. In this paper, we focus on the first phase. We separate interface definition into interface and message representation from AST. This supports the separate optimization of code in second phase.

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

In distributed data processing environments, heterogeneous data sources should corporate each other. The CORBA standards proposed by OMG solve this problem by the integration of platform independent applications. In this paper, we design and implement a CASE tool that help linking CORBA applications to relational databases by interface method. This CASE tool manipulates the database schema and generates IDL and $C^{++}$ stubs corresponding to the schema. We explain the code generation process and evaluate the data access performance of the interface method compared to adapter method and various implementation languages. The implemented tool can be used for developing applications that need relational database corporation environments such as distributed information systems or data warehousing. etc.

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

자바 기반의 분산 객체 시스템을 개발할 때 또는 사용할 때 분산 객체에 대한 인터페이스의 공유가 필수적이다. CORBA(Common Object Request Broker Architecture)의 경우 IR(Interface Repository)을 이용하여 IDL(Interface Definition Language)로 작성된 인터페이스 정보를 공유하고 있다[2][3]. 인터페이스 정보를 공유하기 위한 다른 방법으로는 메일, FTP, 데이터베이스 이용 등과 같은 방법이 있다. 그러나 이 방법들은 작성자 혹은 서버의 정보를 알아야 인터페이스의 공유가 가능하다는 단점을 가지고 있다. 본 논문에서는 Jini 시스템 개발 시 정보 공유의 불편함을 해결하고자 IRSJ를 제안한다. IRSJ는 Jini 시스템과 인터페이스 공유 서비스를 위한 자바 클래스들로 구성된다. Jini 시스템은 네트워크 장비가 네트워크 접속 및 해제되는 과정을 자동적으로 관리해주는 아키텍처를 포함한다[6]. 이 아키텍처를 사용하면 Jini 시스템 개발 팀원들간에 서버나 작성자에 대한 정보 없이 정보를 공유하기 위한 서비스 개발이 가능하다. IRSJ를 이용하면 서버의 정보가 불필요하며, 원격 이벤트 모델에 의한 인터페이스 자동 다운로드 등의 장점이 있다.

• The KIPS Transactions:PartD
• /
• v.11D no.4
• /
• pp.929-936
• /
• 2004

A major limitation of available component-based platforms Is that they do not provide suitable means for describing and reasoning on the concurrent behaviour of interacting component-based system. Indeed while these platforms provide convenient ways to describe the typed signatures of components, e.g. like CORBA's IDL, they offer a quite low-level support to describe the concurrent behaviour of component. The ability to describe and verify the concurrent behaviour of interacting components is key aspect In the development of large component-based software system. This study propose a component interface specification using process algebra and configuration's role which allows one to prove correctness of software architecture generated at design level as well as to define compatibility relations by our evolution rule and $\pi$-graph. Also, we shown on an appropriateness of a specification techniques and definitions proposed in this paper by case-study.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2002.11a
• /
• pp.396-400
• /
• 2002

In the distributed environment based on the network, we can get the necessary information by sharing or exchanging an information document. However, there is the difficulty for sharing and distributing of the information document because of the heterogeneity at the dist(equation omitted). In this paper, we propose(equation omitted) interchange structure based on CORBA for disposing of the information document and provide the mechanism for interchanging IDL to DTD by designing the converter within it.