권호 표지

The KIPS Transactions:PartD (정보처리학회논문지D)

Korea Information Processing Society

  • Bimonthly
  • /
  • 1598-2866(pISSN)

Domain

  • Information/Communication ＞ Information Processing Theory

Aim & Scope

The KIPS Transactions:PartD publishes original research papers in information processing mainly focusing on all topics related to information systems and knowledge systems including theoretical studies, infrastructure and related technologies. Application oriented papers are also accepted. Technical fields of this journal in detail are as follows; database systems, software engineering, e-commerce, data mining, geographic information system, information retrieval, and computer education.

KSCI

Volume 8D Issue 1

  1. 이종민;강현철 1
    PDF
    SQL CLI(Call Level Interface)는 클라이언트-서버 환경에서 적합한 데이타베이스 응용 프로그래밍 인터페이스(API)로서 ODBC, JDBC 등의 업계 표준이 여러 응용 분야에 걸쳐 널리 사용되고 있다. 그러나 현재의 표준안에서는 멀티미디어 데이타와 같은 대용량 데이타를 효율적으로 검색하기 위한 기능을 다양하게 제공해주지 못하고 있다. 본 논문에서는 멀티미디어 데이타를 구성하는 LOB(Large OBject)의 효율적 검색을 위하여 SQL CLI상에서 LOB의 캐쉬를 제안하고, 이를 위한 SQL CLI의 확장을 제안한다. 제안한 내용을 한국전자통신연구원에서 개발한 바다-II DBMS를 위한 SQL CLI 라이브러리 상에 구현하며, 실험을 통하여 캐쉬로부터의 LOB 검색 성능을 기존의 SQL CLI 표준 사양에 따른 LOB 검색의 성능과 비교 평가한다.
  2. 홍석희 10
    PDF
    실시간 능동 데이터베이스 시스템은 외부의 환경의 변화에 반응하여 트랜잭션들을 주어진 시간 내에 처리할 수 있어야 한다. 본 논문에서는 실시간 능동 트랜잭션들을 위한 동시성 제어 기법인 다중버전 실시간 능동 동시성 제어 기법을 제안한다. 능동 규칙에 의해서 트랜잭션들 사이에는 triggering 관계가 성립하며 공유되는 데이터에 대한 충돌을 해결하기 위해 사용되는 중요한 개념이다. 제안하는 동시성 제어 기법은 데이터 충돌에 포함된 트랜잭션들 사이의 triggering 관계와 우선순위, 선행관계 등을 참조하여 데이터 충돌을 해결한다. 우선순위가 높은 트랜잭션은 낮은 우선순위의 트랜잭션 보다 유리한 서비스를 받는다. 그러나, 낮은 우선순위의 트랜잭션이라도 종료시점에 근접했다면 철회됨으로서 낭비될 시스템 자원을 보존하기 위해서 유리한 서비스를 받을 수 있다. 또한, 트랜잭션들 사이의 triggering 관계를 기반으로 intra triggering 충돌과 inter triggering 충돌로 분류해 각각 다른 방식으로 데이터 충돌을 해결한다. 본 논문에서는 모의실험을 통해서 제안한 동시성 제어기법의 성능을 비교 평가하였다.
  3. 김희완;이혜경;김응모 24
    PDF
    본 논문에서는 다단계 보안 데이터베이스에서 동시성 정도를 향상시키고, 보안 요구사항을 만족하는 향상된 트랜잭션 스케쥴링 프로토콜을 제안한다. 전통적인 직렬성 표기를 가진 두단계 잠금 기법을 다단계 보안 데이터베이스에 적용했다. 이타적 잠금기법은 기부라는 사상을 사용하여 트랜잭션이 더 잇아 그 객체를 요구하지 않을 때 다른 트랜잭션들이 그 객체를 로크할 수 있도록 미리 객체에 대한 로크를 해제함으로써 트랜잭션들의 대기시간을 줄이기 위해서 제안된 것이다. 확장형 이타적 잠금기법은 처음에 기부되지 않은 객체까지도 처리하는 좀 더 완화된 기법이다. 본 논문에서는 다단계 보안 데이터베이스에서 단기 트랜잭션의 기아현상을 최소화하도록 하였다. 본 프로토콜은 확장형 잠금 기법(XAL/MLS)을 기초로 하였으나, 새로운 방법인 다단계 보안 데이터베이스를 위한 양방향 기부 잠금 규약(2DL/MLS)으로 보안 여구와 동시성 제어를 동시에 만족한다. 제안된 프로토콜의 효율성은 실험의 결과로 확인되었다.
  4. 나영국 32
    PDF
    데이터 모델링 능력이 한정되고 뷰 갱신 모호성 문제에 기인하여, 관계형 뷰는 공학 응용에 제한적으로 사용되어 왔다. 반면에 객체지향 데이터베이스의 뷰는 관계형 뷰의 이 두 가지 단점을 극복하기 때문에, 공학 응용을 위한 맞춤 인터페이스를 정의하는데 중요한 역할을 할 것이다. 특히 공학 응용을 위한 데이터베이스 인터페이스는 갱신을 충분히 지원하여 한다. 좀더 자세히 말하면, 인터페이스에 대한 갱신이 모호성이 없이 정의되어야 하며 이 정의는 베이스 스키마에 대한 갱신 행동과 일치하여야 한다. 이를 위하여 객체지향 뷰가 베이스 데이터 모델과 같은 갱신 행동을 보이기 위한 제반 조건 - 갱신 의미 보존(update semantic preserving)-을 정의하였다. 그리고 이 갱신 의미 보존 특성의 실현 가능성을 보이기 위하여 CAD에 특화된 객체지향 뷰 시스템, 멀티 뷰(MultiView), 을 선정하여 그 시스템의 뷰 모델에 대한 갱신 의미 보존 갱신 행동을 정의하고 구체적인 구현 알고리즘을 제시하였다. 이 연구는 객체지향 데이터베이스에서 가장 클래스를 모았을 때 단순한 클래스의 모임이 아니라 isa계층을 갖는 '스키마'가 될 수 있게하기 위해서는 가상 클래스에 대한 갱신 의미가 클래스간 isa 관계를 위반해서는 안된다는 것을 발견하였다. 그리고 이의 충분조건으로 '뷰 스키마가 베이스 스키마처럼 보이도록'하는 가상 클래스의 갱신 의미와 가상 클래스간 스키마 형성 가능 조건을 발견하였다. 이는 객체 지향 데이터베이스에서 뷰를 클래스 수준에서 스키마 수준으로 정의하는 충분조건을 발견하고 구현한 최초의 논문이다.
  5. 이중화;이종환;유영호;김경석 44
    PDF
    멀티미디어 데이터베이스 시스템에서 멀티미디어 데이터를 질의하고 결과를 어떻게 프리젠테이션 할 것인가 하는 것은 매우 중요하다. 또한 질의 결과를 다양한 응용에서 사용하기 위해서는 보다 일반화된 형태로 질의결과를 제공해야 한다. 본 논문에서는 W3C의 권고안인 SMIL에서 제공하는 멀티미디어 프리젠테이션의 기능적 요소들을 질의어에서 지원하도록 함으로써 보다 일반화된 형태로 질의어를 확장하고, 또한 다양한 응용에서 사용하도록 하기 위해서 질의 결과를 SMIL 형태로 제공하도록 한다.
  6. 안치돈;왕창종 54
    PDF
    소프트웨어 아키텍쳐는 설계 과정 동안 수정과 대체로 인해 변경될 수 있고, 소프트웨어 개발에 적합한 설계는 하나 이상 존재할 수 있으므로 개발자는 다양한 관점에서 설계된 아키텍쳐의 서로 다른 버전들을 유지 관리할 수 있는 방법과 아키텍쳐의 변경 요소들을 효율적으로 명세할 수 있는 방법이 필요하다. 본 논문에서는 기존에 이미 정의되어 있는 아키텍쳐와 이를 재사용하여 설계한 새로운 아키텍쳐를 통합한 구조의 소프트웨어 아키텍쳐로 재구성할 수 있는 방법과 재구성 아키텍쳐 명세에 필요한 명세 요소와 명세 구조에 대해 정의하고 있다. 제안된 통합 구조의 명세 방법은 아키텍쳐 설계 과정에서 다양한 개발자 관점에서 정의된 아키텍쳐들을 참조 및 재사용할 수 있는 방법을 제공한다.
  7. 서동수 62
    PDF
    소프트웨어 컴포넌트의 기능에 대한 정확한 서술은 컴포넌트의 활용을 위한 필수 조건이며 특히, 실시간 시스템과 같은 엄밀성을 요하는 분야에는 더욱 중요한 요소로 작용한다. 본 논문에서는 컴포넌트의 이해를 높이는 수단으로 패턴에 기반한 정형적 표현 및 검증에 관한 내용을 소개한다. 특히 본 논문은 컴포넌트 기능 서술 시 VDM++를 이용하는 명세 방법, 주어진 명세에 대한 정제와 정합성 검증에 관한 정형기법의 활용방법을 제시한다.
  8. 김유경;박재년 71
    PDF
    구조적 개발 방법론에 적용하도록 만들어진 복잡도 척도들은 클래스, 상속성, 메시지 전달 그리고 캡슐롸와 같은 객체지향의 개념에 직접적으로 적용할 수 없다. 또한, 기존이 객체지향 소프트웨어에 대한 척도의 연구는 프로그램의 복잡도나, 설계 단계의 척도가 대부분이었다. 실제로 분석 단계 클래스의 복잡도를 낮춤으로써, 시스템의 개발 노력이나 비용 및 유지보수 단계에서의 노력이 크게 줄어들게 되므로, 분석 클래스에 대한 복잡도를 측량하기 위한 척도가 필요하다. 본 논문에서는 객체지향 개발방법론인 Unified Process의 분석 단계에서 추출되는 분석 클래스에 대하여 복잡도를 측정할 수 있는 새로운 척도를 제안한다. 협력의 복잡도 CC(Collaboration Complexity)는 가능한 협력의 최대 수로서 클래스가 잠재적으로 얼마나 복잡할 수 있는지를 측정하기 위한 척도이며, 각 협력자들의 인터페이스를 이해하는 것과 관련된 총체적 어려움을 측정하는 인터페이스 복잡도 IC(Interface Complexity)를 정의하였다. 제안된 척도는 클래스의 크기 및 상속성에 대하여 수학적인 증명을 하였으며, Weyuker의 9가지 공리적 성질에 대하여 이론적인 검증을 하였다. 또한, 텍스트 마이닝 기법을 사용하여 사용자의 질문에 자동으로 응답하는 시스템의 분석 클래스에 대하여 제안된 척도를 사용하여 복잡도를 측정하였고 기존의 복잡도 척도인 CBO와 WMC의 값을 계산하여 비교하였다. CC와 CBO, IC와 WMC의 값을 비교해 본 결과 제안된 복잡도 척도의 계산 결과 제안된 복잡도 척도의 계산 결과 값이 그 값들보다 좀 더 복잡도를 잘 표현하고 있었다. 이로써 소프트웨어 개발 주기의 초기에 클래스에 대한 복잡도를 평가해 보고, 나머지 단계에 필요한 시간과 노력을 예측함으로써 보다 비용-효과적인 객체지향 소프트웨어를 개발할 수 있는 가능성이 높아진다.
  9. 정인상;창병모 81
    PDF
    소프트웨어 테스팅의 중요 목표 중의 하나는 '좋은' 테스트 데이터 집합을 생성하는 것으로 이는 매우 어렵고 시간이 걸리는 작업이다. 본 논문은 소프트웨어 테스팅을 위한 자동 테스트 데이터 집합 생성에 유전자 알고리즘을 적용하는 방법을 제시하며 자동 테스트 데이터 생성에서 유전자 알고리즘의 효용성을 보이기 위해 유테이션 테스팅을 도입한다. 본 연구는 테스트 데이터 생성 과정이 테스트 대상 프로그램의 구현에 대한 지식을 필요로하지 않는다는 점에서 다른 방법들과 다르다. 또한, 제안된 방법의 효율성을 보이기 위하여 몇 가지 실험을 통해서 블랙박스 테스트 생성 기법은 랜덤 테스팅과 비교한다.
  10. 김귀정;송영재 88
    PDF
    본 연구는 설계패턴의 효율적인 관리와 재사용을 위하여 패턴 정보를 이용한 설계패턴 검색 시스템을 구축하였다. 패턴 정보는 패턴 속성정보와 패턴 메타정보로 구성하였고, 패턴 속성정보는 패턴 패싯 분류와 패턴 검색을 위한 유사도 측정에 이용되며, 패턴 구조를 UML로 모델링하기 위하여 패턴 메타 정보를 이용하였다. Gamma 분류 방법을 확장하여 각 설계패턴이 사용될 수 있는 여러 경험적 상황을 패싯 항목으로 설정하고 패턴 정보로 관리하였다. 또한 E-SARM 검색 방법을 사용하여 검색된 패턴은 메타정보를 이용하여 UML 클래스 다이어그램으로 나타낼 수 있도록 하였고, E-SARM을 설계패턴의 검색에 적용하여 최적의 결과를 얻을 수 있는 환경을 시뮬레이션 하였다. 패턴 뷰어를 통한 신규 패턴 등록이 가능하며, 등록된 패턴은 패턴 속성정보와 메타정보로 관리된다. 따라서 본 시스템은 효율적인 패턴 관리가 가능하고, UML 모델링을 지원하며, 관련 패턴의 우선순위 검색이 가능하여 패턴 선택 비용이 적고, 재사용성이 높은 설계패턴 검색 시스템이다.
  11. 장종표;이상준;김병기 99
    PDF
    소프트웨어 위기를 해결하기 위한 한가지 대응책으로 최근 컴포넌트기반 소프트웨어공학(혹은 컴포넌트웨어)이 등장하였다. 컴포넌트기반 소프트웨어공학을 이루는 관련 기술들 중 하나로써 컴포넌트기반 소프트웨어 개발 프로세스들이 제안되고 있다. 컴포넌트기반 소프트웨어 개발 프로세스중 컴포넌트 명세활동은 재사용 가능한 컴포넌트를 생성하기 위해서 꼭 필요하며 매우 중요한 활동이다. 그러나, 기존의 컴포넌트기반 소프트웨어 개발 프로세스에서는 컴포넌트 명세를 자연어로 기술함으로써 명세에 있어서 정확성을 갖지 못했고 사용자의 요구사항이 제대로 반영되었는지 검증할 수 있는 방법을 제공하지 못하고 있다. 본 논문에서는 정형방법에서 사용되고 있는 분석력과 논리성이 검증된 정형 명세 언어 Z를 이용하여 컴포넌트를 명세 하는 정형 활동을 제안하였다. 제안 활동은 5개의 태스크와 12개이 서브태스크들로 구성되며 10개의 산출물을 구체적으로 제시함으로써 재사용을 위한 컴포넌트 기반 소프트웨어 개발의 기초가 되는 컴포넌트 정형 명세 활동을 제안하였다. 제안 활동은 컴포넌트기반 소프트웨어 개발 프로세스의 초기단계에 사용자의 요구사항 명세의 정확성과 검증을 통하여 컴포넌트의 품질을 향상시킬 수 있다.