• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2006년도 한국컴퓨터종합학술대회 논문집 Vol.33 No.1 (C)
• /
• pp.229-231
• /
• 2006

본 논문은 한국원자력연구소 내에서 가동 중인 하나로 원자로의 방사선감시시스템 소프트웨어 개발에 있어서 속성기반설계를 적용한 사례를 소개한다. 본 논문에서 채택한 속성기반설계는 시스템의 기능요건 및 품질요건 도출, 이를 만족하기 위한 전술 설정, 설정된 전술에 근거하여 시스템 아키텍처 결정, 확정된 아키텍처를 구현 및 검증하는 과정으로 이루어진다. 하나로 방사선감시시스템의 개발요건으로부터 사용성, 가용성, 유지보수성. 호환성, 확장성 과 같은 품질속성을 추출하였으며, 개발 전술로는 이중화된 서버에 다수의 클라이언트가 연결되는 클라이언트-서버클러스터링 전술과 객체지향적 데이터 처리 및 디스플레이 설계 전술을 채택하였다. 단기간 내에 개발을 완수해야하는 방사선감시시스템 개발에 속성기반설계를 적용함으로써 보다 효율적으로 과제를 성공시킬 수 있었다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제28권6호
• /
• pp.414-428
• /
• 2001

객체 지향 설계를 재구조화하기 위해서는 메소드와 속성들 사이의 관계를 파악해야 한다. 메소드와 속성들이 동일한 클래스에 속하는지를 추론하는 과정은 클래스 자료 참조 분석과 메소드 호출 분석에 의존한다. 최근의 많은 소프트웨어들은 규모가 방대하고 복잡하여 개발자가 도구를 사용하지 않고 수작업으로 설계를 재구조화기 어려우며 또한 너무 많은 시간과 노력이 요구된다. 본 논문에서는 메트릭을 이용하여 객체 지향 설계를 자동적으로 재구조화하는 방법을 기술한다. 먼저 메소드, 속성, 클래스, 그리고 그들의 관계츨 추상화된 모델로 표시한다. 이 모델을 기반으로 객체 지향 설계를 정량적으로 측정할 응집도와 결합도 메트릭을 정의한다. 본 논문의 메크릭은 재고조화 과정 동안에 여러 다른 설계들을 효율적으로 비교하기 위한 유용한 기준을 제공한다. 기본 재구조화 행위들과 그 의미(semantics)를 정의하고 메트릭과 행위들을 사용하여 설계를 자동적으로 재구조화한다.

• 한국GIS학회:학술대회논문집
• /
• 한국GIS학회 2008년도 공동추계학술대회
• /
• pp.333-334
• /
• 2008

본 연구에서는 GIS 기반의 환지설계방식을 도입하여 환지업무에 사용되는 도형과 속성자료를 GIS데이터로 구축하고 공간데이터 결합 및 속성을 연계(Link)하여 환지설계업무를 수행하였다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2006년도 춘계학술발표대회
• /
• pp.447-450
• /
• 2006

본 논문에서는 C++ 컴파일러 구현과정에서 객체지향 언어의 속성을 처리하기 위한 역번역기(detranslator)를 설계하고 구현하였다. 구현된 역번역기는 C++ 컴파일러의 선언부 처리 과정에서 심벌 테이블에 입력된 속성들을 본래의 C++ 프로그램으로 역번역 한다. 따라서 C++ 컴파일러 개발 과정에서 설계된 심벌 테이블과 심벌테이블에 입력된 정보가 올바른지 쉽게 검증할 수 있다. 심벌 테이블은 C++ 컴파일러의 어휘 분석과 구문 분석 과정에서 인식되는 명칭(identifier)에 대하여 그 속성(attribute)들을 수집하여 저장하는 자료구조로, 심벌 테이블에 저장된 속성들은 의미분석(semantic analysis) 단계에서 참조된 명칭의 사용이 타당한지 검사하는데 사용 되어 코드 생성(code generation) 단계에서 올바른 코드가 생성 되도록 한다. 본 역번역기를 구현함으로써 심벌 테이블이 올바르게 설계 되었는지 검증할 수 있으며, 컴파일 할 때 심벌 테이블에 필요한 모든 속성이 저장되어 있는지 쉽게 확인 할 수 있게 되었다. 그리고 디버그 정보도 함께 출력되어 객체지향 언어를 위한 컴파일러 개발의 정확성을 기할 수 있다.

