http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
최완(Wan Choi),신연승(Yeon Sung Shin),홍진표(Jin P. Hong) 한국정보과학회 1989 한국정보과학회 학술발표논문집 Vol.16 No.1
본고는 추상화된 그래픽 명세 언어로부터 프로그램을 자동적으로 생산하는 과정에 관하여 설명한다. 컴파일러의 구성과 유사하게 abstract syntax tree를 구축하는 front end부와 이 tree로부터 프로그램을 생산하는 back end로 나누어 기술한다. SDL 종합 개발환경 구축의 일환으로 개발된 SDL로부터 CHILL 변환기는 위의 변환과정을 거쳐서 개발한 도구이다. 이 도구의 개발로 실제 개발 기간의 단축과 CHILL 프로그램의 표준화에 기여할 것으로 사료된다.
김환철(Hwan C. Kim),최완(Wan Choi),홍진표(Jin P Hong) 한국정보과학회 1990 한국정보과학회 학술발표논문집 Vol.17 No.1
SDL(functional Specification and Description Language)은 통신 시스템의 동작을 계층적 구조로 표현하고 설계하기 위해 CCITT에서 표준화한 언어이다. 당 연구소에서는 앞으로 개발할 차세대 전전자 교환기(TDX-10)를 개발하기 위해 통합된 SDL 개발환경을 제안하고 관련 도구들을 개발하였다. 본 논문에서는 통합된 SDL 개발환경 구축을 위해 개발한 도구 중에서 PN(Petri Nets)에 기초를 둔 동적 SDL 분석기(Dynamic SDL Analyzer)에 대해 기술한다. 동적 SDL 분석기는 SDL을 이용한 시스템 명세를 PN으로 변환하는 SDL to PN 변환기능과 시스템 초기 상태로부터 도달가능한 모든 시스템 생성하는 도달성 그래프(reachability graph) 생성기능 및 도달성 그래프 생성을 통해 deadlock, 비도달성(unreachability), 시스템 상태의 주기성, no receiver 가능성과 같은 동적특성을 분석하는 동적특성 분석기능 등으로 구성되어 있다.
Table - Driven 68020 Code Generator
정영식(Young S Chung),박경범(Kyung B Park),김성희(Sung H Kim),홍진표(Jin P Hong) 한국정보과학회 1987 한국정보과학회 학술발표논문집 Vol.14 No.1
한국전자통신연구소에서는 대용량 전전자교환기 TDX-10 software를 개발하기 위하여 CCTIT에서 제정, 권고한 고급언어인 CHILL에 의거한 프로그래밍 환경을 구축하고 있다. CHILL compiling system은 가장 핵심적인 도구로 host 위에서 프로그램을 compile하고 실행 및 debugging을 할 수 있으며, cross compilation을 포함하여 retargeting 및 rehosting이 용이하도록 개발되고 있다. CHILL compiling system은 프로그램을 중간 코드로 변환하여 주는 front end와 중간 코드를 target assembly 코드로 변환하여 주는 back end의 두 부분으로 설계되어 개발되고 있다. 본 논문에서는 68020 CHILL cross-compiler의 back end로서 32-bit MC68020 프로세서를 사용한 target시스팀에서 프로그램을 수행시키기 위한 table driven 방식의 code generator의 설계 및 구현 방법에 관하여 기술한다.
CHD : CHILL Source - level Debugger
김영호(Young H. Kim),이동길(Dong G. Lee),김성희(Sung H. Kim),홍진표(Jin P Hong) 한국정보과학회 1987 한국정보과학회 학술발표논문집 Vol.14 No.1
CHILL 프로그래밍 환경을 조성하는데 있어서 CHILL debugger는 CHILL compiler와 함께 기본 도구로서 프로그램의 개발 및 시험에 중요한 역할을 한다. CHILL debugger는 compiler로 부터 debugging 정보를 받아 syntax 및 mode에 적합한 symbol table을 구성하고, source line 단위로 프로그램의 실행, symbolic 정보 엑세스, source 화일 reference 등의 기능들을 제공한다. 본 논문에서는 CHILL debugger에서 요구되는 compiler와의 인터케이스 및 symbolic debugging 기능을 중심으로 CHILL debugger의 기능 및 구조, 구현방법에 대하여 기술한다.
김환철(Hwan C Kim),이승열(Seung Y. Lee),최완(Wan Choi),홍진표(Jin P Hong) 한국정보과학회 1988 한국정보과학회 학술발표논문집 Vol.15 No.2
SDL(functional Specification and Description Language)은 통신 시스템의 동작을 계층적 구조로 표현하고 설계하기 위해 CCITT에 표준화한 언어이다. 본 논문에서는 SDL 환경 구축을 위해 개발하고자 하는 도구 중에서 관계형 데이타베이스에 기초를 둔 정적 SDL 분석기(Static SDL Analyzer)에 대해서 기술한다. 정적 SDL 분석기는 SDL 그래픽 에디터(SDL Graphic Editor)를 이용하여 설계한 SDL/GR 다이어그램으로부터 자동적인 정보검증 및 유용한 문서의 생산을 담당하는 소프트웨어 시스템으로서 데이타베이스 관리 및 변경 기능, SDL 의미규칙과 데이타베이스내의 정보에 대한 일치성 및 완전성을 분석하는 정적 의미 분석 기능 및 시스템 설계상에 필요한 일련의 문서생산 기능등으로 구성되어 있다.
Embedded System 개발을 위한 CHILL Cross Debugger
김성희(Sung H Kim),박근서(Geun S. Park),김황래(Hwang R Kim),홍진표(Jin P. Hong) 한국정보과학회 1988 한국정보과학회 학술발표논문집 Vol.15 No.2
모든 소프트웨어의 개발에서 디버깅 작업이 필요하다. 특히, embedded system의 개발은 병렬처리 및 실시간 처리환경의 제약으로 인하여 프로그램들을 디버깅하기가 용이하지 않다. 범용 source-level debugger가 embedded system 개발에 효율적으로 사용되기 위해서는 cross debugging 기술이 요구된다. Cross debugging은 host에 cross debugger를 제공함으로써 가능하며 host에서 디버깅 프로세스를 제어하면서 target에서 실행되는 코드들을 추적하게 한다. 본 논문에서는 CHILL 언어를 사용하여 embedded system 소프트웨어를 효율적으로 개발하기 위해 cross debugger가 가져야 할 요구사항과 cross debugging 기능, 및 이를 지원하기 위한 CHILL cross development 환경, 그리고 target에서 실행되는 코드들을 CHILL 언어수준에서 디버깅할 수 있는 CHILL cross debugger의 설계에 대하여 기술한다.
김황래(Hwang R. Kim),김성희(Sung H Kim),홍진표(Jin P. Hong) 한국정보과학회 1987 한국정보과학회 학술발표논문집 Vol.14 No.1
UNIX 환경하의 relational database management system(DBMS)인 Troll을 기초로 하여 한글 처리가 가능하도록 기능을 확장하여 한글/영문 혼용 relational DBMS인 Kroll(Korean Troll)을 개발하였다. Kroll은 Troll과 동일한 기능과 질의어를 제공하며 한글 데이타의 입출력, 검색, 그리고 보관을 할 수 있으며, C와 F77 등의 고급 언어 및 소프트웨어 engineering 도구들과의 인터페이스를 통하여 폭넓게 응용될 수 있다. 본 논문에서는 Kroll의 구조 및 기능, 구현 방법에 관하여 기술한다.
박경숙(Kyung Sug Park),박성원(Sung Won Park),서진석(Jin Suk Suh),이동길(Dong Gill Lee),홍진표(Jin P Hong) 한국정보과학회 1987 한국정보과학회 학술발표논문집 Vol.14 No.2
CHILL로써 신뢰성있는 대용량의 소프트웨어를 개발하는데 있어서 프로그램을 구성하는 각 파일들 간에 교환되는 name들에 대한 name binding과 interface 정보의 일치성을 보장할 수 있는 분리 컴파일 기능이 필요하며 이를 위해서 ETRI CHILL 분리 컴파일 시스템을 개발하였다. ETRI CHILL 분리 컴파일 시스템은 파일 사이의 time dependency와 각 파일의 source 프로그램으로부터 자동적으로 추출한 정보를 이용하여 높은 신뢰성과 컴파일 수를 최소화 할 수 있도록 설계하였으며, makefile 생성, interface 정보의 자동 추출과 생성, name binding의 기능을 가진다. 본 논문은 ETRI CHILL 분리 컴파일 시스템의 설계 및 구현에 관하여 기술하였다.
ERA 모델을 이용한 SDL Relational Database의 설계
김환철(Hwan C. Kim),최완(Wan Choi),신연승(Yeon S Shin),홍진표(Jin P Hong) 한국정보과학회 1987 한국정보과학회 학술발표논문집 Vol.14 No.1
SDL (Functional Specification and Description Language)은 통신 시스템의 동작을 계층적 구조로 표현하고 설계하기 위해 CCITT에서 표준화한 언어이다. 본 논문에서는 SDL 환경 구축을 위해서 개발하고자 하는 도구중에서 SDL relational database를 구축하기 위한 SDL의 ERA 모델링과 SDL relational schema 설계 database내에 저장될 SDL로 표현한 시스템의 semantic 조사를 위한 consistency/completeness check에 대해서 기술하고 끝으로 사용자들의 다양한 요구를 만족시키는 document 종류에 대해서 기술한다.
Portable CHILL Run - time 시스템의 구현
조철희(Cheol H Cho),김성희(Sung H Kim),홍진표(Jin P Hong) 한국정보과학회 1988 한국정보과학회 학술발표논문집 Vol.15 No.1
CCITT가 표준화하여 권고한 CHILL(CCITT High Level Language)은 concurrent 프로그래밍을 할 수 있는 다양한 기능들을 갖고 있는 언어로서 프로세스를 단위로 하여 동기화 및 통신을 위한 기능과 mutual exclusion의 기능을 제공한다. CHILL Run-time 시스템은 CHILL의 concurrent 처리기능을 지원하기 위해 CHILL 프로세스들의 생성 및 소멸, scheduling을 판장하며 CHILL 프로세스들이 concurrent하게 수행되도록 처리해 주는 일종의 운영체제이다. 본 논문에서는 당 연구소에서 개발한 UNIX용 Portable CHILL Run-time 시스템에 대하여 기술한다.