적응형 소프트웨어에 대한 웹 서비스 발견 기반 기법

김진한(Jinhan Kim),이창호(Changho Lee),이광우(Kwangwoo Lee),이병정(Byungjeong Lee),김희천(Heechern Kim) 한국정보과학회 2006 한국정보과학회 학술발표논문집 Vol.33 No.1

소프트웨어는 많은 상황을 염두에 두고 만들어진다. 하지만 모든 문제를 해결하도록 만들 수는 없기 때문에 문제가 발생했을 때 그 문제를 해결할 수 있도록 적응성을 두어야 한다. 본 논문에서 제시하는 아키텍처는 WSAS, 컴포넌트 변환, 적응성을 위한 부분으로 구성된다. WSAS는 기존의 UDDI를 변경하지 않고 확장된 검색을 지원하는 서비스이다. 그리고 컴포넌트 서비스를 위한 컴포넌트 저장소를 제공한다. 변환 아키텍처는 검색된 서비스를 통해 컴포넌트를 변환하고 변환된 컴포넌트는 적응형 아키텍처에서 재구성을 통해 문제를 해결한다. 본 논문에서는 컴포넌트 기반의 아키텍처에 적응성을 위해 개선된 웹 서비스 발견 기법을 제안한다.

문서화 지원을 위한 CASE 도구의 설계 및 구현

김희천(Heechern Kim),우치수(Chisu Wu) 한국정보과학회 1997 정보과학회 컴퓨팅의 실제 논문지 Vol.3 No.1

효율적인 문서화 작업과 S/W 개발 및 유지보수를 위해 문서화 작업을 지원하는 자동화된 도구의 개발이 필요하며 이러한 도구는 시스템 개발시 프로젝트 수행을 위한 좋은 기초를 제공하여 준다. 본 논문에서는 소프트웨어 생명 주기에 따른 체계적 문서화 작업을 지원하는 CASE 도구의 설계와 구현 결과를 제시한다. 이를 위해 표준화된 많은 문서 형식에 대한 분석을 수행하였으며 기존의 관련 도구에서 적용하고 있는 기법들을 분석하였다. 본 논문에서 제시한 도구는 여러 표준안에서 제시하고 있는 표준 문서에 대한 양식을 가지고 있으며 기존의 양식을 수정하거나 새로운 양식을 작성 할 수 있게 한다. 사용자는 미리 작성된 문서의 표준 양식을 불러들여 문서를 작성할 수 있어 문서의 호환성을 높일 수 있으며 또한 다른 CASE 도구가 생성한 분석, 설계를 위한 다이어그램 정보 등을 사용자가 작성중인 문서에 포함시킬 수 있다. 이러한 과정은 가장 최신의 정보에 대한 문서화를 가능하게 하여 문서간의 일관성을 유지하게 하고 문서간의 관계를 자동으로 인식할 수 있게 함으로써 소프트웨어 개발 및 유지보수에 대한 비용을 절감시킨다. An automated tool for documentation is required for the efficient documentation and S/W development and maintenance. Also, the tool offers a good basis for performing the project while a system is being developed. In this paper, we present the result of the design and implementation of a CASE tool which systematically supports documentation in each phase of S/W life cycle. For this study we analyzed many kinds of the standardized document formats and several existing models of documentation support tools. The tool presented in this paper have registered the standard document templates which conform to software documentation standards and the templates can be customized or newly created. The user can load a registered standard document format and incrementally generate the required document at each phase of software development, which makes document more portable. With the tool, the user can automatically create a document that takes information from analysis and design tools and keep the documents consistent with the progress of software development. Throughout this process the relation between documents and information can be checked automatically and the latest information can be kept consistently into documents. It results in better process and decreased costs for S/W development and maintenance.

웹 응용의 항해 모델 검사

김택수(Taeksu Kim),박상현(Sanghyun Park),이병정(Byungjeong Lee),김희천(Heechern Kim),우치수(Chisu Wu) 한국정보과학회 2005 한국정보과학회 학술발표논문집 Vol.32 No.2

웹 응용 개발 과정에서 페이지와 항해를 모델링하기 위해 설계 단계에서 항해 모델을 사용한다. 하지만 페이지와 항해의 수가 증가함에 따라 모델의 구조는 복잡해지고 검증이 어려워진다. 본 연구에서는 항해 모델의 검증을 위해 항해 규칙을 정의하고 항해 규칙을 이용한 항해 모델 검증 방법을 제시한다. 또한 사례 연구를 통하여 항해 모델 검증의 예를 보인다.

구조적 설계를 통한 C 코드 생성

선은두(Sun Eundoo),김희천(Kim Heechern),우치수(Wu Chisu) 한국정보과학회 1994 한국정보과학회 학술발표논문집 Vol.21 No.2B

