프로그래밍언어논문지 제16권 제3호 (2002년 10월)

논문 C2 아키텍처에서 Adapter패턴을 이용한 EJB 합성 기법 정화영, 송영재 Bi-directional Demand-Driven Set-Based Analysis 최웅식, 이광근 PSAML를 기반으로 한 단백질 구조 비교 김진홍, 안건태, 조민수, 이수현, 이명준 불완전 연결 프로그램 실행을 위한 예외 처리 기법 한경숙, 표창우 바이트코드 정보흐름 분석기의 구현 조순희, 신승철, 도경구 컴파일러 수업에서 레고 마인드스톰의 활용 이수현 G-machine과 ZG-machine의 그래프 합동 우균, 한태숙

본문

C2 아키텍처에서 Adapter패턴을 이용한 EJB 합성 기법 [.PDF 3242KB]

• 저자: 정화영, 송영재
• 요약:
  최근 소프트웨어 개발분야에서는 컴포넌트 기반 개발방법론(CBD)에 관한 효율성 및 필요성이 입증되면서 이를 도입하고자 활발히 연구되고 있다. 이에 따라, 컴포넌트들을 쉽게 조립 및 운용할 수 있는 합성방법들이 제시되고 있으며, 이들 중 C2(Chiron-2) 스타일 아키텍처는 GUI 방식을 따르는 쓰레드 기반의 메시지전달방법에 의한 컴포넌트 합성기법이라는 점에서 많은 관심을 받고 있다. 그러나, 서버측 컴포넌트 모델인 EJB(Enterprise Java Beans)의 경우, 쓰레드를 포함할 수 없고 직접적인 메소드 호출방식 따름으로써 쓰레드 기반의 메시지 호출방식에 의한 컴포넌트 합성을 위해서는 EJB를 위한 C2 프레임워크의 수정이 불가피하다. 따라서, 본 논문에서는 C2 스타일 아키텍처에서의 EJB 컴포넌트를 적용할 수 있는 기법으로서, 디자인 패턴을 이용한 쓰레드 기반의 컴포넌트 합성기법을 제안하고자한다. 즉, 디자인패턴 중 구조패턴의 하나인 Adapter패턴을 이용하여 EJB 컴포넌트를 C2 스타일 아키텍처에 적용할 수 있도록 하였다.

Bi-directional Demand-Driven Set-Based Analysis [.PDF 3122KB]

• 저자: 최웅식, 이광근
• 요약:
  In this paper, we present a bi-directional demand-driven set-based analysis which solves only those constraints affecting program points one wants to analyze. To achieve this goal, we incorporate the notion of demands on set constraints and analyze programs in two directions: forward to know which values flow into a given point, and backward to know which program points that a given value flows into. We prove that for interested program points, our analysis gives exactly the same results as whole-program set-based analysis. As an experiment of our approach, we analyzed each program point separately using our demand-driven formulation. We report the efficiency of our analysis as percentage of constraints solved for each program point compared with the whole-program analysis.

PSAML를 기반으로 한 단백질 구조 비교 [.PDF 2958KB]

• 저자: 김진홍, 안건태, 조민수, 이수현, 이명준
• 요약:
  PSAML은 단백질의 2차구조 구성요소와 그들 사이의 관계를 이용하여 단백질 구조를 기술하는 PSA라는 단백질 구조 모델과 표준화된 문서 표현 양식인 XML을 이용하여 단백질 구조를 표현하는 언어이다. 대부분의 단백질 구조 비교하는 방법은 단백질 구조의 분류 및 공통 부분 구조를 파악하는데 효과적으로 활용되고 있으나, 단백질 구조를 비교하기 위하여 자신의 알고리즘에 맞는 고유한 형식의 데이터를 사용하고 있어 상호호환성이 부족하다. 본 논문에서는 단백질 구조 비교 도구를 효율적으로 개발하기 위한 단백질 구조 표현 언어인 PSAML과 이를 활용하여 단백질 구조를 효과적으로 비교하는 방법에 대하여 기술한다. PSAML 기반의 단백질 구조 비교 방법은 두 단백질 구조 사이의 유사성 그래프를 생성한 후, 최대 유사 부분 그래프를 찾는 방법을 이용하여 유사한 부분 구조를 찾는다.

불완전 연결 프로그램 실행을 위한 예외 처리 기법 [.PDF 2887KB]