• 한국항해항만학회:학술대회논문집
• /
• 한국항해항만학회 2014년도 추계학술대회
• /
• pp.344-346
• /
• 2014

우리나라 항만 입출항 통항 선박의 대형화, 고속화에 따른 해양안전사고가 증가하고 있어 항만 연안 해역에서의 해상교통안전 확보가 절실히 요구되고 있는 실정으로, 최근 국제항로표지협회(IALA)에서 항로표지 설계와 배치계획에 대한 의사결정을 지원할 수 있는 항로표지 전문 기능 시뮬레이터의 개발과 주요 항로의 항로표지 설계 및 계획 등을 검증할 수 있는 시스템 필요성을 제기하였다. 우리나라 주요 항로의 항로표지 설계와 적정 배치 여부 등을 검증하고 보완할 수 있는 시뮬레이션 시스템에 대한 개발이 진행되고 있다. 항로표지 시뮬레이션 수행을 위하여 AtoN Manager 운영에 필요한 항로표지 속성 및 항로표지 3D 모델에 대한 항로표지 종류별, 속성별 세부사항을 검토하여 다양한 조합이 가능하도록 DB를 구축하였다. 또한, 항로표지 3D 모델링 작업데이터에 대하여 각 항로표지 시설물별 조합 경우의 수를 고려하여 시뮬레이션 구현 시 조합 가능한 항로표지 종류별 실시간 제어속성 항목을 검토하여 DB 분류작업을 수행하였으며 시뮬레이션을 위한 항로표지 3D 구현 방식을 검토하였다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2005년도 한국컴퓨터종합학술대회 논문집 Vol.32 No.1 (A)
• /
• pp.298-300
• /
• 2005

웹데브는 HTTP1.1의 확장으로서 지역적으로 분산된 사용자들 사이에 공동 저작활동을 지원하는 표준 프로토콜이다. 웹데브의 주요 기능인 속성 관리는 저장소의 역할과 함께 자원의 추가 정보를 관리하고 활용할 수 있는 장점을 가지며, 웹데브 접근 제어 프로토콜을 이용하면 사용자에 대한 접근제어를 보다 효과적으로 설정, 관리할 수 있다. 따라서 웹데브 기반의 응용 프로그램을 개발하기 위해서는 사용자 정의 속성의 설계 및 속성의 효과적인 관리 그리고 사용자에 대한 접근 권한 설계가 매우 중요한 역할을 한다. 본 논문에서는 협업을 지원하는 팀작업장에 필요한 웹데브 사용자 정의 속성을 설계하고 설계된 속성을 효과적으로 관리하기 위한 방법 그리고 웹데브 접근 제어 프로토콜을 이용하여 사용자에 대한 접근 권한을 효과적으로 적용하는 방법을 제안한다. 웹데브를 기반으로 한 팀작업장이 개발됨으로써 협업을 위한 자료의 공유 및 교환을 보다 효율적으로 지원한다.

• 한국방송∙미디어공학회:학술대회논문집
• /
• 한국방송공학회 2003년도 정기총회 및 학술대회
• /
• pp.87-90
• /
• 2003

디지털 방송의 시작과 함께, TV화면에서 채널이나 프로그램을 직접 검색할 수 있는 EPG(Electronic Program Guide)라는 새로운 방송 서비스가 제공되고 있다. 그러나 아직까지는 시청자 입장을 고려한 EPG의 User Interface에 대한 연구는 미흡한 실정이다. TV는 특정 계층이 아닌 모든 사람이 시청하는 매체이의로 시청자에게 프로그램을 쉽게 찾게 하기 위해서는 단순하고 직관적인 User Interface가 필요하다. 이러한 User Interface를 설계하기 위해서는 많은 채널에서 방송되고 있는 프로그램을 체계적으로 구분학 수 있는 정보구조와 정보구조들을 유연하게 연결시킬 수 있는 Navigation의 설계가 필요하다. 일반적으로 프로그램을 구분하는 방법으로 장르, 시간, 등급, 프로그램의 내용 등과 같은 속성을 이용한다. 하지만 이러한 속성들은 체계적으로 구조화되어 있지 않다. 본 논문에서 제안하는 EPG는 프로그램이 가지는 속성들을 체계적으로 정리해 구조화하고, 이렇게 구조화된 속성들을 시청자들이 쉽게 선택해 원하는 프로그램을 찾을 수 있는 유연한 Navigation을 설계함으로써 기존의 EPG보다 쉽고 빠르게 프로그램을 검색 학 수 있는 User Interface를 제안하고자 한다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2006년도 추계학술발표대회
• /
• pp.669-672
• /
• 2006