본 논문에서는 구조적 기법(Structured Analysis/Structured Design)의 설계 단계를 통해 생성된 구조도, 자료사전, 모듈 명세서를 이용하여 실행 가능한 C 코드 생성을 지원하는 프로그래밍 환경을 제안한다. 구조도와 자료사전에 의해 C 코드의 골격이 생성될 수 있지만 내부 알고리듬은 모듈 명세서에 자세히 기술되어 있어야 한다. 모듈의 기능 설명이 자연 언어에 가까우면 코드를 자동으로 생성하는 데 따른 부담 때문에 프로그래밍 언어에 가까운 명세서 문법을 정의하여 사용한다. 따라서, 설계 단계에서 명세서 문법에 맞게 모듈 단위로 모듈 명세서를 작성하고 이들을 통합하여 화일을 생성할 수 있도록 한다. 이와같이 하여 프로토타입을 빠르게 생성할 수 있고, 프로그래머는 화일에 관련된 복잡한 일에 관여하는 것 없이 모듈 단위의 명세서 작성에만 노력하면 된다. 또한 설계 단계와 구현 단계를 자연스럽게 연결할 수 있도록 하고, 설계와 구현 단계의 정보 불일치를 줄일 수 있는 장점이 있다.

UNIX 정보시스템을 위한 정보 분류 및 검색기법

이창하(Lee Changha),김갑수(Kim Kapsu),이숙희(Lee Sookhee),김희천(Kim Heechern),우치수(Wu Chisu) 한국정보과학회 1996 한국정보과학회 학술발표논문집 Vol.23 No.2B

UNIX 시스템에서는 많은 유틸리티와 시스템 라이브러리 함수를 제공한다. 그러나 이를 효과적으로 활용하기 힘들며 UNIX 시스템 자체에서 제공하는 매뉴얼 페이지도 한계가 있다. 따라서 부품을 자동적으로 찾아 주는 UNIX 정보 시스템은 매우 유용하다. 본 논문에서는 이를 위한 정보 분류 및 검색 방법을 제안한다. 본 논문에서 제안하는 분류방법은 퍼싯 방법을 기반으로 하고 있으며 각 퍼싯에 여러 개의 값을 지정할 수 있게 하였고 자유 문장 키워드 방법을 첨가하여 부품에 대한 기술 부분(description)을 추가하였다. 이를 이용한 검색은 퍼싯 매칭과 description매칭의 두단계를 거쳐 이루어진다. 본 방법은 사용하기 쉬우며 분류 체계의 확장이 용이하고 모호성이 없다. 또한 빠른 검색시간을 가지며 description필드를 통하여 좀더 상세한 질의를 작성할 수 있고, 개념적 그래프나 동의어 사전과 같은 별도의 구조를 구축할 필요가 없다.

다목적 유전 알고리즘을 이용한 실시간 태스크의 정적 스케줄링 기법

오재원(Jaewon Oh),김희천(Heechern Kim),우치수(Chisu Wu) 한국정보과학회 2004 정보과학회논문지 : 소프트웨어 및 응용 Vol.31 No.3

본 본문에서는 다중 처리기 시스템에서 실시간 태스크를 정적으로 스케줄링하기 위한 새로운 기법을 제안한다. 태스크는 실행 시간과 마감시간을 지니고, 태스크 사이에는 선행 관계가 존재하며 이러한 사항을 태스크 그래프로 표현한다. 본 논문에서는 스케줄링을 위해 사용하는 처리기의 개수를 줄이면서 태스크들의 마감시간 지연의 총합을 최소화하는 스케줄을 생성하는 것에 목적을 둔다. 이 문제는 같은 단위로 측정할 수 없고 또한 서로 상충하는 두 가지 목적을 지닌 것이다. 그렇지만 기존 방법들은 마감시간 지연의 총합만을 최소화하려하거나 두 가지 목적을 하나의 기준으로 결합시킨 후 최적화하고자 한다. 본 논문에서는 두 개의 목적을 독립적으로 고려하며 최적화를 위하여 다목적 유전 알고리즘을 사용한다. 태스크 스케줄링 문제에 적합한 문제 표현 전략, 우세 개념에 기초한 선택 연산, 그리고 교차 연산을 제시한다. 그리고 지역 개선 작업을 위해 세 개의 휴리스틱을 제안하였으며 이 것을 통해 유전 알고리즘의 수렴성을 높이고자 하였다. 성능 평가를 위해 기존에 알려진 유전 알고리즘과 4 개의 리스트 스케줄링 알고리즘과 비교한다. 평가 결과를 보면 제안한 기법이 180 개의 임의로 생성한 태스크 그래프 중에서 178 개에 대해 기존 5 개의 알고리즘과 유사하거나 더 나은 스케줄을 생성하였다. We consider the problem of scheduling tasks of a precedence constrained task graph, where each task has its execution time and deadline, onto a set of identical processors in a way that simultaneously minimizes the number of processors required and the total tardiness of tasks. Most existing approaches tend to focus on the minimization of the total tardiness of tasks. In another methods, solutions to this problem are usually computed by combining the two objectives into a single criterion to be optimized. In this paper, the minimization is carried out using a multiobjective genetic algorithm (GA) that independently considers both criteria by using a vector-valued cost function. We present various GA components that are well suited to the problem of task scheduling, such as a non-trivial encoding strategy, a domination-based selection operator, and a heuristic crossover operator. We also provide three local improvement heuristics that facilitate the fast convergence of GA's. The experimental results showed that when compared to five methods used previously, such as list-scheduling algorithms and a specific genetic algorithm, the performance of our algorithm was comparable or better for 178 out of 180 randomly generated task graphs.