• 저자: 한경숙, 표창우
• 요약:
  응용 프로그램 개발자는 편집, 컴파일, 링킹, 다운로드, 테스팅 과정을 반복하며 프로그램을 개발한다. 이러한 개발 과정에서 프로그램의 초기 테스트를 가능하게 하고 프로그램 처리 과정의 과부하를 줄이기 위하여 점진적 링킹 방법을 사용할 수 있다. 프로그램 개발 초기 단계에 테스팅 하거나 프로그래머가 다른 프로그래머의 모듈과 연결하지 않은 상태에서 테스팅 할 수 있기 위해서는 불완전 연결 프로그램의 실행이 가능해야 한다. 내장형 응용 프로그램 개발자의 경우 시스템이 완성되기 전에 개별적인 프로그램에 대한 테스팅을 필요로 하는 경우가 많으므로 불완전 연결 프로그램의 실행 방법이 유용하게 사용된다. 또한 불완전 연결 프로그램의 실행 과정에서 정의되지 않은 심벌에 대한 참조가 발생하더라도 시스템의 안정성을 유지해야 한다. 불완전 연결 프로그램을 테스팅 하는 경우 재배치가 이루어지지 않은 심벌의 접근으로 인하여 문제가 발생할 수 있다. 이 문제의 해결을 위하여 정의되지 않은 심벌을 예외처리 함수로 연결하여 부적절한 메모리 접근을 방지하였다. 예외처리 함수는 프로그램을 안정적으로 종료시키며 사용자에게 예외 상황 발생 원인을 보고하는 기능을 수행한다.

바이트코드 정보흐름 분석기의 구현 [.PDF 2230KB]

• 저자: 조순희, 신승철, 도경구
• 요약:
  프로그램은 실행을 통해서 작성자가 알아채지 못하는 사이에 정보의 누출이 발생할 수 있는데, 정보의 누출이 없는 프로그램을 정보흐름이 안전한 프로그램이라고 한다. 본 논문에서는 프로그램에서의 정보누출 여부를 검증하기 위해, 실험대상이 되는 While 프로그램을 바이트코드 JVML0로 바꾸고, 이것을 요약해석을 통하여 프로그램의 정보흐름이 안전한 지를 검사한다.

컴파일러 수업에서 레고 마인드스톰의 활용 [.PDF 3788KB]

• 저자: 이수현
• 요약:
  컴파일러 교과목은 인간 중심의 프로그래밍 언어 기술과 기계 중심의 하드웨어 기술이 모두 적용되는 이수 난이도가 높은 교과목이며, 컴파일러 제작 실습이 수반되어야 하는 교과목이다. 컴파일러 제작 실습에 있어 가상기계를 타겟(목적기계)으로 이용하는 방법을 많은 대학에서 채용하고 있으나, 가상기계의 동작을 시뮬레이션으로 보여줄 수밖에 없어서 현실감이 떨어지는 단점이 있다. 레고의 고수준 장난감인 마인드스톰은 컴퓨터를 내장한 로봇 조립용 키트이며, 간단한 명령어만으로 로봇을 동작시킬 수 있다. 로봇을 제어하는 간단한 언어를 설계하고 마인드스톰을 타겟으로 하는 컴파일러를 제작해 본다면 컴파일러의 동작을 직접 눈으로 확인하고 느낄 수 있어 컴파일러 교육의 효과를 높일 수 있다. 본 논문에서는 레고 마인드스톰을 제어하는 언어인 LegoC를 설계하고 LegoC 언어의 컴파일러를 제작한 경험을 기술한다. 또한 마인드스톰을 컴파일러 수업에서 활용할 수 있는 방안을 제시한다.

G-machine과 ZG-machine의 그래프 합동 [.PDF 933KB]

• 저자: 우균, 한태숙
• 요약:
  이 논문은 자연 함수형 언어를 위한 추상기계 G-machine과 ZG-machine의 동작이 동등함에 대하여 논한다. ZG-machine은 공간 효율을 높이기 위해 태그 옮김이라는 기법을 통해 G-machine을 변형한 추상기계이다. ZG-machine에서는 그래프 생성 방법을 변경하였으므로 해석방법도 G-machine과 다르게 되는데, 그럼에도 불구하고 G-machine과 ZG-machine은 같은 의미의 동작을 수행한다는 것을 보이고자 한다. 이를 위해 이 논문에서는 두 추상기계 수행시 메모리에 저장되는 그래프 형태를 의미 도메인 상의 원소로 기술하고, 같은 프로그램에 대하여 두 추상기계에서 상태 변환 과정 중의 그래프 형태가 같은 의미라는 것을, 즉 그래프 합동이라는 것을 보인다.