본 연구팀은 유비쿼터스 게임 플랫폼을 위한 Embedded C++ 컴파일러를 개발하였으며, 컴파일러 개발 과정에서 객체지향언어인 C++과 Java 언어를 모두 수용할 수 있는 심벌 테이블을 설계하였다. 심벌 테이블은 컴파일러의 어휘 분석과 구문 분석 과정을 거친 후 SDT(syntax-directed translation)에 의해 생성된 AST(Abstract Syntax Tree)를 분석하여 인식된 명칭(identifier)과 그 속성(attribute)들을 수집하여 저장하는 자료구조로써, 심벌 테이블에 저장된 속성들은 의미 분석(semantic analysis) 단계에서 수집된 속성과 참조된 명칭의 사용이 타당한지를 검사하고, 코드 생성(code generation) 단계에서 올바른 코드가 생성되도록 하는 중요한 요소이다. 따라서 심벌 테이블의 설계가 올바른지와 입력된 속성이 정확한지에 대한 검증과 분석은 필수 불가결하다. 본 논문에서는 컴파일러 개발과정에서 설계한 심벌 테이블을 검증하고 분석하기 위한 목적으로써 심벌 테이블을 이용하여 선언문을 복원시키는 역번역기(detranslator)에 대하여 기술한다. 구현된 역번역기는 C++ 컴파일러와 Java 컴파일러의 선언문 처리 과정에서 심벌 테이블에 입력된 속성들을 본래의 입력 프로그램으로 역번역한다. 따라서 역번역기를 통하여 심벌 테이블의 완전성과 심벌 테이블에 입력된 속성 정보의 정확성을 쉽게 검증할 수 있으며, 역번역과 함께 출력되는 디버그 정보를 이용하여 효율적으로 컴파일러의 개발과 수정을 할 수 있다.

• 정보학연구
• /
• 제6권4호
• /
• pp.113-123
• /
• 2003

본 논문은 사이클이 없는 속성문법을 사용한 코드 생성에 관한 연구이다. 이 연구를 수행하는 목적은 비 순환 속성문법을 기술하고 속성 문법을 표현하는 메타 언어인 속성 기술 언어를 설계하는 것이다. 여기서, 비 환형 속성 문법으로 L-attributed grammar를 사용한다. 본 시스템은 속성 문법으로부터 정보를 얻기 위한 분석기와 속성 평가기로 구성되어 있다. 속성 문법 분석기는 속성 기술 언어를 취하고 속성 평가기에 의해 요구되는 유용한 정보를 생성한다. 속성 평가는 이 정보를 사용하여 속성 값을 계산한다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2004년도 춘계학술발표대회
• /
• pp.257-260
• /
• 2004

임베디드 시스템에 탑재될 자바가상머신을 기능별 모듈로 컴포넌트화 하여 이식될 플랫폼의 요구사항에 맞추어 재구성한다면 컴포넌트 기술의 장점인 소프트웨어의 재사용과 재구성을 통한 빠르고 신뢰성있는 자바가상머신 개발이 가능하다. 이러한 자바가상머신 컴포넌트 재구성을 위한 컴포넌트 모델의 정의 및 명세를 위한 지원도구가 필요하며, 명세도구의 지원 하에 보다 시각적인 컴포넌트 구성 및 각 명세요소 정의를 바탕으로 한 자바가상머신 컴포넌트의 재구성에 요구되는 여러 제약조건이나 각 컴포넌트 간의 관계정의 등이 명세 되어질 수 있다. 또한 임베디드 시스템이 가지는 실시간 속성에 대해서 정의하여 이를 명세도구를 통해서 속성명세 및 설계 시에 예측성을 지원하기 위한 WCET 계산이나 우선순위 정의 등을 명세할 수 있다. 따라서, 본 논문에서는 명세방법을 제안하고 실시간 속성 중심의 자바가상머신 컴포넌트 명세도구를 설계하고 구현하였으며, 기존에 제안된 내장형 실시간 컴포넌트 개발 도구와 비교하였다.