사용자 세션을 이용한 효과적인 웹 응용 테스팅

이춘우(Chunwoo Lee),이병정(ByungJeong Lee),김희천(Heechern Kim),우치수(Chisu Wu) 한국정보과학회 2004 한국정보과학회 학술발표논문집 Vol.31 No.1B

웹 응용은 현재 가장 빠르게 성장하고 있고 사회에 미치는 영향이 큰 분야이다. 잘 못 동작하는 웹 응용은 사회적은 큰 손실이 될 수 있다. 이에 웹 응용의 검증 방법의 중요성이 대두되고 있다. 검증 방법으로는 코드 분석과 테스팅이 있다. 허나 시장에 제품이 출시되는 시간이 매우 짧고, 관련 기술의 발달이 빠른 웹 응용 개발의 특성상 코드 분석은 꽤 정확한 검증 결과를 얻을 수는 있으나 적절하다고는 할 수 없다. 따라서 테스팅을 검증 방법으로 사용하게 된다. 그렇다고 해도, 테스팅에 들이는 시간과 노력이 코드분석과 비슷하다면 이 또한 적절한 검증 방법이라고 할 수 없다. 테스팅의 비용을 줄여 전체적인 개발 비용을 줄이는 것이 필요하다. 테스팅의 비용은 테스트 케이스를 수행하는 시간과 테스트 케이스르 생성, 분석하는 시간으로 측정 가능하다. 이 논문에서는 이 시간들을 줄이기 위해 전체 웹 응용의 경로 중 사용 빈도가 높은 경로를 테스트 케이스로 하여 테스트 케이스 실행 시간을 줄이고, 각 페이지에 맞는 입력 값으로 빈도가 높은 사용자 세션 정보를 이용하여 테스트 케이스의 생성을 자동으로 할 수 있게 하여 테스터가 직접 테스트 케이스를 생성하는 것보다 시간을 줄였다.

동질적 메타프로그래밍 도구 개발을 위한 설계 방법

유찬우(Chanwoo Yoo),박찬진(Chanjin Park),김희천(Heechern Kim),이형원(Hyungwon Lee),우치수(Chisu Wu) 한국정보과학회 2012 정보과학회논문지 : 소프트웨어 및 응용 Vol.39 No.3

영역 특화 언어의 중요성이 커지면서, 내부 영역 특화 언어를 작성할 수 있게 해 주는 메타프로그래밍 기능 역시 주목을 받고 있다. 기존 연구들이 이질적 메타프로그래밍 도구를 제시하고 있는 데 반해, 본 연구는 동질적 메타프로그래밍 도구의 설계 방법을 제시함으로써, 메타프로그래밍 도구의 구현 시 파서 작성의 필요를 없앴으며, 프로그래머가 새로운 문법을 익히지 않고 기존에 사용하던 언어로 메타프로그래밍을 할 수 있게 하였다. 본 연구의 접근 방식을 통해 기존 언어의 자산을 포기하지 않고도 기존 언어가 결여한 메타프로그래밍 기능을 보완할 수 있을 것으로 기대된다. Metaprogramming is drawing more attention with Domain Specific Languages(DSLs)' growing importance because internal DSLs can be easily written through metaprogramming. We present a design method for developing homogeneous metaprogramming tools for existing languages while previous related work focused on heterogeneous metaprogramming techniques. Our approach does not require programmers to implement a new parser and to learn a new syntax in metaprogramming. We expect that our approach will compensate for a lack of metaprogramming facilities of existing languages.

UPnP 구조에서 규칙 기반 적응형 디바이스 컨트롤

박동훈(Donghun Park),정우성(Woosung Jung),김희천(Heechern Kim),우치수(Chisu Wu) 한국정보과학회 2007 한국정보과학회 학술발표논문집 Vol.34 No.1B

홈 네트워크 기술의 발전과 더불어 관련 미들웨어 기술의 중요성이 높아지고 있다. 미들웨어 기술 중 하나인 UPnP로 네트워크를 구성할 때 유사한 서비스를 제공하는 디바이스들이 여럿 존재하는 경우라면 사용자의 의도에 적합한 선택이 가능해야 한다. 본 연구에서는 규칙 언어에 기반을 둔 적응형 아키텍처를 통해 이러한 문제를 해결한다. 제안하는 적응형 디바이스 컨트롤은 기존의 UPnP 구조를 변형 시키지 않고 새로운 규칙 관리자를 도입하여 호환성을 유지하였다. 프린터기를 이용한 가상 시나리오를 구상하고, 이에 맞춰 UPnP 네트워크를 구현함으로써 아키텍처의 타당성을 검증해 본다.

공학교육 내실화를 위한 교과목 포트폴리오 사례 연구

강환수(Hwan Soo Kang),조진형(Jinhyung Cho),김희천(Heechern Kim) 한국디지털콘텐츠학회 2013 한국디지털콘텐츠학회논문지 Vol.14 No.4