XML은 최근 인터넷상에서 정보 교환의 표준으로 자리잡고 있다. 따라서, 그동안 semistructured date와 XML 데이터를 데이터베이스에 저장하고 검색하기 위한 많은 연구들이 진행되어 왔다. 본 논문에서는 기존에 개발된 RDBMS를 이용한 시스템과 OODBMS를 이용한 시스템의 장단점을 수용하여 ORDBMS상에서 XML 문서를 저장하고 검색할 수 있는 시스템을 설계하였다. 이 시스템은 DTD 독립적인 XML 문서를 저장하기 위해 스키마와 분할저장 방법을 이용하여 임의의 XML 문서를 저장하고 저장된 문서의 갱신을 용이하게 처리할 수 있도록 하였다. 전체적인 시스템은 웹상에서 문서를 저장, 검색할 수 있는 웹 기반 시스템과 XML을 이용하는 응용프로그램의 데이터베이스 연동을 지원하는 응용기반 시스템으로 구분하였다.

XML 문서의 폭발적인 확산에 따라 Web상의 각 사이트는 XML 문서를 분산 저장하여 관리하고 있다. 그리고 XML 문서들 간에는 다양한 링크를 통해 관련된 정보를 참조할 수 있다. 그러나 현재까지 XML과 관련하여, 링크를 지원하는 질의어 개발이나 링크를 활용한 XML 검색 시스템 개발에 대한 연구는 미비하다. 본 논문에서는, 실제 Web상에 분산되어 저장된 전자 문서들 중 하이퍼링크로 연결된 XML 문서들을 대상으로, 링크를 지원하기 위해 기존 XML 질의어를 확장에 대해 연구하였다. 이를 위해 XML 링크를 지원하는 질의의 유형을 분류하고, 링크를 지원하기 위한 XML 질의어의 확장에 대해 기술한다. 그리고 링크를 활용한 XML 질의 처리 방안에 대해 기술한다.

XML과 관련하여 XML 문서의 구조적인 특징을 고려한 XML 질의에 관한 연구가 활발히 수행되고 있다. 이들 연구들은 하나의 XML 문서 또는 XML 저장소에 저장된 여러 XML 문서들을 대상으로 효과적인 검색을 위한 XML 질의 언어의 개발이나 확장을 중심으로 연구되고 있다. 한편 XML 문서 검색의 성능 향상을 위해서 XML 저장소에는 XML 문서들 외에 그들로부터 도출된 XML 뷰를 실체 뷰로 저장해 둘 수 있다. 본 논문에서는 XQL 질의의 결과로 얻어진 XML 실체 뷰가 있다고 가정하고 이를 이용한 XQL 질의 변환에 대해 연구하였다. 이를 위해 본 논문에서는 XML 실체 뷰 영역을 포함하는 XML 저장소의 구조를 설명하고, XQL 질의의 결과와 XML 실체 뷰 간의 포함 관계를 분류하며, 그에 따른 XQL 질의 변환 알고리즘을 제안한다.

XML[1]은 문서의 논리적인 구조를 가지고 있으며 XML 문서를 파싱할 때 이 구조에 맞는지 검증을 하게 된다. 이때 대부분 파서의 경우에는 문서 단위로 검증을 하며 문서의 일부분만 검증할 수 없다. 또한 XML 문서가 변경되었을 때 이 문서가 유효(valid)한지 검사할 때에도 문서 전체를 검증해야 한다. 이렇게 되면 검증할 필요가 없는 부분도 다시 검증하게 되는 오버헤드가 발생하는데 만약 XML 문서가 데이터베이스에 저장되어 있다면 문서 전체를 꺼내어서 검증하고 다시 삽입해야 한다. 본 논문에서는 이러한 문제점을 해결하기 위하여 XML 문서가 변경되었을 때 변경된 부분만 검증할 수 있는 기법을 제한한다.

본 논몬은 원본 DTD에서 사용자 요구에 따르는 파생 DTD를 생성, 관리하는 시스템을 설계함으로써 사용자 요구에 적합한 유효한 XML 문서의 생성 및 검증을 효율적으로 처리하는 시스템을 개발하고자 한다. 본 시스템은 원본 DTD에서 파생 DTD를 생성하여 클라이언트에서 생성된 XML 문서에 대한 유효성을 검증하고, 사용자 질의의 결과로 생성된 서버측의 XML 문서에 대한 유효성을 효율적으로 검증하는 기능을 지원하고 있다. 여기서 사용되는 파생 DTD는 사용자 요구를 받아서 하나의 원본 DTD에서 파생 DTD 생성 알고리즘에 의해 생성된다. 이렇게 생성된 파생 DTD로 XML 문서를 DOMAPI의 에러 체크 메소드를 통해 XML 문서가 유효한고 정확한지 검증한다. 이러한 절차를 통해서 유효성을 검증받은 XML 문서를 유효한 데이터로서 관리한다. 이러한 절차를 통해 클라이언트와 서버 사이에서 전송하는 XML 문서의 유효성 및 정확성을 보장할 수 있을 뿐만 아니라, 클라이언트에서 만든 XML 문서를 파생 DTD를 이용해 유효성을 보장하여 다른 클라이언트에 보낼수 있다.

XML 문서의 구조검색을 위한 기존 방법들은 특정 엘리먼트의 조상, 자손, 형제에 대한 다양한 구조검색을 효율적으로 지원하지 못한다. 본 논문에서는 XML 문서의 효율적인 관리와 구조검색을 위해 DTD(Document Type Definition)의 논리적 구조를 따르는 XML 문서에 대해 구조정보를 표현하기 위한 방법을 제시한다. 구조정보는 엘리먼트 이름을 식별할 수 있는 EID, 부모와 자식 엘리먼트간의 계층정보를 위한 ETID, 동일한 부모 엘리먼트를 갖는 자식 엘리먼트들의 순서정보를 위한 SORD, 그리고 동일한 부모 엘리먼트를 갖는 자식들 중 동일한 타입의 엘리먼트들에 대한 순서정보를 위한 SSORD로 구성된다. 이런 구조정보를 이용해 빠른 검색을 위한 내용 색인, 구조 색인, 애트리뷰트 색인을 설계한다. 설계된 색인을 통하여 질의를 처리하는 과정을 설명함으로써 다양한 구조적 질의를 효과적으로 처리할 수 있음을 보인다.

최근 인터넷상에서 B2B 전자상거래는 상당히 급성장 하고 있다. 그러나 기존의 전자상거래 시스템들은 각기 다른 전자상거래 플랫품과 시스템을 구축하여 사용했기 때문에 전자상거래 시스템간의 서비스 호환과 상호 운영에 많은 어려움이 있다. 이 문제를 해결하기 위해서 전자상거래 시스템들은 국제표준의 공용프레임워크를 준수하고 XML(eXtensible Markup Language) 기반 시스템으로 변화하고 있다. 하지만 기존의 비 XML 전자상거래 시스템과 XML 기반 전자상거래 시스템간의 상거래 정보형식에 대한 상호 호환성은 여전히 문제로 남는다. XML 아답터는 이런 문제점의 해결하기 위해서 XML 기반 전자상거래 시스템과 비 XML 기반 전자상거래 시스템간의 다양한 상거래 문서를 각각의 시스템에서 처리할 수 있는 형식으로 변환하는 기능을 갖는다. 본 논문은 이런 시스템간의 호환성을 해결하고 다양한 상거래문서 형식을 수용할 수 있는 XML 아답터를 컴포넌트 기반으로 설계하고 구현하였다.

기존 의료정보 시스템은 본질적으로 성격이 다른 텍스트 기반 정보와 의료 영상 정보를 HL7과 DICOM이라는 각기 다른 두 표준을 기반으로 다루어 왔다. 따라서 상이한 두 표준 상호간의 정보 교환의 필요성과 최근들어 인터넷을 통한 개방 시스템으로의 전환의 필요성이 증가되면서 이를 위한 적절한 대안이 요구되고 있다. 본 논문에서는 이질적인 두 표준간의 데이터 교환과 통합을 위하여 XML을 활용하는 방안을 제시하였다. 또한 두 표준의 통합 DTD를 기반으로 XML 문서를 생성하고 통합 의료정보를 웹 상에서 검색, 저장할 수 있는 통합 의료정보 시스템을 구현하였다.

반구조적 데이터는 기존의 스키마와는 달리 고정된 스키마가 없고 주어진 데이터 인스턴스에 대해 하나 이상의 스키마가 존재한다. 따라서 여러 개의 스키마 추출이 가능한데 그중 가장 정확한 스키마를 추출해야 하는 문제(S초듬 Fxtraction)가 발생한다. 이러한 문제를 해결하기 위해 지금까지 여러 가지 스키마 추출 기번들이 제안되었는데 대표적인 것으로 데이터가이드(DataGuide)를 이용하여 최대경계 스키마를 추출하는 방법과 데이터로그(DataLog)를 이용하여 최소경계 스키마를 추출하는 방법이 있다. 이 논문에서는 기존의 데이터로그를 이용하는 방법보다 최소경계 스키마 추출 기법을 제안하고 이전의 스키마 추출 기법들과 비교함으로써 알고리즘의 성능을 살펴본다.

최근 메타데이타의 주요 논쟁점으로 메타데이타의 표준화 문제가 등장하고 있다. 새로운 표준화 방향으로 인한 메타데이타의 확장성은 기존 메타데이타 관리 기법의 변화를 요구하게 되었다. 즉, 사용자의 질의에 대한 신속한 정보 제공과 동적인 자료의 일관성 있는 저장과 유지방 안을 필요로 한다. 이에 본 논문에서는 디지털 라이브러리 환경에서 메타데이타 속성을 정의하고, 이러한 요구사항을 만족하는 병행수행 제어 기법인 2VL(Two Version using the Latch)을 제안한다. 2VL은 래치를 사용하여 2버전을 유지함으로써 판독과 기록 연산간의 충돌로 인한 지연을 최소화하며 판독 연산에 있어서의 빠른 응답시간과 높은 최근성 반영율을 보인다.

최근 멀티미디어 객체를 위한 효율적인 색인 기술에 대한 많은 연구가 활발히 진행되고 있으나 이러한 색인 구조들은 단일 사용자만을 지원하는데 그치고 있는 실정이며 상용 DBMS에 통합되어 실제 응용되는 사례는 드물다. 이에 본 논문에서는 필터링에 기반한 고차원 색인구조를 위한 효율적인 동시성 제어 기법을 제안하고, 지속성 객체 시스템인 SHORE 하부 저장 구조에 통합한다. 제안하는 동시성 제어 기법은 쓰레드의 개수를 증가시켜 삽입과 검색 측면에서 실험한 결과 약 30%의 응답시간 감소를 보였다.

데이터베이스 공유 시스템(Database Sharing System: DSS)은 고성능 트랜잭션 처리를 위해 다수 개의 컴퓨터를 연동하는 방식으로, 각 노드들은 디스크 계층에서 데이터베이스를 공유한다. DSS에서 각 노드는 빈번한 디스크 액세스를 피하기 위해 최근에 액세스한 데이터 페이지와 인덱스 페이지들을 자신의 지역 메모리 버퍼에 캐싱한다. 이때 노드가 항상 최신의 페이지를 사용할 수 있기 위해서는 지역 버퍼에 캐싱된 페이지들의 일관성을 지원하여야 한다. 본 논문에서는 데이터 페이지에 비해 빈번히 엑세스되는 인덱스 페이지의 정확성을 보장할 수 있는 캐쉬 일관성 제어 기법을 제안한다.

정부의 "교육정보화" 정책으로 인하여 초.중등학교의 컴퓨팅 환경에 많은 변화가 일어나게 되었다. 특히 학생 생활기록부의 전산화는 지금까지 종이에 기록되어 관리되어 왔던 학생들의 정보를 데이터베이스화 한다는 측면에서 많은 긍정적인 효과를 가져오고 있다. 하지만, 이 시스템은 독립형 데이터베이스 관리 시스템이기 때문에 데이터베이스한 학생들의 자료를 학교내에서만 이용할 수 있을뿐, 이웃 학교나 시.도 교육청과는 전혀 공유되지 못하고 있는 실정이다. 따라서 현재 사용하고 있는 하드웨어와 소프트웨어 환경을 그대로 이용하면서 각 학교에 구축되어 있는 데이터베이스 시스템을 서로 공유할 수 있는 방법의 하나로 분산객체 시스템을 이용한 분산 데이터베이스 관리 시스템을 개발하고자 하는 것이 본 연구의 목적이다. 하지만 선행 연구를 볼 때 분산 객체 시스템과 분산 데이터베이스 시스템은 단일시스템의 개발보다 문제점이 많고 복잡하기 때문에 이 프로토타입에서는 학생에 대한 정보만을 대상으로 개발하고자 한다. 개발하고자 한다.

다중 데이터베이스 미들웨어 시스템은 기존에 이미 개발되어 사용되고 있는 여러 상이한 데이터베이스 시스템을 상향식 기법으로 통합하여 기존 데이터베이스 시스템에 아무런 수정을 가하지 않고도 사용자에게 단일한 인터페이스로 동시에 여러 데어터베이스에 접근할 수 있도록 하는 시스템이다. 이러한 데이터 통합 미들웨어 시스템은 ERP/CRM/DW/전잔상거래 등 여러종류의 데이터 저장소를 통합 접근해야 하는 분야에서 유용하게 사용된다. 본 논문에서는 한국통신에서 개발된 다중 데이터베이스 시스템인 MDATA를 종합망관리시스템 구축에 이용한 사례를 통하여 데이터 통합 미들웨어 시스템의 적용사례 및 그 유용성을 제시한다.

객체관계형 데이터베이스 시스템(objet-relational database management system: ORDBMS)은 멀티미디어 데이터베이스, 지리정보 시스템(geographical information system), CAD/CAM 공학 데이터베이스 등 새로운 응용 분야에 적합한 차세대 데이터베이스 시스템이다. 본 논문에서는 한국과학기술원 첨단정보기술연구센터에서 개발해 오고 있는 오디세우스 객체관계형 멀티미디어 DBMS의 아키텍쳐와 오디세우스의 확장 버전들에 대해서 설명한다. 오디세우스는 다양한 멀티미디어 응용들을 빠르게 지원하기 위해서 엔진 수준에서 필요한 프리미티브를 구현하는 밀결합 아키텍쳐를 채택하고 있다. 현재 밀결합 아키텍쳐로 이미 구현됐거나 개발중인 시스템으로는 텍스트 정보 검색 기능을 밀결합한 정보검색용 DBMS의 오디세우스/IR과 공간 정보 검색 기능을 밀결합한 GIS용 DBMS인 오디세우스/Geo가 있으며, 다양한 멀티미디어 엔진 프리미티브들을 추가적으로 개발중이다. 특히 오디세우스/IR은 성공적으로 실용화되어 현재 여러 사이트에서 사용되고 있으며 이는 오디세우스/IR 아키텍쳐의 우수성을 간접적으로 증명하는 실례들이다. 또한 최근에는 사용자가 쉽게 고성능의 웹 DBMS 응용 프로그램을 작성하도록 도와주는 웹과 DBMS 연동 도구를 개발하였다. 본 논문에서는 이들 시스템에 대한 특징들을 소개하고자 한다.

최근 텍스트, 이미지, 오디오, 비디오와 같은 멀티미디어 객체를 다루는 연구는 국내외적으로 활발하게 진행되고 있으나, 이러한 멀티미디어 객체들을 효율적으로 저장 및 검색하기 위한 하부저장 시스템에 대한 연구는 미흡한 실정이다. 본 연구에서는 이러한 대용량 멀티미디어 객체들을 효율적으로 저장 및 검색하기 위한 구조를 분석하고 다양한 이질적 객체들을 위한 객체 관리자 및 대용량 텍스트를 위한 역화일 관리자를 설계한다. 아울러, 기존의 하부저정 구조인 SHORE 저장시스템에 통합하여 DBMS 측면에서 제공하는 동시성 제어, 회복기법 등을 지원할 수 있는 객체저장 엔진을 구현한다.

시공간 추론에 관한 연구는 그 역사가 오래되었으며 지난 수 십년 동안 매우 많은 이론적인 연구 결과를 얻었다. 그러나, 이와 관련된 응용분야의 연구는 거의 진척되지 않았기 때문에 시공간 추론의 이론과 응용 사이의 간격을 줄이고 실제 활용 가능한 시스템 개발을 위해서는 관련 이론을 토대로 한 응용 시스템의 개발이 필요하게 되었다. 따라서, 이 논문에서는 그 동안 연구된 시공간 추론의 이론을 특정 응용 분야인 전장분석에 적용하여 전장분석 및 평가에 중요한 영향을 미치는 미상의 부대, 미확인 부대, 주타격 방향을 추론하고, 부대의 이동 위치 및 이동시간을 추동하는 시공간 추론 시스템을 설계 및 구현하였다.

데이터 마이닝 작업에서 사용되는 데이터의 크기는 그 특성상 대규모를 이루고 있다. 이러한 대규모의 데이터로부터 규칙을 추출하는 작업은 많은 배용이 소모된다. 또한 급변하는 데이터는 이미 발견된 마이닝 패턴에 대하여 현저한 패턴은 약한 패턴으로, 반면 약한 패턴은 현저한 패턴으로 변화시키는 요인이 되고 있다. 이러한 동적 환경에서는 기존의 데이터베이스 특정시간의 스냅 샷 형태의 데이터를 이용하였던 마이닝 방법으로는 적당하지 못하다. 따라서 이 논문에서는 동적인 환경에서 적용할 수 있는 점진적 마이닝 방법을 제시하고, 점진적 마이닝 작업이 효과적으로 수행 가능한 능동시스템 모델을 제시한다.

실세계의 객체들은 공간 정보뿐만 아니라 시간적 정보와도 연관을 갖는데 기존의 공간데이터베이스만으로는 시간 흐름에 따른 공간 객체의 정보를 효율적으로 관리해 주지 못하는 단점이 있다. 이러한 문제점을 해결하기 위하여 시공간 데이터베이스에 대한 데이터 모델과 시공간 연산자가 제시되었다. 그러나, 시공간 연산자에 대한 정의와 시그너처정도 만이 기술되었고 시공간 연산자에 대한 설계와 구현에 대한 사항은 제시되지 않았다. 이 논문에서는 시공간 데이터모델과 시공간 연산자 그리고 공간 연산자 구현 기법인 Planc-Sweep 기법을 이용한 시공간 연산자인 Trajectory와 MPIntersection에 대한 설계와 구현 알고리즘을 제시하였다.

본 논문에서는 수녀원의 인사관리에서 인원을 효율적으로 배치할 수 있는 새로운 의사결정 시스템에 대하여 알아본다. 현재 수녀원의 인원배치는 수 작업으로 처리를 해야하므로 적절한 시기에 적합한 인원을 소임지에 배치하지 못하는 문제점을 가지고 있다. 이를 해결하기 위하여 본 논문에서는 휴리스틱한 방법과 신경망의 PCA(Principal Component Analysis)를 이용한 의사결정 시스템을 설계하고 구현하였다. 이 시스템을 통하여 산출되는 정보는 수녀원 인사관리업무를 보다 체계적일 뿐만 아니라 효율적으로 계획하고 조정하며 통제할 수 있는 기초자료로 활용될 수 있을 것이다.

최근 들어 지리 정보 시스템(GIS)의 사용이 점차 다방면화되고, 점차적으로 다양한 계층의 사용자가 접근을 하게 되면서 뛰어난 성능의 지리 정보 시스템이 점차적으로 요구되고 있다. 그러나, 이러한 고성능의 지리 정보 시스템의 사용은 고가의 운영체제와 지리 정보 시스템을 요구하고 있기 때문에 일반적인 형태의 서비스에는 쉽게 사용되기 어렵다. 본 논문에서는 저가의 시스템 비용으로 지리 정보 시스템을 구축하기 위해 점차적으로 많이 사용되고 있는 저가의 안정적인 시스템인 Linux 환경에서 경량급이면서 성능이 뛰어난 Shareware DBMS를 사용하여 공간 데이터베이스 시스템을 설계 및 구현한다. 본 논문에서 제안하는 공간 데이터베이스 시스템은 사용자 응용 프로그램이나 WEB 인터페이스에서 본 시스템에 접근하기 위한 인터페이스 관리자, 요청된 질의를 처리하기 위한 질의 관리자, 공간 데이터의 획득 및 공유를 위한 수입/지출 관리자, 공간 데이터를 처리하기 위한 공간 연산 관리자, 공간데이타에 대한 Collection을 처리하기 위한 Collection 관리자, 그리고 공간 데이터의 빠른 검색을 위한 인덱스 관리자로 구성된다.

최근 웹을 통하여 지리정보를 제공하는 서비스가 점점 보편화되어 가고 있다. 그러나 대부분의 서비스는 서버에서 모든 질의를 처리하고 결과를 이미지형태로 보여주는 구조를 가지고 있어 서버에 많은 부담을 주고 제공할 수 있는 서비스에 제약이 있다. 벡터데이터 기반 서비스의 경우 이러한 문제를 해결할 수 있으나 상대적으로 높은 클라이언트 성능을 요구한다. 그러나 최근 클라이언트 시스템의 성능이 향상됨에 따라 벡터데이터를 사용하여 클라이언트측의 자원을 사용하는 구조가 의미있게 되었다. 본 논문은 벡터데이터를 기반으로 하여 웹을 통해 지리 정보를 제공하는 시스템을 설계하고 구현하였다. 사용자에게 불필요한 정보를 제거하고 데이터 전송량을 줄이기 위하여 레벨에 따른 상세정도(LOD: Level of Detail)를 지원하고, 클라이언트 캐시, 데이터 압축 전송 등의 방법을 사용한다. 또한, 객체전송을 위한 통신모듈을 자동으로 생성해주는 툴을 사용하여 개발시간을 줄이도록 하였다.

Recently researches have been made on the client-side Web GIS, which can lessen the load of a server and provide users with intheractive geographic information. Howwever, the initial delay is the main drawback because of a high volume of geographic data and becausr the server does not associate spatial features with the map scale. Even when a complex spatial object is too small to be distinguished from a point by the naked eyes, it's complete data will be transmitted. This paper proposes a new effcient schema to reduce the response time and increase transmission effciency. Briefly speaking, "Transmit what can be seen" is the main idea. By exploiting the generalization algorithm, the proposed method allows the server to extract readable features from objects according to the display scale. Meanwhile, increasingly detailed map will be cached on the client. Therefore this method will contribute to the transmission efficiency of Web GISs.

공간 데이터와 같은 대용량의 데이터를 처리하는 시스템이나 다수의 클라이언트의 요구가 발생하는 시스템에서는 데이터에 대한 처리 비용 및 전용 비용으로 인한 서버 사이드의 병목 현상 및 질의 처리 속도의 저하라는 문제점을 갖는다. 본 논문에서는 이러한 문제점을 개선하기 위한 방법으로 미들웨어인 C-C Connector의 Method 및 프로토콜을 제안한다. 제안하는 C-C(Client To Client) Connector는 질의의 분석과 CIT(Client Information)의 검색을 통하여 인접한 클라이언트들의 캐쉬 데이터를 이용한 질의 처리의 가능 여부를 판단하며 인접 클라이언트와 요구 클라이언트 사이의 Connection을 형성함으로서 클라이언트-클라이언트의 질의 처리 및 데이터 전송 기능을 지원한다. 그리고 이러한 기능의 지원을 위한 서버, C-C Connector, 클라이언트 사이에서 수행되어지는 질의 처리의 프로토콜을 정의한다. 제안된 C-C Connector의 Method 및 프로토콜은 서버 사이드의 처리 비용을 현재 서버에 접속중인 클라이언트들에게 분배함으로서 서버 사이드의 병목현상과 질의 처리 시간의 지연이라는 문제점을 개선할 수 있으며 클라이언트 사이드에서의 반응 속도의 향상과 현재 연결된 시스템의 처리 성능을 최대한 활용할 수 있다는 장점을 갖는다.

공간 데이터베이스에서의 질의에 대한 선택률 추정에 대해서는 많은 연구가 있었지만 공간 데이터베이스에서의 공간 질의에 대한 선택률 추정이 매우 중요함에도 불구하고 이에 대한 연구는 아직 미흡한 상태이다. 이 논문에서는 공간 검색 조건의 정확한 선택률 추정을 위해 공간 데이터 분포를 통계 데이터로 저장하고 이를 이용하여 선택률을 추정하는 방법을 제안하고 구현하였다. 공간 질의에 대한 선택률 추정을 위해서 기존의 통계 데이터를 작성하는 방법으로 균등 분할 방법과 비균등 분할 방법이 사용되고 있지만 보다 정확한 선택률을 추정하기 위해서 본 논문에서는 새로운 통계 데이터 작성 방법인 크기별 분할 방법을 제안하였다. 각 방법의 성능은 다양한 파라미터에 대한 선택률 오차를 산출하여 평가하였다.

공간 데이터베이스 관리 시스템에서 제공하는 공간 질의는 많은 디스크 참조와 CPU 처리시간을 필요로 한다. 이 중에서 {{{{k}}}}-최근접 질의는 많은 디스크 참조를 요구하는 질의로써 지금까지 많은 연구가 이루어져 왔다. 트리 구조의 색인을 사용하는 {{{{k}}}}=최근접질의 처리방법은, 조건을 만족하지 않는 노드를 가지 치기 기법을 사용하여 노드 방문 횟수를 줄인다. 그러나, 이 방법은 가지치기 과정에서 불필요한 디스크 참고가 발생하여 성능을 저하시키는 단점을 가지고 있다. 본 논문에서는 가지치기 기법 대신 주어진 {{{{k}}}} 개의 최근접객체가 존재할 영역을 미리 예측함으로써 디스크 참조 횟수를 줄이는 방법을 제시한다. 이 영역을 예측하기 위해서 본 논문에서는 데이터 분포에 대한 밀도를 이용하였다. 실험에 의하면 이러한 방법은 기존의 가지치기 기법을 이용한 방법에 비해서 최고 22%, 평균 7%정도의 디스크 참조 횟수의 감소 효과가 있음을 알 수 있다.

최근접 질의(nearest neighbor query)는 멀티미디어 데이터베이스에서 주어진 질의 객체와 가장 유사한 객체를 찾기 위한 매우 중요한 연산으로 사용된다. 대부분의 최근접 질의 처리 기법들은 객체의 효과적인 인덱싱을 위하여 다차원 인덱스(multidimensional index)를 사용한다. 그러나 N차원 시각형 혹은 원을 사용하여 객체 클러스터의 캡슐을 표현하는 기존의 다차원 인덱스들은 차원 수가 높아짐에 따라 검색 성능이 크게 떨어진다. 본 논문에서는 이러한 문제를 해결하는 새로운 인덱스 구조를 제시하고, 이를 이용하는 최근접 질의 처리 방안을 제안한다. 또한, 다양한 실험에 의한 성능 평가를 통하여 제안된 기법의 우수성을 검증한다.

SAN(Storage Area Network)이 최근 대용량 데이터를 효율적으로 관리하기 위한 차세대 저장 장치로 각광받고 있다. 이 SAN에는 이미지, 동영상, 지도, 캐드 데이터와 같은 대용량의 고차원 특징을 갖는 데이터들이 저장되어 관리 될 것이다. 따라서 SAN 환경에서 이들을 보다 빠르고 정확하게 검색할 수 있는 효율적인 고차원 색인구조가 필요하다. SAN 환경은 저장 장치를 공유하는 형태의 병렬 환경이라 볼 수 있다. 이 논문에서는 SAN의 병렬성을 충분히 이용해서 고차원 데이터를 색인할 수 있는 방법을 제안한다. 제안하는 고차원 색인 구조는 하나의 노드를 여러 디스크에 분산시켜 팬-아웃을 증가시키고 트리의 높이를 줄임으로서 검색성능을 향상시킨다. 또한 범위 질의와 K-최근접 질의 수행시 병렬성을 최대화하는 방법을 제안한다.

최근 들어 멀티미디어와 같은 고차원 데이터를 효율적으로 처리하기 위한 고차원 인덱싱구조에 대한 연구가 활발히 진행되어 왔으며, 특히 R-tree를 기반으로 하는 인덱싱 구조가 가장 많이 발표되었다. 그러나, R-tree 계열의 색인기법은 데이터 삽입시 삽입순서를 비효율적으로 배정하는 경우 실제적으로 자신과 거리가 먼 객체들과 동일한 노드에 삽입될 수 있다. 이는 인덱싱 구조내에 많은 겹침을 초래하고 결과적으로 검색성능을 저하시킬 수 있다. 본 논문은 이러한 단점을 극복하기 위하여 데이터가 지니는 특성 중, 공간적인 위치정보를 분석하여 클러스터를 형성하고 이를 이용하여 인덱싱 형성에 적용하였고, 질의 처리시 검색성능이 향상되도록 하였다. 또한 실험에서는 실제 이미지 데이터에 대하여 제안한 기법을 적용하여 성능이 향상되었음을 나타내었다.

비디오 저장 서버를 설계하는데 가장 주안을 두어야 할 점은 서버의 이용률을 증가시키고 그에 따른 비용을 최소화 해야 한다는 점이다. 이를 위한 서버로 분산 비디오 저장 서버가 주로 이용되고 있고, 그 목적으로는 균등한 비디오 할당과 부하조정(load balancing)이 제안되어 왔다. 이에 대한 방안의 하나로 디스크 기반의 비디오 저장 서버 클러스터에서 부하 시프팅(load shifting)이 그 목적을 이루기 위한 한가지 방법으로 연구되었다. 이것은 동일한 용량의 서버로 구성된 비디오 서버 클러스터에서 비디오를 다른 서버에 복사해 놓고 사용되고 있는 비디오 요구시 그 비디오에 대한 요구를 다른 서버의 복사본으로 이동시킴으로써 서버들에 대해 균등한 비디오 할당을 하고 서버나 비디오의 추가와 같은 동적인 변화에 대해 데이터 활당 및 부하 조정을 감안하여 제안된 것이다. 이 논문에서는 기존의 동일한 서버만을 사용한 것과는 달리 용량이 서로 다른 서버나 비디오를 추가할 경우에 요구되는 최적의 비디오 데이터 할당과 부하 조정에 관한 전략에 관하여 설명한다.

가장 방대한 정보 도서관인 월드 와이드 웹(WWW)에서는 지난 몇 년 동안 멀티미디어 문서의 사용이 폭발적으로 증가했다. 따라서 인터넷의 사용자나 정보 제공자들이 멀티미디어 문서를 저장하거나 교환할 때 멀티미디어 데이터를 어떻게 효과적으로 표현하느냐가 가장 중대한 문제점으로 부각되고 있다. 현재 메타 데이터 모델을 표현하는 데는 다양한 방법들이 존재한다. 본 논문에서는 그 중 가장 일반적으로 사용하는 Dublin Core와 활발한 연 활동이 이루어 지고 있는 MPEG-7의 두 개 표준을 사용하여 새로운 메타 데이터 모델을 제시하고자 한다. Dublin Core는 기존의 문서들의 메타 데이터를 15개의 중요 요소들로 표현하는 것이고, MPEG-7은 멀티미디어 데이터의 내용을 체계적으로 표현하고자 하는 표준안이다. 본 논문에서 제시한 새로운 메타 데이터 모델은 Dublin Core를 MPEG-7의 의미적 요소를 표현하도록 하여 두 표준의 장점을 살려 멀티미디어 데이터를 효과적으로 표현 할 수 있는 메타 데이터 모델을 제안하였다. 또한 이 메타 데이터 모델을 XML DTD로 표현하고자 한다. 그러나, XML DTD는 일반 사용자들이 처음부터 작성하기는 쉽지 않다. 따라서 본 논문에서는 제안한 메타 데이터 모델을 XML DTD 쉽게 작성할 수 있는 사용자 인터페이스를 구현하였다.

현대 사회는 웹이라는 것을 통하여 수많은 정보들을 얻을 수 있으며 시간과 공간을 초월하고 있다. 이러한 정보들 가운데 이미지, 동영상, 오디오, 텍스트 등을 실시간으로 동시에 제공받는 것은 아직도 웹 상에서는 한계가 있다. 이러한 한계를 극복하기 위해 W3C(World Wide Web Consortium)에서 XML 어플리케이션의 하나로서 SMIL (Synchronized Multimedia Integration Language)이란 표준화한 방안과 기술을 개발하였고, 이러한 표준화된 SMIL을 바탕으로 기존의 디지털 T.V, VOD, 웹 상에서의 멀티미디어 프리젠테이션 등과 같은 분야와 연계하고자 하는 연구가 활발히 진행되고 있다. 그러나, 리얼시스템사의 G2나 애플사의 QuickTime과 같은 SMIL을 지원하는 상용 플레이어들을 비롯한 기존의 다양한 SMIL 플레이어에는 SMIL 문서를 검색할 수 있는 해결책을 제시하지 못하고 있다. 현재와 같으 기하급수적인 웹의 발전은 기본적인 웹의 기능 외에 웹에 대한 다양한 검색 기능이 제공되면서부터 이며 웹의 이러한 발전 과정을 미뤄볼 때 SMIL 또한 이러한 검색 기능의 제공은 필수적이라 할 수 있다. 그러므로, 본 논문에서는 기존의 SMIL 플레이어들이 지원하지 못했던 검색 기능을 지원하기 위해 SMIL에서 의미를 가지는 엘리먼트와 컨텐트를 가지고 인덱스를 구축하고, 또한 이를 이용하여 산재해 있는 SMIL 문서와 문서내의 미디어 객체 등에 대한 검색을 수행한 후 선별적으로 디스플레이할 수 있게 하는 검색 기능을 갖는 SMIL 플레이어를 설계 및 구현한다.

공간 데이터를 클라이언트에서 수정하는 클라이언트-서버 환경에서는 동시성 지원을 위해 클라이언트 트랜잭션들이 협동 작업을 수행하여야 한다. 이 때, 철회를 요구하는 트랜잭션의 회복을 제어하기 위해서는 협동 작업에 참여한 종속 트랜잭션들을 함께 고려하여야 하므로 기존의 회복 기법으로 지원되지 않는 문제가 있다. 이 논문에서는 클라이언트-서버 GIS에서 공간 관련성을 고려한 트랜잭션 회복 기법을 위해 부분 철회 기법과 회복 제어 알고리즘 및 프로토콜을 설계하고 구현한 결과를 보인다.

이 논문은 클라이언트에서 다수의 서버에 대한 공간 데이터의 변경 문제를 대상으로 한다. 분산 환경에서의 데이터 변경은 다음과 같은 요구조건을 가진다. 첫째, 분산 환경에서는 서로 다른 구조의 클라이언트 및 서버에 대해 확장성을 고려해야 한다. 둘째, 공간 데이터 간에는 공간 관련성이 존재하기 때문에, 서로 다른 서버에 분산 저장된 공간 데이터간의 공간 관련성을 유지해야 한다. 셋째, 한 클라이언트에서의 변경은 여러 서버 및 다른 클라이언트와의 협동 작업을 통해 수행되어야 한다. 이 논문에서는 클라이언트에서의 공간 데이터 변경을 처리하기 위해 서비스 제공자를 설계, 구현한다. 서비스 제공자는 미들웨어 컴포넌트로써 동일한 인터페이스를 제공하기 때문에, 클라이언트 및 서버의 확장이 용이한 장점을 갖는다. 이 논문에서 제공하는 서비스 제공자는 2PC 기반의 변경 프로토콜에 따라 분산된 서버간에 존재하는 공간 관련성을 유지하면서 공간 데이터의 변경을 수행한다. 즉, 서비스 제공자는 클라이언트에서 변경을 요청한 객체에 대해 공간 관련성 유무를 검사하고, 공간 관련성을 가진 객체를 포함한 서버에 변경 내용을 전파한 후, 협동 작업을 통해 변경을 확정하거나 취소하게 된다.

고속 LAN과 같은 통신 장비의 발달로 클라이언트/서버 시스템 환경이 일반화됨에 따라 데이터베이스 시스템도 클라이언트/서버 환경을 지원하는 데이터 서버로서의 역할이 요구되었다. 또한, 다양하고 복잡한 형태의 제어 시스템들이 필요한 각 응용 분야에서 클라이언트/서버 시스템이 이용되고 있다. 이러한 상황에서 클라이언트들은 통신 비용 절감과 서버의 부하를 줄이기 위해 클라이언트의 버퍼에 데이터의 사본을 캐쉬(cache) 함으로써 클라이언트 시스템의 확장성 및 독립성을 추구한다. 하지만, 캐쉬한 데이터의 사본에 의해 갱신 연산이 수행되기 때문에 캐쉬 데이터의 일관성 유지를 위한 효율적인 방법들이 필요하다. 본 논문에서 제안한 기법은 클라이언트/서버 간의 데이터 전송이 페이지 단위로 행해지는 페이지-서버 환경에서 적용되는 회피-기반(avoidance-based) 기법으로써, 클라이언트가 데이터를 갱신할 때 갱신 의도를 비동기적으로 선언하는 캐위 일관성 유지 기법을 제안하였다. 그리고 제안한 기법과 최근에 제안된 기법들을 비교 분석하였다.

최근 몇 년간 시계열 데이터의 저장 및 분석에 대한 연구가 활발히 진행되고 있으며, 시계열 데이터베이스에서 유사패턴(similarity pattern)을 탐색하는 기법이 광범위한 응용분야에서 중요한 연구주제로 자리잡고 있다. 본 논문에서는 회귀분석방법을 바탕으로 한 분해 시계열 방법을 이용함으로써 기존의 유사성의 개념을 확장시켰다. 즉, 시계열 데이터가 가지고 있는 패턴을 여러 성분으로 분해하여 각기 다른 저장 공간에 저장하고, 이를 이용하여 유사성을 탐색할 때에도 분리된 각 성분 중 특정 변동특성이 유사한 데이터를 추가적으로 요구되는 시간없이 검색할 수 있다. 이는 전체 시계열 데이터를 이해하는데 뿐만 아니라 데이터를 예측하는 방법에도 유용하게 사용될 수 있다.

A GIS software GEO Millennium SystemTM has been developed to integrated with spatial database that combines conventional and spatially related data. As we known well the standard query language lacks the support of spatial data type and predicate, and can not serve as the query language in the spatial database directly; some extended strategies have been proposed, but some of them need their own storage manager, some introfuce new clause into the SELECT-FROM-WHERE structure, and some is very complex and available to us. So we designed our own query language on the conventional storage manager system. It supports the Spatial Data Type and predicate, and provides the full query capabilities of SQL on the non-spatial part of the database while being tightly integrated with the spatial part, without changing the standard SQL structure.

실시간 데이터베이스 시스템에서 낙관적 병행수행 제어는 충돌 해결 시에만 우선순위를 고려하기 때문에 교착상태가 발생하지 않는 시간적 측면에서의 장점으로 잠금기법보다 우수하다고 알려져 있다. 하지만 시간 일관성을 가지지 않는 데이터의 사용은 시스템에 부정적 영향을 준다. 따라서 본 논문에서는 기존의 동적 조정을 사용하는 낙관적 병행수행기법에 데이터의 시간 일관성을 고려한 낙관적 병행 수행 제어기법을 제안한다.

도서관 이용자의 요구에 적합한 도서관 자료를 수집하고 처리함과 함께 소장되어 있는 자료가 이용자의 요구에 어느 정도 만족되는 지를 도서관의 경영 관리자는 알고자 한다. 이는 도서관의 재정지출에 효율화 및 경비 절감에 크게 기여할 수 있기 때문이다. 그러나 도서관 데이터는 방대하고 다양함으로 비교 및 분석에 어려움이 따른다. 그러므로 본 시스템은 시계열성이 강조되며 데이터의 조회만이 일어나는 데이터웨어하우스 기법을 이용하여 관리자의 의사결정에 필요한 정보를 제공하는 시스템을 개발하였다.

본 논문은 질병이 있는 뇌종양 MRI 이미지 검색을 위해 아이콘 기반의 스케치 질의 방안을 제시한다. 기존의 이미지 검색 시스템은 이미지가 갖는 속성 중 일부의 속성 값만을 가지고 사용자가 직접 질의 이미지를 작성한다. 그러나 이런 방법으로는 여러 복잡한 속성값을 갖는 뇌종양 MRI 이미지의 내용을 표현하기는 어렵다. 그래서 본 논문에서는 질병이 있는 뇌 MRI 이미지 검색을 위해 아이콘을 사용한 템플릿 형식의 메디컬 스케치 질의 방법을 제시한다. 뇌에서 발생하는 뇌질환을 질병별로 분류하였고, 분류된 질병들이 가지고 있는 색상이나 질감, 모양과 같은 속성 값들을 아이콘화하여 템플릿 이미지로 제공되는 정상인의 이미지에 정의된 질병 아이콘의 크기와 위치를 설정함으로써 사용자가 검색하고자 하는 질의 이미지를 쉽게 작성할 수 있는 스케치 형식의 질의방법을 제안한다.

일반적인 색 정보추출방법으로 색 히스토그램(Color Histogram)은 색의 분포나 응집성, 질감에 대한 구분능력이 없다는 단점을 가지고 있어 정환한 이미지 유사성 비교를 위해 추가적인 정보를 요구한다. Androutsos등은 Haar Wavelet 변환을 통해 이미지의 방향성 질감정보를 구하였다[1]. 하지만 이 방법은 Haar Wavelet 변환의 특성으로 인해 정확한 방향성 정보를 얻을 수 없었다. 본 논문에서는 인접 픽셀(pixel)값의 편차(deviaiton)를 이용하여 방향성 정보를 추출 성능을 향상시키는 방법을 제안하였고, Brodatz 112 질감 이미지와 실재 자연사진을 통해 방향성 질감의 성능을 평가하였다.

주요 멀티미디어 자료인 이미지는 데이터 특성을 표현하기가 어렵고, 특성추출에서 얻은 데이터가 너무 고차원적이라 이를 저차원의 처리가능한 데이터로 변환하는 과정에서 많은 손실이 있다. 이미지의 특성값을 전체 이미지의 평균값으로 변경하여 저차원 데이터를 얻는 기존의 이미지 전체 특성추출기법이나 고정된 블록의 평균값으로 변경하여 저차원 데이터를 얻는 이미지 블록 특성추출기법은 유사 이미지의 검색이 부정확하다는 단점이 있다. 본 논문에서는 이미지를 가변적인 영역으로 나누어 특성값을 얻고, 히스토그램을 이용하여 효율적으로 유사 이미지를 찾는 영역기반 유사 이미지 검색기법을 제안하고 이를 구현하였다.

최근 들어 인터넷의 급속한 발전과 엄청난 양의 멀티미디어 데이터가 다양한 형태로 생성, 제공되면서 이에 대한 서비스 및 관리 기법에 관한 문제가 주요 관심사로 대두되고 있다. 그 중에서도, 일반 인터넷 사용자들의 기본적인 요구로써 기존의 문자 기반 검색 서비스로써 제공될수 없는 내용 기반 검색 기법을 들 수 있다. 사용자가 원하는 영상 혹은 임의의 동영상에서의 한 장면을 빠르고 정확하게 찾는 검색 기법이 최근 들어 연구가 활발히 진행되고 있는 가운데, 본 논문에서는 이러한 내용 기반 검색을 가능하게 하는 하나의 기법으로써 다차원 쉘 구조를 이용한 동영상에서의 영상 검색 알고리즘을 소개한다. 또한, 이를 내용 기반 검색에서 주로 사용되는 색인 트리 구조의 검색 기법과의 비교를 통해 장, 단점을 비교 분석해 본다.

대용량의 멀티미디어 자료를 기반으로 하는 산업의 급성장은 이에 적합한 효율적인 저장 및 검색시스템을 요구하고 있다. 그러나, 멀티미디어 자료의 고차원적인 특성은 저장과 검색에 있어 성능을 저하시키는 문제점으로 지적되고 있다. 이를 해결하기 위하여 멀티미디어 자료로부터 저차원의 특성을 추출하여 내용기반 검색을 수행하는 연구가 진행되어오고 있다. 본 논문에서는 이미지내의 객체 MBR(Minimum Bounding Rectangle)을 이용하여 저차원의 색상정보와 모양정보를 추출하는 기법을 제안한다. 히스토그램정보는 이미지의 객체를 포함하는 MBR을 이용하여 9개의 타일로 균등분할하여 추출하며, 모양정보는 객체 MBR의 중심으로부터 16방향의 스캐닝을 통해 16개의 점으로 구성된 모양정보를 추출한다. 실험을 통하여 추출된 정보의 검색성능을 평가하였다.

인터넷 분야가 급성장 하면서 수많은 정보들 가운데에서도 멀티미디어 정보의 양이 급격히 증가하고 있으며, 특히 멀티미디어 정보 가운데에서도 이미지 데이터의 양이 급격히 증가하고 있다. 이러한 이미지의 양은 대규모이므로 사용자가 원하는 이미지를 찾기 위해, 이미지 데이터를 검색하기 위한 여러 가지 방법들이 많이 연구되어 왔다. 본 논문에서는 이미지 검색에서의 색상 질의를 비율로써 정확하게 검색하기 위하여 사람이 색상을 보고 느끼는 색상, 명도, 채도 방식을 이용해 이미지의 색상을 분류하였으며, 웹 브라우저 상에서 가 안정적인 색상을 나타내는 웹 칼라를 이용해 색상을 60도씩 분리하여 분류하였다. 이러한 분류 결과를 이미지 검색에 적용하여 색의 비율단위로 다양하고 정확한 검색을 할 수 있었다.

오늘날, 컴퓨터 하드웨어와 네트워크의 발달로 인하여, 사용자의 멀티미디어 정보 검색 시스템에 대한 요구들이 높아져가고 있다. 이러한 멀티미디어 정보 검색 시스템에서 멀티미디어 정보는 그 해당 데이터의 고유한 성질에 알맞은 특징 정보로써 표현되며, 각각의 특징 정보를 이용하여 해당 멀티미디어 정보 검색을 위한 색인을 구성하고 사용자의 질의에 대해 검색을 수행하게 된다. 그러나 이미지나 비디오 등의 다른 멀티미디어 정보 검색에 비해, 음악 정보에 대한 검색은 아직 연구가 미비한 상태이므로 본 논문에서는 음악 정보로부터 추출된 특징 정보를 이용하여 음악정보의 다차원 색인을 구축함으로써, 사용자의 음악 질의에 대해서 보다 나은 기능들과 효율을 가지도록 내용 기반 음악 정보 검색 수행을 지원하는 정보 검색 기법을 제안한다.

현재 웹 기술은 HTML에서 정보를 표현하는 외형과 내용을 분리하여 정보를 구조화할 수 있는 XML을 사용하고 있다. 구조적으로 구성된 XML은 새로운 정보 검색의 방법을 제시하였다. 즉, 태그를 이용한 정보검색으로 검색어에 의미를 부여함으로써 정보 검색자에게 좀더 효율적인 검색을 가능하게 하였다. 그러나 이러한 구조화 문서 검색 기법은 정확한 태그를 입력하였을 경우에만 결과를 얻을수 있는 단점을 지니고 있다. 따라서 본 논문에서는 XML문서의 태그 검색에 있어 정확한 태그 검색을 확장한 유사 태그 검색기법을 설계하고 구현하였다. 유사한 태그를 검색하기 위하여 시소러스를 구성하였으며, 작성된 시소러스를 이용하여 유사한 태그에 대한 검색을 수행하였다. 기존의 XML문서 검색 시스템은 정한 태그에 대한 검색만을 수행할 수 있는 반면, 본 시스템은 태그검색에 있어 시소러스를 활용함으로써 질의에 입력되어진 태그와 유사한 태그에 대한 검색 결과를 보여줌으로써 사용자에게 질의어 선정의 불편함을 감소시켰다.

웹이 빠른 속도로 증가짐에 따라 사용자들은 점차 원하는 리소스를 얻기가 힘들어지고 있다. 비록 기존의 검색엔진이 도움을 주고 있지만, 하나의 서버가 방대하고 다양한 종류의 웹 리소스들을 모두 구분해 서비스하는 것은 점차 그 한계를 드러내고 있다. 본 논문에서는 각 검색서버들이 분류화된 이름공간내에서 검색서비스를 하고 이들을 하나의 질의 인터페이스로 통합할 수 있는 방안을 제안하고, 그 시스템을 설계하고자 한다. 제안된 시스템은 XML을 사용하는 CNRP(Common Name Resolution Protocol)을 기반으로 하여 여러 검색 서버의 결과를 쉽게 통합하고, 검색된 데이터를 일반 응용프로그램에서도 사용할 수 있으며, 동적으로 생성되는 질의 인터페이스를 통해 어떠한 검색 시스템으로도 확장이 가능하다.

현재의 자동 문서 분류 시스템에서는 문서분류는 지식베이스를 구축하고 전문가가 클레스의 분류 주제어를 수동 입력함으로써 이루어진다. 이것은 대단히 어렵고 번거로운 일이며 많은 시간과 노력이 소요되고 지속적으로 이루어지기 힘들다. 본 논문에서는 지식베이스와 문서의 구조적 정보, 통계적 정보, 키워드 간의 응집도를 이용하여 자동 문서 분류를 위한 분류 주제어의 자동 증식 방법을 제안한다.

디지털 정보자원에 대한 고유한 식별기호를 부여하는 기법인 DOI(Digital Object Identifier)를 기반으로 디지털 콘텐츠 접근의 효율성 및 이용 편리성을 제공하고, 디지털 저작자에 대한 지적 재산권을 보호하며, 디지털 콘텐츠의 전자상거래를 활성화할 수 있는 DOI 기반 디지털 콘텐츠 유통관리 시스템을 제안한다.

분산 객체 시스템을 통합하기 위한 표준인 CORBA(Common Object Request Broker Atchitecture)는 분산 환경에서 더욱 더 자주 발생하는 고장에 대한 회복 수단을 제공하지 않기 때문에, 높은 신뢰성을 요구하는 상업용 어플리케이션에 도입되지 못하고 있다. 이에 따라, CORBA 구조 내에 자체적인 고장 감내 구조를 추가해 신뢰성 높은 서비스를 제공할 수 있는 고장 감내 CORBA에 대한 연구가 진행되고 있다. 그러나, 2000년 4월에 채택된 고장 감내 CORBA에 대한 명세서에서는 객체의 인터페이스를 정의하는 기술 언어인 CORBA IDL(Interface Definition Language)로 객체 단위의 중복과 이를 위한 시스템의 구조 및 각 모듈의 설계를 요약하고 있으나, 그 세부적인 메커니즘이 제시되지 않고 있다. 따라서 본 논문에서는 CORBA에 고장 감내성을 부여하기 위해 세부적인 고장 감내 CORBA를 위한 로깅 및 회복 기법을 제안한다.

데이터베이스 응용 시스템간에 공유되는 자료가 많아지고 웹 응용 시스템이 일반화됨에 따라서, 웹 상에서도 이기종 데이터베이스 시스템들에 접근하여 질의를 처리하는 방법이 요구되고 있다. 이에 본 논문에서는 이기종 데이터베이스의 자료를 쉽게 처리하는 다중 이기종 데이터베이스 미들웨어 시스템을 웹 환경에서 사용하게 하기 위한 웹 클라이언트를 제안하고, 이 웹 클라이언트가 다수의 전역 데이터베이스에 접근할수 있도록 여러사용자에 대한 세션을 관리하는 방법을 제안한다.

고객 DB를 통해 세분 고객별로 구매량, 주요 고객을 파악케 하며 각종 마케팅 활동이나 판촉활동이 고객의 구매/이용 패턴에 어떤 영향을 미치며, 물품을 구매하는 소비자의 다양한 구매 패턴을 분석하기 위해서 쇼핑몰 운영자가 여러 각도에서 문제 분석과 의사 결정을 빠르고 신속하게 할 수 있도록 기존 쇼핑몰의 관계형 DB을 이용하여, 다차원적 데이터 모델링을 통해서 다차원적인 분석이 가능하도록 하는 ROLAP를 이용한 인터넷 쇼핑몰의 데이터 웨어하우스 구축 방안을 제시하고자 한다.

인터넷을 상업적으로 이용하는 하나의 형태로 최근 들어 전자상거래가 주목을 받고 있다. 현재 전자상거래 시장의 급속한 신장세에도 불구하고, BtoC를 기반으로 하는 전자상거래 쇼핑몰의 성장은 기대에 못 미치고 있다. 이러한 상황은 현재의 전자상거래 쇼핑몰 비즈니스 모델에 대한 평가를 통해 차세대 모델로의 질적인 변화를 필요로 하고 있다. 이에 따라 본 연구에서는 기존의 전자상거래 비즈니스 모델인 BtoB와 BtoC를 혼합한 지역 전자상거래 쇼핑몰에 적합한 새로운 형태의 BtoBC 전자상거래 비즈니스 모델을 제시하였다. 제안된 모델을 통하여 소비자와 생산자 사이의 원활한 전자상거래가 가능해질 수 있을 것이다.

전자메일이 현대 정보시스템에서 가장 필수적인 도구 중 한가지라는 것은 이제 더 이상 말할 필요가 없을 정도다. 전자메일은 그것을 잘 활용함으로써 생산 효율을 몇 배로 향상시킬 수 있는 반면, 능숙하게 사용하지 못할 경우 수신인과 발신인 상호간의 커뮤니케이션을 혼란시켜 생산성을 저하시킬 위험성을 내포하고 있다. 본 논문에서는 대량의 전자메일을 가입자에게 발송해야 하는 기업환경에서 대량의 메일 전송시에 메일 서버에 걸리는 부하를 3-tier 방식을 적용하여 효율적으로 관리하는 방법에 대하여 고찰하고, 이의 구현에 대하여 논의한다.

본 논문에서는 CAN 기반의 분산 제어 시스템을 위한 환경에 특화된 CORBA인 CAN-CORBA의 설계와 구현에 대하여 기술한다. CAN-CORBA는 예약 구독 기반의 그룹 통신과 CORBA의 전통적인 연결 기반 점대점 통신을 모두 지원한다. 또한 내장형 ORB간 통신 프로토콜인 EIOP를 사용하여 메시지 전송량을 획기적으로 줄였다. CAN-CORBA는 서울대학교에서 개발한 실시간 운영체제 mArx에 완전히 구현되었다. 다양한 경험과 실험 결과는 CAN-CORBA가 극심한 자원 제약 한계를 갖는 분산 내장형 제어 시스템을 개발하는데 적합함을 보여주었다.

본 논문에서는 다수의 페이지로 구성된 복잡한 구조의 문서로부터 SGML/XML에 기반한 전자 문서를 생성하기 위한 구문론적인 구조분석 방법을 제안한다. 제안된 방법은 구조분석의 정확성과 처리속도의 향상을 위하여 텍스트 영역의 계층적인 트리를 파싱하여 논리적인 계층 구조를 추출한다. 또한 본 논문은 문서 유형의 논리적인 구조 정보와 기하적인 특성을 효과적으로 기술할 수 있는 문서 모델을 정의한다. 제안된 방법의 성능을 평가하기 위하여 IEEE Transactions on Pattern Analysis and Machine Intelligence로부터 스캐닝한 372개의 논문 영상으로 실험한 결과, 제안된 방법은 기존 연구와 달리 다수의 문서 영상으로 구성된 문서에 대하여 논리적인 구조분석을 효율적으로 지원하였다. 특히 제안된 방법은 논리적인 구조분석의 최종 결과로서 SGML/XML 문서를 생성하기 때문에 문서의 재사용성과 호환성을 높인다.

오늘날 온라인 게임은 TCP망을 이용하여 동시에 수백에서 수천명이 접속하여 게임을 증길 수 있는 클라이언트/서버 모델의 표준이지만 서버에 접속하는 클라이언트의 수가 증가함에 따라 나타나는 많은 문제점을 가지고 있다. 본 논문에서는 기존 네트웍 게임 엔진 구조적 단점을 보완한 3-tier 방식을 적용한 분산 네트웍 게입 서버를 위한 부하 분산기의 연구 및 개발에 대하여 서술한다. 이 시스템은 클라이언트/서버 모델의 2-tier 방식에서 오는 클라이언트 수 증가에 따른 네트웍 부하 가중에 대한 처리 문제와, 분산된 2-tier 방식을 적용한 서버에서 각 서버간의 통신, 데이터 공유에 대한 문제 등을 다루고 이에 대한 해결책으로 3-tier 방식을 적용하여 클라이언트/서버 사이에 각 서버의 사용자나 이동되는 데이터를 분산하고 모니터링하는 부하 분산기 시스템을 적용하여 위와 같은 문제점을 해결하였다.

본 논문에서는 메시징 서버를 이용한 문서 관리 시스템을 제안한다. 본 문서관리 시스템은 각 구성 부분들을 콤포넌트 단위로 설계하고, 메시징 서버를 기본 엔진으로 사용한다. 엔진으로 메시징 서버를 사용하면 각각의 문서를 하나의 객체로 처리할 수 있게 되어 문서 객체들에 대한 직접적인 관리가 가능해지므로 프로젝트 관리, 문서 권한 관리, 새로운 문서 유형의 추가 수정등이 용이하고, 문서들을 계층적 구조로 저장 검색하기에 용이하다. 이 시스템은 워크플로우와 같은 메시징 기반의 시스템과의 연동에 쉽게 적용될 수 있다.

이 연구에서는 텍스트 문서를 웹에서 HTML 문서 형태로 효율적으로 검색할 수 있는 변환 시스템을 개발하였다. 웹상에 사용자가 원하는 부분만을 HTML 문서 형태로 제공하도록 문서의 논리적인 구조를 파악하며 그 구조에 대한 정보와 각 논리 단위에 해당하는 부분의 범위 정보를 저장할 수 있도록 관계형 데이터베이스 스키마를 개발하였다. 개발한 시스템은 문서의 목차 테이블을 자동으로 구축하고 목차 테이블의 각 항목에 하이퍼링크를 설정한다. 문서를 웹에서 검색하기 위한 첫 화면은 목차 테이블이며, 그 중 한 항목이 클릭되면 그 항목의 내용이 제공되고, 만약 그 하위에 속하는 항목들이 있다면 그들에 대한 링크를 역시 제공한다. 이러한 방법으로 한 문서의 전체를 그 논리 구조에 따라 사용자가 원하는 대로 검색할 수 있다. 이 시스템은 멀티미디어 타입의 문서를 하이퍼미디어 문서 형식으로 변환할 수 있도록 확장하여 보완 개발될 수 있고, 장래에 전자 출판과 전자 도서관에 응용될 수 있다.

데이터 마이닝의 방법론 중 클러스터링은 데이터베이스 객체들의 에트리뷰트 값에 근거하여 유사한 그룹으로 식별하는 기술적인 작업이다. 그러나 대부분 알고리즘들은 데이터의 차원이 증가할수록 형성된 전체 데이터 공간은 매우 방대하므로 의미있는 클러스터의 탐색이 더욱 어렵다. 따라서 효과적인 클러스터링을 위해서는 클러스터가 포함될 데이터 공간의 예측이 필요하다. 본 논문에서는 고차원 데이터에서 각 차원에 대한 점진적 프로젝션을 이용한 클러스터링 방법을 제안한다. 제안한 방법에서는 클러스터가 포함될 가능성이 있는 데이터공간의 후보영역을 결정하여, 이 영역에서 점들의 평균값을 중심으로 클러스터를 탐색한다.

최근 데이터 마이닝에서 대용량 데이터를 처리하는 응용이 많아짐에 따라, 클러스터링(Clustering) 및 분류(Classification)방법이 중요한 분야가 되고 있다. 특히 분류방법에 관한 기존 연구들은 단지 메모리 상주(memory-resident) 데이터에 대해 한정되며 고차원 데이터를 효율적으로 처리할 수 없다. 따라서 본 논문에서는 대용량 고차원 데이터를 효과적으로 처리할 수 있는 새로운 분류 알고리즘을 제안한다. 이는 데이터들을 차원 공간상의 셀(cell)로 표현함으로써 수치(numerical) 애트리뷰트와 범주(categorical) 애트리뷰트 모두 처리할 수 있는 알고리즘을 제안한다. 아울러, 실험결과를 통해 제안한 알고리즘이 데이터의 양,차원 그리고 속성에 관계없이 분류를 효과적으로 수행함을 보인다.

데이더는 다양한 빈도 형태와 속성을 가지고 있으며 데이터의 연관 규칙 탐사 시 이러한 데이터의 빈도수를 고려할 수 있는 방법이 필요하다. 그러나 기존의 연관 규칙 탐사 알고리즘은 지지도와 신뢰도만을 가지고 데이터의 연관성을 발견하며 데이터들의 발생 빈도는 고려하지 않는다. 본 논문에서는 하위 단계의 데이터나 동일한 단계지만 상대적으로 발생 빈도가 적은 데이터들의 연관 규칙을 탐사할 수 있는 방법을 제안한다. 제안하는 방법은 데이터의 상대 지지도를 이용한 다단계 연관 규칙 탐사 기법을 수행함으로써 데이터의 발생 빈도를 고려한 연관 규칙을 탐사할 수 있다. 그리고 탐사된 연관 규칙은 마케팅 분야 등의 여러 응용에서 유용하게 이용될 수 있다.

대용량의 데이터베이스에서 여러 트랜잭션에 동시에 나타나는 항목들의 모임인 빈발 항목집합을 찾아내는 데이터 마이닝 방법을 연관 규칙 탐사라고 한다. 빈발 항목집합을 찾아내는 데이터 마이닝 방법을 연관 규칙 탐사라고 한다. 빈방 항목집합을 찾아내는 문제는 항목 집합들의 후보 집합을 생성하고 빈발 항목집합의 조건을 충족시키는 후보 집합을 추출함으로써 해결된다. 그리고 이러한 작업은 각각의 빈발 k-항목집합에 대해 k가 증가함에 따라 반복적으로 수행된다. 그러나 연관 규칙 탐사에 관한 기존의 연구는 주로 데이터베이스를 이루는 항목들의 수가 많거나 트랜잭션의 길이가 긴 경우의 대용량 데이터베이스에서 빈발 항목집합의 발견에 초점을 맞추고 있다. 본 논문에서는 데이터베이스를 이루는 전체 항목의 수가 적거나 트랜잭션의 크기가 작은 경우 효과적으로 빈발 항목집합을 찾을 수 있는 연관 규칙 탐사 방법을 제안한다. 그리고 성능 평가를 통하여 제안하는 방법의 성능 및 타당성을 보인다.

변화하는 경쟁적 인터넷 환경에서 E-Business의 성공적인 운영은 웹 사이트를 이용하는 고객들의 행위를 얼마나 잘 이해하느냐에 달려있다. 폭발적으로 늘어나는 웹 사이트 중에서 많은 사용자들을 유치하고 유지하기 위해서는 고객 개개인의 특성을 분석해서 특성화된 특성화된 서비스를 제공하는 것이 중요하다. 이 논문에서는 웹 서버에 의해 수집되는 로그파일로부터 사용자들이 빈번하게 함께 접근하는 페이지들을 기반으로 웹 페이지에 대한 클러스터링을 수행하고 이러한 웹 페이지의 클러스터를 이용해서 유사한 행동패턴을 가진 사용자들을 분류함으로써 특성화된 서비스를 제공하기 위한 일련의 기법들을 제안한다. 특히 클러스터링을 수행하는 웹 로그에 시간적인 요소를 고려한 제약조건을 둠으로써 좀더 유용한 지식을 찾아낼 수 있는 방안을 제시한다.

주기억 데이터베이스 시스템은 주기억장치에 데이터베이스 전체를 상주시킴으로써 빠른 성능을 보장하므로 실시간 데이터베이스 시스템에 적합하다. 그러나, 시스템에 장애가 발생했을 때는 주기억 데이터베이스와 내용 전체가 손실될 수 있다. 그러므로, 주기억 데이터베이스 시스템의 회복 작업은 매우 중요하다. 또한 빠른 회복을 해줄 수 있어야 실시간 확경에 적합할 것이다. 로그를 사용하는 주기억 데이터베이스 시스템에서 빠른 회복을 위해서 검사점 방법을 사용한다. 검사점을 사용하여 주기적으로 변경된 내용을 디스크로 옮김으로써 회복할 때 분석해야 할 로그의 양을 줄일 수 있다. 본 논문에서는 기존의 검사점 방법들 중 주기억 데이터베이스 환경에 가장 좋은 성능을 보이는 퍼지 검사점에 관한 방법들을 분석 및 보완하여 빠른 회복을 위한 새로운 기법을 제안하고 이를 FastDB 주기억 데이터베이스 시스템에 구현하였다. 구체적으로, FastDB를 로그를 사용하는 회복 방법으로 바꾸고, FastDB가 사용하는 메모리 영역을 n개의 파티션으로 나눈다. 그리고 파티션별 갱신 횟수에 따라 일정한 검사점 수행 간격을 유지하여 회복시 필요한 로그의 양을 효과적으로 줄일 수 있는 일정 간격 퍼지 검사점 기법을 구현하였다. 실험 결과에 의하면 일정 간격 퍼지 검사점 기법을 사용한 시스템이 기존 방법을 사용한 시스템보다 회복 성능에서 우수함을 보여준다.

주 메모리 데이터베이스 환경에서는 메모리 접근이 성능상의 병목으로 작용하므로 캐시접근 실패를 줄이는 것이 중요하다. 본 논문에서는 데이터베이스 디자인 단계에서 캐시를 고려하여 테이블을 수직 분할을 결정하는 방법을 제안한다. 캐시 접근 실패 횟수를 기반으로 하여 질의처리비용을 예상하는 비용식을 제안하고, 이를 최소로 하는 테이블 수직 분할을 찾는 휴리스틱을 제안한다.

In this paper, we present a comcurrency control scheme over the index structure in main memory databases using multiversion mechanism, and implement it on T-tree. As a well-known idea for comcurrency control, multiversion allows multiple transactions to reat and write different versions of the same data item, each transaction sees a consistent set of versions for all the data items it accesses[1]. Logical versioning and physical versioning techniques are used to keep versions of data item and versions of index node respectively. The main features of this multiversion indexing approach are (1)update operations and rotations on T-tree can take place concurrently, (2)the number of locking and latching requirement is sharply reduced because read-only transactions do not obtain any locks or latches and update transactions obtain latches only when actually performing the update, (3)it reduces storage overhead for tracking version and reclaims storage in time, and (4)it provides complete isolation of read-only transactions from update transactions, so the read-only transactions can get response information without any block.

주기억 데이터베이스에서 효율적인 성능을 위해서 제안된 색인 구조 중 T-트리가 있다. 이 색인 구조는 삽입 삭제가 많은 동적 주기억 데이터베이스에서 빈번한 노드 생성 및 삭제에 따르는 오버헤드(overhead)로 효율적이지 못한다. 이 문제를 극복하기 위해서 T2-트리가 제안되었다. T2-트리는 T-트리의 단점인 범위 질의의 비효율성의 해결과 삽입 삭제가 빈번한 동적 주기억 데이터베이스 시스템으 위해 억제된 노드 생성 및 삭제 기법과 스레드 이진 트리의 특징을 가지고 있다. 이 논문에서는 리눅스에서 주기억 데이터베이스 프로그램인 FastDB에 사용된 T-트리 인덱싱 구조를 새롭게 제안된 T2-트리로 수정하여 두 가지 인덱싱 구조를 비교 실험한 결과를 보여주고 있다. 실험결과에 의하면 T-트리에 비해서 T2-트리가 동적인 주기억 데이터베이스 시스템에서 효율적인 구조임을 알 수 있다.

현재 이동 통신 서비스 업체에서는 이동 통신 부가 서비스를 위해서 자체 개발한 주 메모리 자료 구조를 사용하고 있다. 주 메모리 자료 구조는 많은 경우 회복 기능, 동시성 제어 기능등을 제공하지 않으므로 DBMS를 이용하여 구현한 것보다 안정성이 떨어진다. 본 논문에서는 이동 통신 부가 서비스의 하나인 SMS(Short Message Service)를 주 메모리 DBMS와 디스크 기반 DBMS 위에서 각각 구현하고, 그 성능을 비교한다. 주 메모리 DBMS를 사용하여 구현한 SMS 시스템은 최대 초당 약 1700 메시지를 처리하였고, 디스크 기반 DBMS를 사용하여 구현한 SMS 시스템은 데이터가 완전히 cache된 상태에서 최대 초당 약 80 메시지를 처리하였다. 따라서 주 메모리 DBMS가 디스크 기반 DBMS보다 이동 통신 부가 서비스에 더 적합하다고 볼 수 있다.

본 논문은 객체 관계형 실시간 DBMS인 Tachyon이 제공하는 데이터 타입과 객체지향 질의의 설계 및 구현을 기술한다. Tachyon은 고성능 데이터 처리를 지원하는 객체 관계형 메모리상주 데이터베이스 시스템(Main-memory resident ORDBMS)로 Tachyon의 데이터 타입과 SQL은 ANSI SQL 3 draft를 기반으로 설계되었으며, 객체 관계형 질의 처리를 위한 OID 데이터 타입을 추가하였다. Tachyon은 클래스 간의 수직적 관계(상속)와 수평적 관계를 정의하고 조작할 수 있는 객체지향 질의를 통하여 융통성있는 데이터 조작이 가능하며, OID를 기반으로 경로식(path expression)을 이용한 향해 질의(navigational query)를 통하여 죠인(join) 비용을 절감하고, index를 통한 인스턴스 접근 등을 통하여 효율적인 데이터베이스 접근을 시도할 수 있다.

본 논문은 객체 관계형 실시간 DBMS인 Tachyon의 특성 및 구조에 관한여 기술한다. Tachyon은 전전자 교환기용 관계형 DBMS인 DREAM-S의 개발 경험을 바탕으로 개발된 객체 관계형 DBMA이고, 고성능 데이터 처리를 위한 주기억 장치 상주 DBMS이며, 우선순위 기반의 스케쥴링과 연성 데드라인(soft-deadline) 트랜잭션을 처리하는 실시간 DBMS이다. Tachyon은 객체지향 질의를 통한 융통성 있는 데이터 조작이 가능하며, 다중 사용자 환경에서 항상 데이터의 일관성을 유지하고, 고신뢰 시스템을 위한 이중화 구조의 지원 및 데이터 백업/복구 등의 종합적인 데이터베이스 관리를 제공한다. 현재 Tachyon은 DREAM-S와 더불어 초고속정보통신망에서의 백본 교환기 시스템의 DBMS로 활용될 예정이다.

최근 인터넷의 발전으로 인하여 정보교환을 위한 표준으로 XML에 대한 활용이 늘어나면서 이들 문서에 대한 저장 및 검색에 대한 연구가 활발히 진행되고 있다. 본 연구에서는 객체관계 데이터베이스와 모델링 기법을 이용하여 XML 문서 저장 시스템의 기본이 되는 효과적인 모델을 제시한다. 관계 데이터베이스와 객체지향 데이터베이스의 장단점을 수용한 객체관계 데이터베이스를 이용하여 XML 문서 저장 모델을 설계하면 XML 문서의 구조적인 정보를 효과적으로 표현할 수 있도록 모델 설계가 가능하다. XML 문서의 빈번한 수정이 용이하도록 분할저장 방식을 사용하였고, DTD에 관계없이 XML 문서를 저장할 수 있도록 DTD 독립적인 모델을 제시하였다.

최근 XML 문서를 저장 및 검색하기 위한 연구가 활발히 진행되고 있다. 하지만 기존의 연구는 주로 XML문서 저장을 위한 연구들이었다. 즉 XML 문서를 정의해 주는 DTD 문서의 저장에 관한 연구는 상대적으로 적었다. 하지만 DTD 문서를 효율적으로 저장하고 관리하여 재활용함으로써 XML 문서를 효율적으로 관리할 수 있다. 본 논문에서는 DTD를 RDBMS에 저장하기 위한 스키마를 제안하고, 저장 방식은 정보의 중복저장을 막고 DTD의 모든 내용을 수용할 수 있도록 설계하였다. 또 제안하는 데이터모델에 적용하여 SQL의 DDL을 확장하였다. 제안한 DTD 데이터베이스로 인해 DTD의 재활용과 관리를 할수 있게 되었고 SQL의 확장으로 제안 시스템의 사용을 용의하게 하였다.

인터넷에 산재해 있는 분산 이질의 대규모 정보들을 통합, 관리하기 위한 기본 모델로서 최근 정보교환 표준으로 인정받고 있는 XML을 사용할 수 있다. HMS(Hallym Mediator System)는 XML을 기본 데이터 모델로 하는 미디에이터 시스템으로서 뷰(View) DTD의 정의, 추론 기능을 이용하여 웹 상의 분산, 이질 정보의 통합 기능을 제공한다. 뷰 DTD는 관리자에 의하여 정의되어, 추론 및 보완 과정을 거쳐 생성되며, 웹 상의 통합된 가상 정보 구조를 표현한다. 웹 상의 사용자는 이와 같이 생성된 뷰 DTD를 근거로 분산이질 정보에 대한 구조정보 및 내용정보에 대한 질의를 수행할 수 있다. HMS에서는 DTD 구동형 비주얼 사용자 인터페이스를 제공하여, 관리자와 일반 사용자에게 직관적이고 간편한 웹 정보 브라우징 및 질의검색 환경을 제공한다.

최근 국내의 모든 병원에서 PACS(Picture Atchiving and Communication System) 도입에 관한 관심을 보이고 있다. PACS가 구축이 되면 병원 내 모든 진료 과에서 디지털 데이터의 전송으로 정보를 공유할 수 있고, 진료가 자동화 되는 장점이 있다. 하지만, 환자가 다른 병원으로 이송될 경우 과거 진료 내역을 다른 병원으로 함께 전송하여야 되는데, 다른 병원의 시스템과 연계할 방법이 현재로는 존재하지 않는다. HIES 시스템은 의료 데이터 전송의 표준문서로 XML(eXtensible Markup Language)을 제안하고 있다. XML은 문서를 정의하는 메타 마크업(meta-markup) 언어로써 DICOM 프로토콜을 통하여 산출된 의료 데이터를 표현하기에 적당하다. 또한 병원 간 이질 데이터베이스 시스템 통합을 위하여 일관된 스키마 정보를 유지하는 정보 공유 관리자를 설계, 구현하였다.

인터넷의 비약적인 발전, 네트웍 인프라의 향상으로 인해 인터넷을 이용한 문서 처리는 날로 증가하고 있으며, 이 기종간의 문서 정보 교환 역시 계속해서 증가하고 있다. 또한 문서의 표현 방법 및 문서량의 증대로 사용자의 요구는 계속 다양해져 가고 있다. 기존의 웹에서 사용되고 있는 HTML(Hyper-Text Markup Language)의 경우 그 표현력의 한계 때문에 사용자가 직접 구조적인 문서를 생성할 수가 없었다. 이에 W3C에서 XML (eXtensible Markup Language)을 발표하여 사용자가 직접 논리적인 문서의 작성하는 것이 가능하도록 했다. 이러한 XML 문서의 논리적인 구조를 표현하기 위해서는 문서의 원형을 정의할 수 있는 DTD(Document Type Definition)가 필요하며, 본 논문은 이러한 XML 문서의 원형을 정의하기 위해 필요한 DTD를 보다 효율적이며 쉽게 작성할 수 있는 DTD 편집기의 구현 및 설계에 대하여 논술한다.

기존의 통합 시스템은 이미 구축된 자원을 재활용하여 데이터의 구축 비용을 줄이고자 하는 의도에서 시작되었다. 최근 웹의 확산으로 인하여 웹 기반 분산 환경에서 공간 데이터의 제공을 위한 통합 시스템이 요구되고 있다. 이 논문에서는 XLinking을 기반으로 웹 환경에서 공간 데이터의 통합을 제공하는 시스템을 설계한다. 이는 기존 통합 시스템이 가지는 응용의 복잡성과 긴 사용자 응답 시간이라는 문제점을 해결 가능할 뿐만 아니라 표준 기술을 지원하여 상호 운용을 달성한다. 이 논몬에서는 OGC(OpenGIS Consortium)의 웹 매핑 표준 기술인 WMT(Web Mapping Testbed)의 중첩 맵서버(Cascading MapServer)와 GML(Geography Markup Language)을 사용하여 통합 시스템을 설계하고 구현한다.

W3C(World Wide Web Consortium)가 XML(eXtensible Markup Language)을 차세대 웹 문서 표준으로 제안하면서 많은 응용에서 XML을 사용하려는 다양한 연구가 진행되고 있다. 뷰는 이질적인(heterogeneous) 데이터의 통합 및 여과(filtering) 기능을 통해서 사용자가 요구하는 데이터를 제공한다. 뷰의 구현 기법 중에서 실체 뷰(materialized view)는 뷰의 내용을 직접 저장하는 기법으로서, 사용자의 질의에 빠른 응답시간을 제공할 수 있다. 그러나 실체 뷰는 하부 데이터베이스가 변경되었을 경우에 일관성을 유지해야 하는 오버헤드가 있다. XML은 문서의 구조정보를 나타낼 수 있으므로 기존의 관계 데이터베이스와 객체지향 데이터베이스 등에서 연구되었던 실체 뷰 관리 기법과는 다른 XML 실체 뷰 관리 기법이 요구된다. 본 논문에서는 XML 문서를 대상으로 XML 실체 뷰를 지원하고, 데이터베이스에 저장된 XML 문서가 수정되었을 경우에 XML 실체 뷰에 대해 점진적 갱신(incremental refresh)을 지원하는 XML 실체 뷰 관리 프레임워크(framework)를 제안하였다.

가상문서는 웹 상에 존재하는 내용 중에서 원하는 부분만을 링크를 이용해 새로운 문서를 생성하는 개념이다. 본 논문에서는 가상문서를 지원하는 디지털 도서관 시스템에서 텍스트, 이미지 데이터뿐 아니라 멀티미디어 데이터와 구조적 의미를 갖는 데이터를 처리 가능하도록 DTD의 표기법을 확장하였다. 또한, 저작도구에서 생성된 내포링크, 참조링크, 총칭링크 등 다양한 의미의 가상무서를 브라우징 가능하도록 문서 변환기에서 멀티미디어와 구조적 문서를 처리하기 위한 방법을 제시하였다.

JDBC는 Java 프로그램에서 표준 SQL을 사용하여 데이터베이스에 접근하기 위한 응용 프로그램 인터페이스이다. 응용 프로그램 개발자는 JDBC API를 사용하여 다양한 종류의 DBMS에 적용 가능한 응용 프로그램을 쉽게 작성할 수 있을 뿐만 아니라 JDBC API를 사용하여 작성된 기존의 응용 프로그램들을 재사용하는 것이 가능하다. 본 논문에서는, 객체 관계형 데이터베이스 관리 시스템인 오디세우스를 위한 JDBC 드라이버를 설계하고 구현한다. 본 JDBC 드라이버는 DBMS와 직접 연결하여 통신하므로 질의 결과 처리 성능이 좋고, 모두 Java 언어로 구현되기 때문에 웹 환경에서 사용하기 적합하다는 특징을 가진다.

전자 상거래 등에서 웹 클라이언트들은 시간이 갈수록 빠른 서비스를 요구하고 있다. 디스크 기반의 관계형 데이터베이스를 그대로 유지하면서도 빠른 응답을 가능하게 하는 방안으로, 메인 메모리 기반 데이터베이스 시스템(Main Memory-Based DBMS)을 Front- End로 사용하는 방법이 제안되고 있다. 본 논문에서는 관계형 데이터베이스 시스템에 객체-관계형 메인 메모리 기반 데이터베이스 시스템인 Tachyon[1]을 Front-End로 운용하여 성능을 개선하는 문제를 다룬다. 특히, 이 경우에 데이터 모델 상의 차이점으로 발생할 수 있는 문제를 정의하고, 그 해결책을 제시한다. 주요 내용으로는 관계 데이터베이스를 Tachyon에 적합한 객체 데이터베이스로 변환하는 기법과, 관계 질의를 객체 질의로의 변환 기법이다. 이러한 변환 기법은 관계 데이터베이스의 Front-End로 객체-관계 데이터베이스를 사용할 수 있도록 하는 연구의 출발점이 될 것이다.

데이터베이스 전문 사용자가 아닌 일반 유저들도 쉽게 데이터베이스에 접근하고자 하는 요구들이 늘어나고 있다. 이러한 요구사항을 만족시킬 수 있는 방법 중 하나가 Graphical Query를 사용하는 것이다. Graphical Query는 유저에게 Schema browsing 매커니즘을 제공하여 텍스트를 기반의 질의보다 쉽게 데이터베이스에 접근할 수 있기 때문이다. 본 논문에서는 Tachyon OODBMS을 위한 그래픽 질의어 TGQL(Tachyon Graphical Query Language)의 설계 및 구현에 대해 서술한다. TGQL은 객체 DBMS를 위한 그래픽 질의어이므로 객체지향 개념을 어떻게 그래픽 질의어에 시각적인 요소들로 반영시키는가 라는 문제가 중요하게 다루어진다. 본 논문은 이러한 측면에서 TGQL의 특징들을 기술한다.

인터넷-웹 환경에서 객체관계형 데이터베이스를 위한 시각적 질의어(graphical query language)를 설계할 때 복잡한 질의 조건을 간단하고도 직관적으로 표현할 수 있도록 지원하는 것이 중요한 연구과제가 되고 있다. 본 논문에서는 객체관계형 데이터베이스의 경로식 표현을 인터넷/웹 기반으로 설계, 구현하였다. 시각적 표현 기밥을 사용하여 객체관계형 데이터베이스의 스키마(schema)와 질의어를 하나의 통일된 시각적 표시법으로 표현하며, 객체관계형 질의어인 경로식 표현에도 간단한 시각적 표시법을 이용하여 표현한다. 이 그래픽 질의어의 가장 큰 특징은 기존의 텍스트 기반 질의어들에 비하여 간단하고 직관적인 구문을 가지며, 사용자에게 편리한 인터넷/웹 기반의 데이터베이스 인터페이스를 제공한다.

휴대용 무선 장비의 보급으로 많은 사용자들이 좀 더 많은 컨텐츠를 요구를 하게 될 것이다. 서비스 공급업체는 좀 더 많은 무선 컨텐츠를 개발해야 할 것이다. 서비스 업체는 기존의 인터넷 컨텐츠의 근간을 이루는 언어인 HTML을 무시하고 무선 인터넷 언어인 WML로 컨텐츠를 새롭게 개발할 경우, 엄청나게 많은 시간과 비용을 소비해야 할 것이다. 이에 본 논문은 기존의 HTML 컨텐츠를 무선 인터넷 언어인 WML로 실시간 변환하는 컨텐츠 변환기를 설계하고 구현하였다.

최근 들어 모빌 데이터베이스에 대한 관심이 높아지고 있다. 모빌 데이터베이스란 모빌 컴퓨팅 기기에 사용되는 데이터베이스를 말한다. 그러나 모빌 기기의 특성상 노트북은 너무 크고 불편하므로 최근 들어서는 대부분 소형 모빌 기기를 그 대상으로 하고 있다. 따라서 규모가 작고 응용성이 강하며 Open된 구조의 DBMS가 필요하게 되었다. 본 논문에서는 무선 클라이언트-서버 환경에서 사용될 수 있을 뿐만 아니라 독자적으로도 데이터베이스를 구축 관리할 수 있는 모빌 기기 전용 DBMS의 개발을 다루었다. 우선 1차적으로 모빌 기기에 내장되어 Stand alone 형으로 사용될 수 있는 소형 DBMS를 개발하였고 앞으로는 무선 클라이언트/서버 환경에서 활용 가능토록 데이터 동기화 기능 등이 확장될 것이다. 이러한 시스템 개발은 모빌 데이터베이스 산업분야 활성화에 매우 긍정적으로 작용할 것이다.

이동 컴퓨팅 환경은 분산 컴퓨팅 환경과는 달리 네트웍의 낮은 신뢰성과 제한된 대역폭을 가지고, 이동 호스트 또한 제한된 저장장치와 배터리만을 사용할 수 있으며 트랜잭션(transaction)은 장시간에 결쳐 수행되는 특성을 가진다. 이동 컴퓨팅 환경에서는 전통적인 트랜잭션의 동시성 제어 기법 대신, 트랜잭션의 시맨틱스(semantics)를 이용하여 동시성을 향상시킬 수 있다. 본 연구에서는 중첩된 트랜잭션의 구조를 단순화시킨 단계분할(step- decomposition) 기법을 사용하여, 서브트랜잭션(sub-transaction)의 시맨틱 타입(semantic type) 별로 인터리빙(interleaving)을 제어함으로써 트랜잭션의 동시성을 향상시키는 기법을 제안하고자 한다.

LT란 비교적 오랜 기간을 필요로 하는 트랜잭션으로, 현재 LT들이 갖는 문제점들을 고려한 많은 기법들이 제안되어 있다. 무선 이동 네트워크 환경에서는 이동 호스트들이 대부분 ST를 발생시킬 확률이 높으며, 따라서 ST의 성능을 향상시키기 위한 Al, XAL등의 기존 알고리즘들이 유용하게 사용될 것이다. 그러나 이러한 환경 내에 존재하는 호스트들은 단절상태를 자주 경험하게 되며, 락을 소유한 이동 호스트들이 단절상태로 인해 필요이상으로 오래 락을 소유하게 될 수 있으므로 다른 ST들의 데이터베이스 객체에 대한 접근을 방해하는 결과를 초래할 수 있다. 본 논문에서는 기존의 데이터베이스 관리기법을 가능한 한 그대로 이용하면서, 무선 이동 네트워크 환경의 특징인 단절상태로 인한 성능저하를 최소화하기 위한 기법을 제안하고자 한다. 특히 향후 데이터베이스 응용 서비스 요구 확대가 기대되므로 보다 유용한 기법이 될 것이다.

분산 데이터베이스 시스템에서 데이터의 일치성을 유지하기 위해 원자성 완료 규약을 수행한다. 2PC 규약은 규약 수행시 조정자의 고장으로 인하여 참여자들이 블록킹이 될 수 있다. 참여자들이 블록킹되는 것은 자신들의 자원을 풀지 못하고 조정자가 고장에서 복구될 때까지 기다려야 한다. 블록킹을 해결하기 위해 제안된 방법은 3PC(Three Phase Commit Protocol)규약이 대표적이다. 이 규약은 블록킹은 해결하지만 2PC(Two Phase Commit) 규약보다 많은 메시기 교환과 로그 기록을 하게 되고 따라서 규약을 수행하는 데 걸리는 시간이 증가된다. 본 논문에서는 2PC 규약의 변형으로 블록킹을 해결할 수 있는 기법을 제안하므로써 기존의 3PC 규약보다 수행시간을 향상시킨다. 제안하는 완료규약의 특징은 새로운 조정자를 규약 전에 미리 선출하여 조정자 고장 발생시 종료규약을 수행하게 함으로써 블록킹을 해결하였다.

디지털 경제시대에는 시장의 힘이 고객으로 급속하게 이동하고 있다. 이러한 디지털 경제 시대의 지배 논리가 비즈니스 모델의 핵심인 분야가 전자상거래 분야이며, 기업은 성공을 위해서 고객관계관리를 통한 고객의 로열티 확보에 주력하여야 한다. 기존의 연구는 주로 단일 사업자가 모든 서비스를 제공하는 포탈 사이트형 비즈니스 모델에 초점이 맞추어져 왔다. 그러나 포탈형에서 허브형 비즈니스 모델로 바뀌고 있는 현재의 e-business 추세를 반영한 연구는 아직 이루어지고 있지 않다. 본 연구에서는 단일 사업자를 위한 것이 아닌 허브 사이트형과 같은 차세대 비즈니스 모델에서 사업자들간에 유기적인 정보의 공유와 제공을 통한 고객관계관리에 대해서 살펴보고, 이를 뒷받침하는 정보시스템을 개발하였다. 시스템의 개발과정에서는 다음과 같은 접근방법을 취하였다. 첫째, 고객정보를 공유해 활용할 수 있는 기반을 마련하기 위해 통합 고객데이터베이스를 구축하였다. 둘째, 통합 고객데이터베이스에 분석방법을 적용해 기본적인 고객분류를 하였다. 셋째, 통합 고객데이터베이스가 각 회원사의 백 오피스 시스템 즉 MIS와 통합되고, 통합된 고객정보와 기본적인 고객성향 분석을 토대로 각 회원사마다 독특한 방식으로 고객에 대한 전략적 세분화를 하도록 하였다.

인터넷은 단순한 정보 교환의 수단이 아니라 기업들의 이윤 창출을 위한 새로운 공간이 되고 있으며 수많은 쇼핑몰들이 이를 설명해 주고 있다. 하지만 분류체계 측면에서 각 쇼핑몰들이 제공하고 있는 분류체계에는 크게 다음 두 가지의 문제점이 있다. 첫째로 각 쇼핑몰마다 서로 다른 자기만의 상품 분류체계를 가지고 있다는 점이다. 이로 인해 쇼핑몰을 이용하고자 하는 사용자는 각 쇼핑몰을 방문할 때마다 혼란스러울 수 밖에 없다. 두 번째는 각 쇼핑몰이 제공하고 있는 분류체계는 정적인 형태만을 띄고 있다는 점이다. 따라서 사용자는 이미 정해져 있는 상품에 대한 분류의 체계만을 좋건 싫건 간에 따라야 한다. 따라서 이러한 문제들을 해결하기 위하여 본 논문에서는 규칙이라는 추가 정보를 가지도록 모델링된 쇼핑몰의 분류체계들에 대하여 자동적인 통합의 기법을 제시한다. 제시된 기법에 의하여 쇼핑몰 사용자들에게 모든 쇼핑몰의 통합된 뷰의 제공, 사용자별 분류체계의 생성, 메타 쇼핑몰 간의 통일된 인터페이스 제공 등을 할 수 있다.

시간에 따라 변화하는 자료들을 저장하는 시간지원 데이터베이스에서 집단 함수는 시간지원 그룹화를 통하여 집단 함수 값이 변하지 않는 시간 구간을 구하고 그 각각의 구간마다 집단 함수의 결과를 생성해야 하는 복잡한 연산이다. 기존의 시간지원 집단 함수 처리 기법들은 집단 함수를 포함하는 질의가 요구되었을 때, 불변 구간을 구하기 위해 트리와 같은 자료구조를 생성하고 이 트리의 노드들을 순회함으로써 집단 함수의 결과를 생성하였다. 이 논문에서는 미리 데이터베이스를 한 번 스캔하여 투플의 시작 시간과 종료 시간들의 정렬된 집합인 시점 시퀀스를 생성하고, 이를 이용하여 시간지원 집단 함수를 처리하는 방법을 제안한다. 또한 데이터베이스에서 저장된 데이터의 삭제나 새로운 데이터의 삽입에 따른 시점 시퀀스의 갱신 방법도 제시한다.

W3C에서 XML 표준안을 발표한 이후 XML에 관련된 많은 연구가 이루어졌으며, 그 중에서 XML 문서를 저장하고 검색하는 시스템에 대한 연구도 많이 이루어졌다. 이들 시스템의 대부분은 XML 문서를 저장하기 위해서 특별하게 설계된 테이블이나 저장 구조를 사용하는 XML 전용 저장 시스템이다. 이러한 시스템의 경우에는 XML 문서를 효율적으로 저장하고 검색할 수 있는 장점이 존재한다. 하지만, XML 문서를 저장하기 위한 데이터베이스를 새로이 구축하는 것이 아니라, 기존에 구축된 데이터베이스를 활용하기 위해서는 XML 전용 저장 시스템은 사용하기가 쉽지 않다. 따라서, 본 논문에서는 기존에 구축된 데이터베이스의 데이터를 그대로 이용하면서 XML 문서로의 변환을 지원하고 또 XML 문서를 기존에 사용하던 테이블에 저장할 수 있는 시스템에 대한 설계와 그 구현방법에 대해 설명하도록 한다.

최근 국대 인터넷 발전과 더불어 검색엔진들의 수요가 많아지고 있어 크고 작은 검색엔진들이 많이 개발되고 있다. 기존의 디지털 라이브러리에 사용되고 있는 정보 검색 엔진인 한글 MG 시스템을 웹 문서 검색에 적용하는데는 어려움이 있었다. 본 논문은 한글 MG 시스템을 기반으로 웹 사이트의 내부 문서 검색이 가능한 소형검색엔진으로 확장하는데 필요한 웹 로봇에 의한 문서 수집, 수집된 문서의 가공, 메타 데이터의 데이터베이스와, 단락 대 문서 사상, 문서 검색을 위한 질의 루틴의 수정과 웹 검색 및 시스템 관리 인터페이스에 대한 방안들을 제안하여 확장 시스템을 설계하고 구현하였다.

XML은 HTML의 단순성과 SGML의 복잡성을 동시에 극복하기 위한 노력으로 시작되어 HTML이나 SGML과는 다른 새로운 세계를 만들어 내고 있으며, 인터넷 문서 표현과 관련된 여러 분야에서 활발하게 연구되고 있다. XML의 특징 중 하나는 문서의 내용과 표현이 분리되어 있어 하나의 문서를 여러 방법으로 표현할 수 있다는 점이다. 그러나 이러한 점은 문서의 외형을 정의하기 위해 스타일시트를 따라 만들어야 하며, 같은 결과물을 얻기 위해 HTML보다 많은 작업량이 필요하게 되는 등의 문제를 야기하게 되었다. 이 논문에서는 이러한 문제를 해결하기 위해 비교적 간단한 스타일시트 언어인 CSS 1을 기반으로 나모 웹 편집기와 같은 WYSIWYG 인터페이스를 제공하여 XML 문서를 편집할 수 있는 XML 문서편집기를 제안한다. 이 논문에서 제안하는 XML 문서편집기를 사용하면 스타일시트에 대해 잘 모르는 초보자라도 쉽게 XML 문서를 편집할 수 있을 것으로 기대된다.

개방형 GIS는 웹 GIS 환경의 상호운용을 제공하기 위해, 웹 매핑 테스트베드를 통한 맵서버와 GML 명세를 정의함으로써 새로운 웹 매핑 기술을 제안하고 있다. 이 환경에서 맵서버는 다양한 데이터 서버들의 지리정보를 XML로 변환하여 클라이언트에게 제공하고, 클라이언트는 전송받은 XML 지리정보를 웹 브라우저를 이용하여 출력한다. 이러한 웹 매핑 테스트베드는 XML 지리정보의 발견, 접근 및 출력 방법은 제공하지만 GIS에서 필수적인 공간연산을 수행하는 방법은 제시하지 않는다. 이 논문은 웹 환경의 다양한 데이터 서버들로부터 중첩되어 전송된 XML 지리정보에 대한 공간연산을 클라이언트에서 수행하는 방법을 제시한다. 이를 위해 W3C에서 XML 문서의 분석을 위해 제시한 DOM을 기반으로, 웹 GIS 환경에서 XML 지리정보의 공간연산을 지원하는 GDOM(Geographic Document Object Mode)을 설계하고 구현한다. 그리고 웹 매핑 테스트베드 환경에서 클라이언트가 GDOM을 이용하여 공간연산을 수행하는 과정 및 결과를 보인다.

XML은 문서의 구조를 독립적으로 작성할 수 있어 문서의 체계적인 구조화가 가능하다. 이러한 이유로 최근, XML 문서를 구조화하여 데이터베이스에 저장, 관리하는 XML 문서 관리 시스템 연구가 활발하다. XML 문서 관리 시스템은 XML의 구조 정보를 효과적으로 표현하기 위해 여러 가지 기법을 사용하고 있다. 그러나, 기존의 방법들은 XML 문서 구성에 따라 저장 스키마가 유동적이거나 문서 정보 검색의 제약을 가지고 있을 뿐만 아니라, DTD의 문서 구조가 순환 관계와 같이 복잡한 형태를 지닐 때, 그 구조를 적절히 반영하지 못하거나, 구조를 반영하더라도 검색 시, 모든 요소를 순차적으로 탐색해야 하는 등의 문제점을 지니고 있다. 따라서 본 연구에서는 XML의 내용이나 구성에 영향받지 않는 저장 스키마를 설계하고 정보검색의 제약을 해결가능한 경로 정보를 제안한다. 또한 순환 관계를 갖는 DTD의 구조 정보를 비 순환 구조 부분과 순환 구조 부분으로 분리, 정의하고 질의처리 시, 입력되는 XML-QL을 SQL로 변환하기 위하여 XML-QL의 패턴을 분류하고 이에 따른 중간 단계의 SQL을 정의하여 질의어 변환기법을 제안한다.

인터넷의 발달로 웹에는 엄청난 데이터가 존재하나, 불규칙적인 구조를 이루고 있는 반구조적 데이터가 대부분이다. 이러한 반구조적 데이터는 데이터들간의 어떤 정확하게 정해진 구조를 갖고 있진 않지만 불완전하고 불규칙한 구조 정보를 포함하고 있는 것으로, 데이터들 간의 관계를 규명할 수 있는 공통 구조 정보를 추출하여 효과적으로 구조화시킴으로써 정보로서의 가치를 높일 필요성이 대두되게 되었다. 또, 데이터 처리 과정에서 기존의 잘 정의된 구조를 가진 데이터베이스의 장점을 수용하기 위해서는 반구조적 데이터 집합의 불완전한 구조 정보로부터 공통 구조를 추출하는 것이 요구된다. 본 연구에서는 후보 항목 집합의 생성이 없는 빈발 패턴 탐사 기법을 사용하여 반구조적 데이터 집합으로부터 공통구조를 추출하고자 한다.

이 논문은 OGC에서 제안하는 3계층 구조의 웹 매핑 테스트베드(Web Mapping Testbed) 환경에서 각 계층간의 통신량과 데이터 변화량으로 인한 속도 저하 문제를 해결하고자 한다. 이를 위해, 다수의 클라이언트가 일정 시간 내에 공통으로 접근하는 지도 영역에 대한 미들웨어 컴포넌트들의 중복된 작업 수를 줄이기 위해 맵 서버 컴포넌트들 간에 공유 캐쉬를 사용하는 구조를 설계 및 구현한다. 이 논문에서 제시하는 미들웨어의 캐쉬 구조는 전체 데이터 세트의 영역을 일정 간격의 그리드 셀로 나누어 관리함으로써 캐쉬 단위의 관리 비용을 줄이고 캐쉬를 효율적으로 사용한다. 또한, 기존의 교체 전략 기법을 접목하여, 다수의 클라이언트의 관심 대상인 영역을 중심으로 캐쉬를 유지하기 위해 접근 빈도수와 최근 사용 시간을 고려한 교체 전략을 사용한다.

웹 환경의 성장으로 현재 GIS 응용은 기존의 랜 환경에서의 서비스를 웹에서도 할 수 있게 함으로써 보다 쉽게 다양한 사용자들이 서비스를 제공받도록 하고 있다. 이런 이유로 웹 환경에서의 GIS 응용은 다양한 사용자 층에 대한 요구를 만족시키기 위하여 다양한 서비스 데이터를 필요로 하고, 이 데이터들은 빠른 시간 내에 지속적으로 사용자의 요구를 만족시키기 위하여 변경되어야 한다. 그러나 이러한 데이터 변경을 서버에서 모두 한다는 것은 불가능하기 때문에 클라이언트가 데이터 변경이 필요할 때 적절히 변경을 할 수 있는 방법이 제시되어야 한다. 랜 환경에서의 공간 데이터 변경과는 달리 웹 환경에서의 공간 데이터 변경은 현재까지 환경의 차이와 이로 인한 프로토콜의 복잡함 등의 이유로 연구가 거의 이루어지지 않았다. 이 논문에서는 웹 환경에서 웹 클라이언트가 서버측의 공간 데이터를 변경하는 문제에 대해서 다루고 있다. 웹 환경에서 공간 데이터를 변경할 때 가장 문제가 되는 HTTP 프로토콜의 연결 해제(Connectioness)와 상태 비유지(Stateless)에 대한 해결책을 제시한다. 그리고 비정상적인 상황의 발생을 고려하여 잠금과 서버 데이터의 불일치를 해결하는 프로토콜을 설계하고 이에 대한 구현을 통하여 검증을 한다.

인터넷 E-Business를 위한 ASP를 이용한 웹사이트 구축이 급속도로 증가하는 추세로 대화형 서비스를 제공하기 위해 데이터베이스인 MS SQL Server의 적용이 많아졌다. 따라서 본 연구에서는 웹사이트 구축시 데이터베이스의 성능개선을 위한 임시테이블의 램 활용기법에 대한 효율적인 모델을 제안하고 성능을 평가하였다. 이와 같은 결과로 웹서버의 성능개선에 임시테이블의 램 활용에 대한 기법이 유익하게 활용될 것이다.

웹 기반 클라이언트-서버 환경을 이용한 XML 개발환경은 기존의 서버 중심적인 개발환경과는 달리 세 가지로 요약된 장점을 갖는다. 첫째는 개발자의 공간적 제약조건을 배제할 수 있다는 점과 둘째는 프로젝트의 일관성을 유지할 수 있다는 점이며, 마지막으로 웹 브라우저를 개발 및 실행환경으로 이용할 수 있다는 점이다. 따라서 본 논문에서는 웹 기반 프로그램 개발환경의 효율성과 가능성을 보여주기 위하여 웹 기반 클라이언트-서버 개념의 XML 개발도구를 설계 및 구현하고자 한다.

인터넷의 빠른 발전과 하드웨어 속도의 향상에 의해 가상현실이 점차 일반 사용자에게도 가깝게 다가서고 있다. 인터넷 가상현실 언어의 표준인 VRML이 XML의 개발과 발전에 의해 차기 버전을 XML의 장점인 용이한 확장성을 수용하는 X3D라 명명하고 표준화를 진행 중이다. 강력한 Java 3D API와 플랫폼 독립적인 바이트코드의 장점을 살려 표준화 단계인 X3D를 별도의 브라우저 없이도 Java 애플릿을 이용하여 재생할 수 있도록 하고자 하며 또한 앞으로 개발될 X3D 저작도구의 결과물을 Java 3D로 변환하여 Java 3D로 변환하여 Java 3D에 의한 3차원 영상 제작을 손쉽게 구현할 수 있도록 한다. 이를 위한 방법으로 X3D를 Java 3D로 변환하는 번역기가 필요하다. 따라서 본 논문에서는 X3D-Java 3D 번역기의 구조를 설계하고 구현 방법을 제시하고자 한다. XML 파서를 이용하여 X3D를 파싱하고 그의 출력인 AST를 순회하면서 Java 3D 파일을 생성한다. X3D DTD와 Java 3D 클래스의 구조 정보를 독립된 자료로 처리하여 계속 변하게 될 두 언어의 변화에 유동적으로 대처하면서 구현 방법의 큰 변화없이 이용할 수 있게 설계하고자 한다.

자바 컴파일러의 예외 처리 메커니즘을 기술한다. 자바 컴파일러 방식의 예외 상황 분석은 프로그래머의 선언에 의존하는 프로시져-내 분석이다. 본 논문에서는 자바 컴파일러 반식의 프로시져-내(intraprocedural) 분석과 선언에 의존하지 않는 프로시져-간(interprocedural) 예외 상황 분석기를 개발하고 실제 자바 프로그램에 적용시켜 봄으로서의 자바 컴파일러의 예외 상황 분석의 문제점을 보인다.

본 논문에서는 지연계산기반 함수형 언어 프로그램을 받아 Java 프로그램을 목적 코드로 생성하는 컴파일러를 설계하고 구현한다. 이 컴파일러는 제한된 형태의 함수형 언어 Shared Term Graph(STG)를 입력언어로 하는 추상기계 Spineless Tagiess G-Machine (STGM)을 수행 모델로 한다. 본 논문에서는 명령형 언어 L-code를 제안하고 이를 입력언어로 하는 새로운 형태의 STGM인 L-Machine을 제안한다. STG 언어를 L-code로 변환하는 컴파일러와 L-code를 Java로 변환하는 컴파일러를 설계하고 구현함으로써 원하는 컴파일러를 구성한다. 그리고 Glasgow Haskell 컴파일러를 전단부로 하여 지연계산 기반 함수형 언어 Haskell로 작성된 프로그램들을 컴파일하여 STG 프로그램으로 변환한 다음 본 논문에서 구현한 컴파일러로 이를 Java 프로그램으로 변환한다. 변환된 Java 프로그램을 Sun JIT 컴파일러로 컴파일하여 수행한 성능 평가 결과를 제시한다.

G-Machine은 수행하는데 있어서 그래프를 표현하기 위해 많은 그래프 공간을 필요로 한다. 이를 줄이기 위한 노력으로 최근 태그 옮김을 이용한 ZGM이 설계되었다. 하지만, ZGM은 태그와 자료의 분리로 인하여 많은 상대 주소를 갖게 되어 실행 시간 부담이나 공간 활용 부담이 된다. 본 논문에서 우회 노드 장소에 자료를 중복 사용하는 방법을 이용하여 G-Machine에서 필요로 하는 그래프 공간을 절약한 poGM(Point Over lapped GM)을 제안한다. poGM은 ZGM과 같이 상대 주소를 사용하지만, 일반적인 노드 나타내는데 ZGM과 달리 자료의 분리가 일어나지 않고, 상대 주소를 줄일 수 있으며, 실험을 통하여 공간 효율과 시간 효율이 높은 것을 보인다.

본 논문에서는 자바 컴파일러에 의해 컴파일된 결과인 클래스파일을 효과적으로 분석할 수 있기 위한 비주얼 분석기의 구현에 대해 기술한다. 이 비주얼 분석기는 클래스파일의 모든 세부사항들을 시각적으로 표현하며 원하는 분석 결과를 저장할 수 있게 되어 프로그램의 이해 및 개발을 도와준다. 이 분석기의 구현에서 JDK1.3을 이용하였으며 화면구성은 JBuilder3.0을 사용한다.

본 논문은 JAVA언어로 프로젝트를 개발하는 경우 중요한 요소인 메뉴 시스템의 자동 생성에 관해 기술한다. 이를 위해 최근 인터넷 상에서 문서교환의 수단으로 사용을 하는 XML의 특성 중 정형(well-formed) 문서의 특성을 이용하여 JAVA에서 지원하는 메뉴 관련 GUI부분을 자동으로 생성한다. 이를 위해 메뉴 관련 자원(Resource)부분을 XML로 처리하기 위해 DTD(Document Type Definition)을 정의하였다. JAVA로 프로젝트를 수행 중에 있어서 빈번히 추가 삭제 가능한 부분을 XML로 처리를 함으로써 쉽게 메뉴 시스템을 변경, 조작할 수 있으므로 프로젝트 개발에 많은 시간을 줄일 수 있다.

인터넷의 비약적인 발달로 인해 복잡해진 지식체계에 따른 다양해진 정보를 손쉽게 구할수 있게 되었으나, HTML(Hyper Text Markup Language)과 같은 정적인 텍스트 위주의 고정된 내용의 웹 페이지 저작으로는 멀티미디어에 대한 점차 증대되는 사용자의 요구를 수용할 수 없게 되었다. 시간에 기반을 둔 멀티미디어 객체를 동기화 하는 효과적이 프레젠테이션을 기술할 수 있는 SMIL(Synchronized Multimedia Integration Language)이 W3C (World Wide Web Consortium)에 의해 제안되었다. 이러한 SMIL은 선언적 마크업(Markup) 언어이므로 텍스트 편집기 등으로 쉽게 저작할 수 있으나, 태그(Tag)기반 언어이므로 태그를 암기하고 사용법을 숙지하여야만 효과적인 멀티미디어 프레젠테이션 제작이 가능하다. 이러한 문제점을 해결하기 위해 본 논문에서는 Java를 기반으로 하여 사용자 편의적인 GUI(Graphical User Interface)에 입각한 멀티미디어 데이터의 통합 및 동기화를 위한 SMIL 전용 저작도구의 구현 및 향후 개발 방향을 제시하였다.

기존의 객체지향, 구조적 방법적인 패러다임에서의 접근은 본질적으로 Goal 중심의 에이전트 시스템의 특성과 성질을 적절히 반영하기 어렵다. 그러므로 패러다임의 이동을 기하여 에이전트 시스템의 분석 관점을 Goal에 맞추고, Goal을 달성하려는 에이전트를 모델링해야 한다. 본 논문에서는 에이전트 기반의 소프트웨어를 효율적으로 분석하기 위하여 문제영역을 Goal의 측면에서 분석하고, Agent 선택 규칙으로 에이전트를 추출하여, 사용자의 요구사항을 달성하기 위한 에이전트들을 모델링하는 방법을 제안한다.

클라이언트 서버 환경에서 발생하는 많은 문제점, 특히 유지 보수의 기하급수적인 증가와 네트웍 트래픽의 증가 그리고 클라이언트와 서버 연동의 비표준화 등으로 인하여 최근 컴퓨터 패러다임은 분산 객체 클라이언트 서버 환경으로 바뀌고 있다. 이러한 분산 객체 시스템에서는 클라이언트와 서버 사이에 미들웨어를 둠으로써 클라이언트 서버 환경에서 발생하는 많은 문제점을 해결하였다. 본 논문에서는 이러한 분산 객체 시스템 하에서 최근 각광받고 있는 에이전트 기술을 이용하여 네트웍 상의 자원을 효율적으로 사용할 수 있도록 자원 공유 모델을 설계하였으며, 실제 구현은 CORBA를 기반으로한 지능형 에이전트를 이용한 원격 컴파일링을 프로토타입으로 구현하였다.

컴포넌트의 재사용은 기존 소프트웨어의 문제점인 소프트웨어의 수요충족, 신뢰성 요구 및 유지보수 용이 등을 해결할 수 있는 방법중의 하나이다. 현재, 컴포넌트를 재사용하기 위한 노력은 기존의 프로그램의 개발, 유통과는 다른 차원에서 다루어질 필요가 있는데 이러한 노력은 컴포넌트 정보의 표준화와 여러 컴포넌트 유통사이트에서 볼 수 있다. 그러나 기존의 정보서비스는 데이터요소의 불일치와 이미 검색된 정보를 다시 찾아야 하는 비효율적인 검색방법을 사용하고 있음은 물론, 각 회사, 단체마다 각기 다른 포맷을 사용해 컴포넌트 정보에 대한 일관성을 제공해주지 못하고 있다. 본 논문에서는 이전에 찾은 컴포넌트 정보를 재사용할 수 있도록 에이전트를 사용해 컴포넌트 정보를 수집하고 이렇게 획득한 정보를 메타정보로 저장하는 동시에 각 사용자에게 필요한 측면별로 정보를 달리 관리하는 컴포넌트 정보의 재사용 방법을 제시한다. 즉, 이용자별로 컴포넌트에 대한 메타정보를 정의하는 동시에 각 이용자가 에이전트를 사용해 획득한 컴포넌트 정보를 효과적으로 활용하는 방법을 통해 효과적인 컴포넌트 정보관리 시스템의 모델을 제시한다.

최근 들어 에이전트에 대한 관심이 부쩍 높아지는 가운데 에이전트의 통신 방법들에 대한 많은 연구가 이루어져 왔다. 하지만 이러한 통신 방법들은 대부분 다중 에이전트 시스템을 위한 방법들이 있었다. 이런 방법을 이동 에이전트에 적용 시키기에는 에이전트 이동, 네트워크 과부하 등 여러 가지 문제점을 가지고 있다. 그래서 본 논문은 이벤트를 기반으로 한 통신방법을 이동 에이전트에 적합하도록 확장시켰다. 확장된 이벤트 통지 방법은 이벤트들이 모든 에이전트에게 에이전트의 위치에 의해 이벤트를 전달하는 기존의 방법과는 달리 각 에이전트가 관심을 가지는 이벤트에 대한 이벤트 통지를 함으로써 특정 이벤트를 원하는 에이전트에게만 전달하고, 에이전트의 이동도 가능하다. 이에 따라 네트워크 부하가 감소되고, 각 에이전트들의 통신 부하도 감소되고, 원하는 자료에 대한 필터링도 가능해 진다.

실세계에서 발생하는 복잡한 문제들을 해결하기 위한 노력으로, 다중 에이전트 시스템)Multi-Agent System) 구축에 대한 관심이 높아지고 있다. 다양한 종류의 분산 인공지능 문제들을 에이전트라는 추상적 단위와 에이전트간의 상호작용을 토대로 해결하는 시스템을 개발하기 위하여, 본 연구에서는 다중 에이전트 지향의 소프트웨어를 개발함에 있어 중요한 요소인 조정(Coordination)을 지원하는 아키텍쳐를 제안한다. 문제영역을 분석하고, 다중 에이전트 시스템의 특성을 파악하여 시스템 요소들의 조정을 지원하는 아키텍쳐 공정을 제안한다. 또한, 이를 지능형 교통정보 시스템에 적용하여 본다.

컴포넌트는 소프트웨어 재사용 기술의 핵심 기술로서, 소프트웨어 개발 시간을 단축시키고 생산성을 향상시킨다. 인터넷의 급속한 보급과 컴포넌트 시장의 확산으로 컴포넌트 사용자들이 인터넷 상에서 검색, 저장, 유통하기 위하여 컴포넌트 명세가 정의되어야 한다. 컴포넌트 명세는 컴포넌트 특성을 명확히 이해하기 위하여 구문적(syntatic), 의미(semantec), 그들 사이의 관계, 사용 문맥, 품질 속성들을 포함한 정보가 기술되어야 한다. 본 논문에서는 컴포넌트를 명세하기 위한 명세 요소들을 살펴보며, 컴포넌트를 표현하기 위한 기술 방법들을 정의한다. 또한, 컴포넌트 메타데이터 및 리소스 정보, 외부 인터페이스들의 논리적 구조 및 시맨틱 표현기법을 연구하고 컴포넌트 명세서 표현을 위한 메타데이타 모델을 근거로 컴포넌트 명세서를 효과적으로 생성할 수 있는 XML 기반 컴포넌트 명세서 확장 모델을 개발하고자 한다.

최근 초고속 통신망의 원활한 관리와 운용을 위해 이질적인 통신망을 연동할 수 있게 하는 일관성있는 통신망 구조와 다양한 기술적 환경이 요구된다. 이런 추세에 따라 차세대 인터넷 네트워킹 서비스를 위한 분산 망 관리와 객체지향 개념 및 기존 통신 개념을 포함하는 TINA 구조를 기반으로한 망 관리 영역을 제시하고, 이들의 다양한 관리 영역별로 특수화된 정보 관리와 네트워크 간의 호환성 있는 정보 엑세스를 위한 인터페이스가 필요하다. 따라서 본 논문에서는 망 관리자들이 통합된 인터네트워킹 상태에서 웹 브라우저의 단일 인터페이스를 통해 네트워크 상태를 확인, 모니터링할 수 있는 실제적인 시스템 개발을 위한 분석과 설계 및 프로토타이핑에 초점을 맞추고 있다. 이를 위해 UML 방법론을 채택하고 이를 지원하는 CASE 도구를 이용해 분석과 설계를 수행하였으며, 망 관리자의 일관성 있는 투명한 관리를 위해서 CORBA와 Java 기반의 분산 객체 기술을 이용해 시스템을 개발하고자 한다.

컴포넌트 기반의 개발과 컴포넌트 개발에 대한 관심이 높아지면서 이를 위하 개발 방법론과 개발 도구들의 도입이 확산되고 있다. 또한 컴포넌트의 재사용 범위를 확장시키기 위해 컴포넌트 개발 시 나타나는 Hot Spot 처리를 위한 분석, 설계 기법에 대한 관심이 높아지고 있다. 따라서 본 논문에서는 이러한 분석, 설계기법을 이용하여 융통적인 계층적 접근 권한에 대한 분석, 설계 모델을 제시한다. 본 논문에서는 다지인 모델링을 위한 표기법으로서 객체지향 모델링 기법인 UML(Unified Modeling Language)를 이용하여 모델링 한다.

소프트웨어 설계 단계에서 기능성(functionality)과 더불어 비기능성 (non-functionality)에 관한 고려가 매우 중요하다. 그럼에도 불구하고 비기능성 고유의 복잡성으로 인해 두가지를 함께 해결하기는 매우 어려운 문제였고, 비기능성을 구현하는데 많은 난점이 있어왔다. 우리는 이러한 문제를 해결하기 위해 기능성의 유지를 보장하는 소프트웨어 수정 방법인 재구성(refactoring)에 착안하였다. 이를 사용하여 기능성과 독립적으로 비기능성을 획득하도록 설계를 수정할 수 있도록 도와주는 체계적인 비기능성 기반 디자인 재고성(Nonfunctionality-driven Design Refactoring)을 제안한다. 또한 우리가 제시한 방법을 간단한 웹 쇼핑몰 시스템 예제에 적용하여 확장성이 증가하도록 디자인 재구성을 하여 본다.

다중 사용자 환경에서 새로운 소프트웨어 개발하기 위해서는 특정 사용자 관점이 아닌 다양한 관점에서의 의견이 최대로 반영된 소프트웨어 아키텍쳐를 설계할 필요가 있다. 그리고 설계 과정에서의 이러한 다양한 관점에서의 의견들을 조정하기 위한 협동 작업을 자동화해 줄 수 있는 메커니즘 또한 필요하다. 이 연구에서는 소프트웨어 아키텍쳐 설계 과정에서 사용자들의 의견을 최대한 반영한 아키텍쳐 설계를 위해 기존의 다중 계층 소프트웨어 아키텍쳐 관리 방법을 사용하고, 이러한 다중 계층 소프트웨어 아키텍쳐의 효율적인 재구성을 위한 자동화 방안으로 에이전트 기법을 도입한다.

B2B, B2C, B2G, C2C로 구체화된 전자 상거래는 관련 국제 컨소시엄이 구축되고 그 유형에 있어서도 경매, 교환, 직구매, 입찰 등으로 다양해지는 등 이미 차세대 기업 비즈니스 모델로서의 위치를 확고히 하고 있고, 나아가 차별화 된 솔루션으로서 점원이 있는 시장, 실시간 인터넷 대금 납부 등의 서비스들이 국내외적으로 많이 모색되고 있는 실정이다. 본 논문에서는 비교쇼핑 에이전트를 지원하는 B2C 솔루션(ISPA:mIn Seon comparison Agent)을 제안하고 있는데, 비교 쇼핑 에이전트 역시 그러한 노력의 일례로서 이는 동종의 상품을 취급하는 여러 몰 간에도 그 제시 가격이 서로 다른 것에 착안하여 최저가격을 제시하는 사이트를 안내하는 기능을 한다. ISPA는 현 업계에서 웹 기반 시스템의 솔루션으로서 각광 받고 있는 EJB를 플랫폼으로 하며, 각 정보소스에 대한 정보 추출 규칙을 활용해서 온라인으로 비교 정보를 제공하는 종래의 인공지능의 접근과는 달리 J2EE 웹 개발 기술을 이용하여 오프라인으로 비교 정보를 구축하는 웹 기반 시스템으로써 에이전트를 지원한다. 나아가 핵심 클래스인 상품 클래스를 메타 데이터의 부분집합으로써 정의하는 기법을 적용하였는데 이는 개체 지향 패러다임의 시스템 구축 시에 전략적으로 응용될 수 있다.

최근 시스템의 컴포넌트화 경향은 인터넷 환경이 보편화되면서 플러그앤플레이(plug and play) 형태로 조립하여 재사용하려는 기업의 요구에 가장 핵심적인 패러다임으로 등장하고 있다. 따라서, 기업은 기존의 레거시 시스템을 컴포넌트화하여 유지보수뿐만 아니라 새로운 시스템 도입에 있어서도 유연성 및 확장성을 용이하게하기 위한 재공학 솔루션을 필요로 하고 있다. 따라서, 본 논문에서는 레거시 시스템을 소프트웨어 컴포넌트화하기 위한 재공학 프레임워크를 제안하였다. 이 프레임워크는 컴포넌트 개발 방법론에서 필요한 절차와 Robert C. Seacord와 John Robert가 제안한 레거시 시스템 현대화 방법론을 통합하여 제시하였으며, 프레임워크의 각 단계는 레거시 시스템의 분석 단계, 컴포넌트화 방법 결정 단계, 마지막으로 컴포넌트로의 변환 단계로 이루어져 있다. 각 단계에서는 다시 세부 절차와 이에 필요한 제반사항을 기술하여 레거시 시스템을 소프트웨어 컴포넌트화하는데 있어서 필요한 절차와 가이드라인을 상세하게 제공하고자 한다.

인터넷의 급속한 발전으로 인터넷 경매와 같은 e-business가 활발해 지면서 사용자의 요구사항도 빠르게 변하고 있다. 급변하는 사용자들의 요구사항을 반영하고 소프트웨어의 경제성, 시장 경쟁력 확보를 위한 방법은 산업계 및 학계에서 많이 거론되고 있다. 최근 EJB(Enterprise JavaBeans) 기반의 컴포넌트 개발은 재사용성을 확보할 수 있는 가장 주목 받는 방안으로 제시되고 있다. 기존의 객체지향에 의한 소프트웨어 개발 방법은 이미 재사용성, 유지보수성, 무결정, 안정성 등의 많은 장점으로 인해 학계와 산업계에서 이미 많이 보편화 되어 있고 널리 이용되어지고 있다. 하지만, EJB에 기반하여 컴포넌트 어플리케이션을 개발하는데 있어서는 그 적용 사례가 드물고 그 활요성 또한 검증된 바가 거의 없다. 따서 본 논문에서는 인터넷 경매시스템에 EJB를 적용해 봄으로써 시스템 개발시의 그 실무적인 유용성을 검증해 본다.

현재 기업들은 거의 모든 부분이 전산화 작업으로 이루어지고 있으며, 기업의 중요한 업무는 모두 방대한 시스템이 사람을 대신해서 처리해 주고 있는 실정이다. 하지만 시스템 유지보수의 체계적인 프로세스에 대해서는 현재 연구된 바가 없어 쉽게 적용할 수 없는 문제가 존재한다. 재공학은 재사용하려는 소프트웨어를 분석, 재정의, 재문서화 등의 소프트웨어 역공학 방법을 통하여 좀더 효율적으로 소프트웨어를 분석할 수 있고, 순공학을 통해 문제점들의 교환과 새로운 구조와 시스템의 수정을 통해 더욱 경제적인 시스템을 만들 수 있다. 객체지향 어플리케이션의 Refactoring에서는 대표적으로 클래스간의 공통성을 추출하고, 이를 일반화시켜 추상클래스를 생성 및 삭제, 이동하는 과정을 통해 소프트웨어의 구조를 변경시켜 시스템의 성능향상을 도모하게 된다. 본 논문에서는 시스템의 재사용을 위한 실증적인 객체지향 Refactoring 기법을 제시한다.

실시간 시스템은 그 특성상 시스템 내에서의 오류가 매우 위험하고 때론 치명적일 수 있다. 따라서, 시스템의 정확성과 안전성을 보장하는 것은 매우 중요한 문제가 된다. 이러한 문제를 해결하기 위해 정형기법을 사용한 명세와 검증을 통해 실시간 시스템의 안전성을 보장하려는 시도들이 많이 이루어져 왔다. 이 논문에서는 월성 원자로 운전 중지 시스템의 기존 명세의 문제점을 보완하여, 실시간 요구사항들을 타임드 오토마타(timed automata)로 기술할 것을 제안한다. 또한 명세를 실시간 모델 체커 UPPAAL의 입력으로 넣어서, 모델 체킹 기법을 이용해 자동적으로 시간 제약 속성을 검증한다.

컴포넌트 소프트웨어 기술은 재사용성, 적시성, 유지 보수성 등이 업체의 경쟁력으로 대두되고 있는 정보기술 업계에서 점차 각광을 받고 있다. 현재 다양한 컴포넌트 생성 지원 도구들이 제공되고 있지만 컴포넌트의 식별, 모델링, 코드 생성, 배치 등 전 개발 단계를 밀접히 연계하여 지원하는 도구가 드물다. 이 논문에서는 컴포넌트 생성에 연관된 모든 과정을 지원하는 컴포넌트 모델링 및 생성 지원도구의 설계를 제안한다. 컴포넌트 모델링은 영역 특성을 고려한 시스템 분할 관점에서 컴포넌트 플랫폼 아키텍쳐에 관계없이 논리적(logical) 컴포넌트의 식별 및 모델링을 지원한다. 코트 생성 부분은 플랫폼 아키텍쳐에 의존적이어야 하므로 이 논문에서는 우선적으로 EJB 컴포넌트의 코드 생성을 지원한다.

컴포넌트 기반 개발은 재사용성의 극대화로 개발시간의 단축과 비용 감소 등의 장점을 제공하고 있다. 특히, 기업의 빈번한 요구사항의 변경과 빠르게 진행되는 비즈니스 영역에 대해서 유연하게 대처하기 위해 많이 적용되고 있다. 본 논문에서는 현재 교육에 새로운 파라다임으로 주목받고 있는 자택수업 도메인에서 학부모와 관리하는 교사간의 정형화된 예약이 가능한 시스템에 컴포넌트 기반 개발을 적용해 보았다. 웹 상에서 학부모에게 교육적인 지원과 학생의 학습과정을 체크하기 위해 일정한 스케줄에 따라 교사의 스케줄을 확인하고 가능한 시간대에 협의할 수 있도록 도와준다. 이러한, 개발은 자택 교육뿐만 아니라, 이와 유사한 예약 시스템의 개발에 사용가능하며, 개발에 대한 부담을 줄일 수 있다. 또한, 웹을 기반으로 하는 구현에도 폭넓게 재사용될 수 있으며, 구현에 대한 가이드라인으로 제시될 수 있다.

소프트웨어 재사용은 이전의 개발 경험을 새로운 소프트웨어 개발 과정에서 재적용 하는 것으로, 소프트웨어 개발 환경 및 관리 과정에서 생산성 향상에 기여할 수 있다. 본 논문에서는 객체지향 언어로 개발된 프로그램에서, 하나의 클래스에 있는 여러 메소드들 안에 중복된 코드가 있는 경우 이러한 중복된 코드의 검출을 통해 재사용의 근거로 제시하고자 한다. 그 방법으로 McCabe의 유사도 분석 기법을 이용하였고, 그 과정에서 나타난 문제점을 해결하고자, 새로운 검색 요소로 구성된 최적의 유사도 분석 기법을 제안하였다. 그리고 분석 결과를 재사용하기 위한 문서와 작업의 기준도 마련하였다. 기준에 맞게 작성된 문서들은 코드 수준의 재사용 가능 라이브러리로 저장하여 다음 개발에 직접 적용한다면, 비용 및 시간을 절약하는 효과를 기대할 수 있다.

최근 인터넷은 사용자에게 각광을 받고 있다. 이유는 인터넷이 되는 곳이면 어디서든 웹 브라우저만 있으면 다른 프로그램 없이도 접근이 가능하고 모든 서비스를 제공받을 수 있다. 기존의 어플리케이션(C/S 어플리케이션)은 서버와 클라이언트를 따로 설치해야만 하는 번거로움이 있었다. 또한 프로그램의 변경 시 서버나 클라이언트 어플리케이션의 재 설치가 필수적이다.[1] 따라서 최근 업계에서는 인터넷을 통한 서비스를 위해 많은 컨텐츠 개발이 이루어지고 있다. 이런 흐름은 기업의 그룹웨어나 어플리케이션 등을 인터넷을 통해 서비스하도록 만들고 있으며, 기존의 어플리케이션과는 관계없이, 즉 거의 모든 것을 재사용하지 못하고 처음부터 다시 개발하고 있는 실정이며, 사내에서는 기존 어플리케이션을 그대로 사용하면서 하나의 웹 서버를 이용하여 외부의 클라이언트에게 서비스를 해 주고 있는 실정이다. 본 논문에서는 기존의 어플리케이션 산출물, 즉 분석, 설계 문서들을 가지고 웹 마이그래이션 시 재사용할 수 있는 범위와 산출물을 추출하고 소프트웨어의 아키텍쳐를 재정의하고, 웹 마이그래이션을 위한 설계 모델에서의 재사용할 수 있는 프로세스를 제시하고 각 프로세스에 대한 활동과 지침을 정의한다. 또한, 사례 연구를 통해 적용해 본다.

소프트웨어 시스템에 대한 요구사항이 증가하고 그 규모가 점차 거대.복잡해짐에 따라 시스템을 개발하기 위한 절차, 방법 등이 무수히 생겨나게 되었다. ISO/IEC 12207 소프트웨어 생명주기 공정 표준은, 존재하고 있는 소프트웨어 개발 및 유지보수에 대한 절차 및 방법에 대한 일반적인 지침을 제시하고, 이전의 프로세스 공정 표준들이 적용될 수 없는 새로운 개발 패러다임을 지원하기 위해 제정되었다. 이 표준은 표준 자체의 특성의 하나인 보편성을 유지하기 위해, 특정 프로세스 모델에 치우치지 않는 기반 표준(Base Standard)의 성격을 갖는다. 결국 기반표준은, 어떠한 프로젝트에서 어떠한 프로세스 모델을 사용하건, 임의의 방법론을 사용하든 모든 경우에 적용될 수 있어야 한다. 최근, 질적인 성장 뿐 아니라 양적으로도 풍부한 성장을 거둔 객체지향 개발 환경에서는 전통적인 개발 환경에서와 많은 차이점을 보이며, 새로운 개발 프로세스들을 제안하고 있다. 본 논문에서는 객체지향 개발 프로세스 중 현재 가장 대중적으로 사용되고 있는 Rational사의 Unified Process를 선택하여 ISO/IEC 12207 표준의 적용성을 고찰해보고, 표준의 발전, 개선방향에 대해 모색해 보겠다.

인터넷을 기반으로 한 디지털 정보의 생성과 운영의 중요성이 더욱 강조되어 가고 있는 현재, 네트워크 상에서 효과적인 인터넷 서비스로 기업의 모든 운영과 관리가 인트라넷 및 인터넷 환경에서의 프로세싱으로 전개되어 빠르고 정확한 정보와 서비스를 지원한다. 컴포넌트기반의 시스템은 분산 컴포넌트(Distributed Component : DC)로 이루어져 있으며, 이는 네트워크 접근 가능한 인터페이스를 제공하는 가장 작은 단위의 컴포넌트로, 사용자(User), 워크스페이스(Workspace), 엔터프라이즈(Enterprise), 그리고 리소스(Resource) 계층으로 나뉘어 진다. 분산 컴포넌트 명세 개발 프로세서를 통한 4계층으로의 분석으로 비즈니스 컴포넌트(Business Component : BC)를 구축하고 재사용 가능하며 비용 절감 및 새로운 비즈니스 컴포넌트들로의 접근을 용이하게 할 뿐만 아니라 인터넷 기반의 비즈니스 서비스를 폭넓게 확장시킬수 있도록 한다.

소프트웨어 제품의 품질을 보증하는 일은 매우 중요하며, 국제 표준인 ISO/IEC9126은 소프트웨어 품질 특성 및 측적 메트릭 표준을 제공하고 있다. 이때 ISO/IEC 9126에서는 소프트웨어를 프로그램, 절차, 규칙 및 관련문서로 한정하고 있기 때문에 데이터의 품질에는 적용할 수 없다. 본 논문에서는 데이터 품질 평가 및 제어를 위하여 오류 데이터 형태를 분류하고, 이를 기반으로 데이터 품질 특성을 추출한다. 추출된 데이터 품질 특성을 측정하기 위해, 오류 데이터를 품질 속성으로 하는 데이터 품질 특성을 추출한다. 본 논문에서 제시하는 데이터 품질 메트릭은 지식 공학(knowledge engineering) 시스템이 최종 사용자에게 제공하는 데이터나 지식의 품질 측정 및 제어에 기준이 된다.

XML(eXensible Markup Language)은 차세대 인터넷 기술의 대표적인 기술 요소로서 현재 놀라운 속도로 발전하고 있으며 다양한 인터넷 응용분야에서 적용하고 있다. 이런 추세는 XML 어플리케이션을 복잡화, 대형화시키고 있으며 이로 인하여 XML 어프리케이션 개발과 유지 보수가 점점 어려워지고 있다. 이러한 문제점을 해결키 위해 객체지향 개발 방법론애 적용되어온 디자인 패턴(Design Patterns) 개념을 XML 개발 관련 분야에 적용시키는 연구가 이루어지고 있다. 본 논문에서는 XML 디자인 패턴 중 DTD(Document Type Definition) 모델링 시 발생하는 모호성(Ambiguity) 문제를 해결키 위한 패턴과 DOM을 효율적으로 처리하기 위한 문서 구조 트리 운행 및 접근 패턴을 제안한다. 이 패턴들을 활용한다면 DTD 설계 및 DOM(Document Object Model)을 처리하는 단계에서 재사용이 가능해져 개발된 기술들을 공유 가능하며 시스템 디자인 시에 발생 가능한 문제점들을 사전에 해결할 수 있다.

ATA(Abstract Timed Machine)은 실시간 시스템을 순환공학에서 명세하기 위해 고안된 LTS(Labeled Transition System)이다. ATM은 상태 기반 명세 언어의 문제점이라 할 수 있는 상태폭발을 해결하기 위해 새로운 개념의 모드를 정의하였으며, 아키텍쳐 기반으로구성되어 시스템이 이해를 높일 수 있도록 하였다. 또한 통신, 시간, 예외시간 등의 다양한 실시간 시스템의 속성을 표현한다. 그러나 실시간 시스템은 이 외에도 자원의 한계와 통신 수행의 경쟁 등으로 인해 많은 계약을 가진다. PATM(Probabilistic ATM)은 자원의 사용이나 통신의 수행에 많은 경쟁을 하는 시스템의 동작의 성공과 실패를 확률로써 표현하여 시스템의 동작을 예측하며 내고장성(fault tolerance)을 동적으로 수행할 수 있도록 하기 위해 ATM을 확률의 개념으로 확장한 것이다. 본 논문에서 내고장성은 환경 요소를 파라미터로 하는 확률 함수에 의해 이루어 진다. 본 논문에서는 기존 ATM을 간단히 소개하고, PATM이 필요한 이유와 PATM의 정의, PATM이 동적인 상황에서 어떻게 작용하는지에 대해 기술한다.

절차지향 프로그램으로부터 객체지향 프로그램으로 제공학 과정은 여러 단계를 거친다. 재공학은 객체 추충, 클래스 추출, 상속성 추출, 지속성 추출, 코드생성, 테스트등의 과정을 거친다. 변환 과정을 정당화하기 위해 테스트 단계에서 두 프로그램의 의미적 동일성이 검증되어야 한다. 이러한 검증과정이 없이는 변환이 무의미하다. 본 논문에서는 두 프로그램의 의미적 동일성의 의미와 검증에 대한 방법론을 제안한다.

인터넷의 빠른 성장에 힘입어 웹 환경이 급속하게 성장하고 있다. 웹 환경은 TCP/IP 와 HTTP 프로토콜을 이용한 분산 시스템 환경이고 클라이언트 서버 환경이다. 따라서 웹 환경에서 작동하는 웹 애플리케이션은 기존의 애플리케이션과는 다른 특징을 가진다. 현재 웹 애플리케이션의 개발이 많이 이루어지고 있다. 이에 웹 애플리케이션을 설계하고 개발하며 유지 보수하는 작업이 매우 중요해지고 있다. 그러나 최근의 웹 애플리케이션의 개발을 다양한 기술의 등장으로 인해 설계 및 유지 보수에 대한 충분한 고려 없이 빨리 개발되어 왔다. 이에 따라 웹 애플리케이션의 유지 보수가 어려워지게 되었다. 본 논문에서는 웹 애플리케이션을 정의하고 이의 복잡도 척도를 제안한다.

소프트웨어를 개발하는 방법으로 기존의 구조적 방법론에서 객체지향 방법론으로 발전하였고 최근 들어 소프트웨어 재사용의 핵심 기술로 인식되고 있는 것이 컴포넌트 소프트웨어기반 개발 방법론이다. 본 논문에서는 컴포넌트 소프트웨어, 컴포넌트 기반개발의 이점, 컴포넌트의 요건과 자바 컴포넌트(자바 클래스 또는 자바 컴포넌트)들 간의 기능, 속성, 연결 등을 동적으로 상호 작용(Interaction)할 수 있는 환경(Environment)을 제안하려 한다. 이오 같은 환경은 이미 만들어진 자바컴포넌트의 컴포넌트를 재사용 및 조립 전에 아키텍쳐의 모델링 도구로서 행위분석(Behavioral analysis)과 인터페이스의 기반설계(Interface Based Design)의 기반을 제공하고 자바 컴포넌트의 인터페이스와 기능을 이해하고 결합형태를 미리 짐작할 수 있는 환경을 제공함으로써 소프트웨어 개발에 소요되는 개발비용을 최소화하고 사용자의 요구를 충족시킬 수 있는 장점을 지니고 있다.

멜티미디어 표준인 MPEG-2 TS 형태의 테스트 데이터를 자동 생성하는 도구인 TDGT(Test Data Generation Tool)를 설계하고 구현하였다. TDGT는 테스터로부터 기본적인 입력사항을 받아들이고 이를 기반으로 테스트 데이터를 자동 생성한 후 결과물로 테스트 데이터 스크립트 파일과 테스트 데이터 시나리오 파일, 테스트 데이터 커버리지 분석 결과를 테스터에게 제공한다. TDGT는 복잡하고 방대한 테스트 데이터를 생성하는데 요구되는 노력, 시간을 상당히 줄여주며 전문적인 지식이 없는 이도 쉽게 테스트 데이터를 생성할 수 있게 한다. 본 논문은 TDGT가 테스트 데이터를 자동 생성하는 구조와 TDGT의 분석을 제시하였으며 이 시스템의 prototype을 기술한다.

시뮬레이션을 구현할 때 대부분의 경우 eventlist 라는 자료구조를 사용하여 사건(event)를 처리하고 시간을 스케쥴링(scheduling)한다. 그러나 eventlist를 사용하는 것은 객체 스스로가 사건을 처리하고 시간 스케쥴링을 하지 않는다는 점에서 객체지향적이지는 못하다. 그래서 본 논문에서는 객체 스스로가 상태를 가지며 사건을 처리하고 시간을 스케쥴링하는 전차대 전차, 전차대 헬기 교전을 위한 시뮬레이션을 설계 및 구현하였다. 설계는 상태변화를 쉽게 하고 시간 전진 문제를 쉽게 처리할 수 있는 Fa$\square$ade Pattern방법을 사용하였으며, 시간전진 방법은 상태변화에는 논리시간(logical time)을 이용한 이산사건(discrete event) 전진방법을 사용하였고 Graphic Visualization에는 실시간(real time)을 이용한 이산(discrete) 전진방법을 사용하여 논리시간과 실시간을 병렬로 동기화시켜 처리하였다. 구현은 Visual C++의 MFC 라이브러리를 사용한 MDI구조로 구현하였다. 논문의 시뮬레이션은 교전모델을 응용하였고 객체지향(Objected-Oriented)으로 설계 및 구현되어 각 객체의 재사용과 확장 및 수정이 용이하다는 장점을 가진다.

객체지향 CHILL과 같은 병렬 객체지향 프로그램은 객체지향 개념과 함께, 효율적인 통신을 위해 병렬 프로그램의 다양한 동기화 통신 방법을 지원한다. 병렬 객체지향 시험에서는 이 특성을 모두 고려해야 한다. 본 논문에서는 병렬 객체지향 시험을 위해서 객체지향 CHILL 프로그램에 대한 시험 모델을 생성하는 방법을 제안한다. 먼저 UML의 상태 다이어그램과 시퀀스 다이어그램을 바탕으로 하여 시험 모델에서 객체지향 개념을 표현하고, Region 모드, Event, Buffer, Signal과 같은 객체지향 CHILL의 동기화 통신방법을 표현할 수 있도록 UML 표현을 확장하며, 각각의 동기화 통신방법에 대한 시험모델을 생성 방법을 제안한다. 생성된 시험모델은 UML을 바탕으로 하기 때문에, 기존의 UML 기반시험 기법을 적용하기가 용이하다.

다양한 실행 경로가 존재하는 실시간 시스템을 이해하기 위해 시스템의 정적 정보와 함께 동정 정보가 사용자에게 적절히 제공되어야 한다. 본 논문은 정적 정보와 동적 정보를 표현하기 위해 SRL(System Representation Language)을 사용한다. 정적 정보는 SRL 노드를 분석해서 얻고 동적 정보는 SRL을 실행함으로 얻는다. SRL의 가상 실행은 시스템 독립적인 자바 가상 기계를 통해 이루어진다. 가상 실행은 순방향뿐만 아니라 역방향으로도 이루어진다. SRL 실행 라이브러리는 순.역방향 실행을 위해 SRL 각 구문의 의미 규칙에 맞게 정의하며 자바 가상 기계를 통해 실행되는 클래스 파일로 컴파일된다. 메모리에 로딩된 SRL은 SRL 실행 라이브러리를 동적으로 호출하여 가상 실행을 이룬다. 동적 실행을 통해 추출된 동적 정보는 SRL에 포함된다.

절차지향 소프트웨어를 객체지향 소프트웨어로의 재공학은 소프트웨어 유지.보수 비용의 절감과 기존의 시스템에 새로운 요구사항을 수용하는 등 많은 장점이 있다. 본 논문은 절차지향 소프트웨어를 재공학하는 과정에서 안전한 지속성(Safe Persistency) 결정문제, 즉 객체의 생성과 생성 주기의 결정 방법을 제안하였다. 본 논문에서는 지속성 결정을 위해 다섯 단계의 모델링 과정을 제시하였으며 모델링 과정을 통해 객체의 정확한 생성과 소멸 시점을 추출하였고 정제 과정을 거침으로써 메시지 전달과 생성/소멸 과정에서 안정성과 일관성을 유지할 수 있도록 하였다.

이 논문에서는 산업계의 표준으로 널리 사용되고 있는 객체 지향 시스템의 명세 언어인 UML의 sequence diagram을 이용하여 객체 지향 시스템을 검증하는 방법과 이 방법을 테스팅 오라클을 생성하는데 사용할 수 있는 프레임웍을 제시하였다. 우리는 sequence diagram을 테스팅 결과의 검증에 사용하기 위하여 정형적으로 재정의 하였다. 그리고 시제 논리의 강력한 검증 능력을 사용하기 위해서 Half-Order Dynamic Temporal Logic(HDTL)이라 불리는 새로운 시제 논리를 정의하였고 sequence diagram을 HDTL 논리식으로 변화시키는 의미 함수(semantic function)를 정의하였다. HDTL에서 오토마톤을 생성하기 위해서 Tableau 방법을 변형하여 적용시켰다. 이 결과 생성된 오토마톤은 이상 상태(anomaly), 즉 sequence diagram에 표현되지 않은 사건(evevt)의 발생을 검색하는 오라클로 사용할 수 있다. 테스팅의 결과를 수작업으로 검증하는 것은 매우 어렵고 오류가 발생하기 쉬운 작업이므로 제안한 방법은 유용하게 사용될 수 있다.

객체지향 프레임워크는 다수의 응용 소프트웨어 개발에 반복적으로 재사용되므로 철저한 시험이 요구될 뿐만 아니라 재사용시 확장된 프레임워크에 대해서도 추가적인 시험이 필요하다. 본 논문에서는 재사용시 다양한 형태의 객체 구조들로 개조, 확장될 수 있는 프레임워크의 가변부위에 대해 구조적 테스트 패턴들을 프레임워크의 합성 패턴들로부터 조직적으로 추출하는 방법을 기술한다. 여기서 제안된 방법은 가변부위 클래스 구조의 테스트 모델을 정형 명세화하고, 이로부터 시험에 필요한 구조적 테스트 패턴을 추출하는 방법을 제공한다.

최근 들어 소프트웨어의 점점 복잡화, 대형화가 되고 있는 추세에 의해서 컴포넌트의 중요성이 부각되면서, 컴포넌트를 이용한 시스템의 모델링(Modeling) 기법들이 등장하고 있다. 그리고, 이런 모델링 기법들을 적용한 응용 분야가 점차 확대되어 가고 있는 가운데, 효과적으로 시스템 모델링을 할 수 있도록 하고자 기존의 복잡한 다 계층의 모델링 표현 방식의 구조를 탈피한 3계층 표현 방식의 아키텍처를 가진 모델링 기법을 제안한다. 그리고, 하나의 작은 예제를 통해서, 실제 적용되는 과정을 보면서, 기존의 방법과의 차이점에 대해서 관찰 및 분석, 그리고, 추후 적용의 기대효과에 대해서 알아본다.

소프트웨어의 경제성, 시장 경쟁력 확보를 위한 소프트웨어의 재사용은 소프트웨어 공학의 주요 이슈가 되고 있다. 그 중 컴포넌트와 컴포넌트 기반의 소프트웨어 개발은 재사용성을 확보할 수 있는 가장 주목받는 방안으로 제시되고 있으며 많은 기법이나 지침들이 제안되고 있다. 기존의 캡슐화와 정보은폐를 핵심 개념으로 하는 OOD(Object Oriented Development)에 의한 소프트웨어 개발방법은 이미 재사용성, 유지보수성, 무결성, 안정성 등의 많은 장점으로 인해 학계와 산업계에서 이미 많이 보편화되어 있고 널리 이용되어 지고 있다. 하지만 CBD(Component Based Development)와 EJB(Enterprise Java Beans)에 기반하여 컴포넌트 어플리케이션을 개발하는데 있어서는 그 적용사례가 드물고 활요성 또한 검증된 바가 거의 없다. 따라서 본 논문에서는 대형 분산 시스템이라 할 수 있는 뱅킹 시스템에 CBD, EJB, UML(Unified Modeling Language)을 적용해 봄으로써 소프트웨어 개발시의 그 실무적인 유용성을 검증해 본다.

다른 여느 분야의 소프트웨어 개발 분야보다도 형상관리의 필요성의 나타나는 분야로 위성탑재 소프트웨어 분야를 꼽을 수 있는데 이는 위성소프트웨어의 기본적인 특성에 기인한다고 볼 수 있다. 위성 탑재 소프트웨어는 여느 소프트웨어보다도 그 신뢰성을 중시하고 있으며 이러한 신뢰성은 개발 과정상의 잘 정의되어진 형상관리에 있다. 본 논문에서는 아리랑 위성 탑재 소프트웨어 개발에 과정에서의 형상관리 방법 및 절차를 기술하였으며 이러한 형상관리하에 아리랑 위성 탑재 소프트웨어는 개발되고 위성에 탑재되어 그 임무를 훌륭히 수행하고 있다. 이 논문을 통해서 고도의 신뢰성을 요구하는 소프트웨어 개발에 있어서의 형상관리 방법에 도움이 되고자 한다.

객체지향 방법론은 캡슐화(encapsulation), 상속(inherit), 다형성(polymorphism)과 같은 개념을 이용하기 때문에 기존의 절차적 방법론과는 다른 척도가 필요하다. 본 논문에서 제안하는 척도는 객체지향 시스템의 개발 절차 가운데 분석 단계에서 추출할 수 있는 정보만을 사용하여, 클래스가 객체지향 개념에 따라 잘 구성되었는지를 측량하게 된다. 이를 위하여 본 논문에서는 클래스의 품질을 측량하기 위한 척도로 협력의 복잡도와 인터페이스 복잡도를 제안한다. 협력의 복잡도는 클래스가 잠재적으로 얼마나 복잡할 수 있는지를 측량하기 위한 것으로서 클래스가 가지는 책임의 개수를 조사하여 정의된다. 인터페이스 복잡도는 클래스와 협력 관계에 있는 다른 클래스들의 인터페이스를 조사하여 정의된다. 제안된 척도는 기존의 척도들이 가지고 있는 문제점을 해결하기 위하여 이해하기 쉬운 수학적 명세를 용하였으며, 제안된 척도에 대한 수학적 증명과 사례 연구를 통한 검증을 하였다.

PC 보급 증대와 웹을 통한 네트워크의 발달은 많은 기업 비즈니스를 자동화시키고 있다. 본 논문에서는 SFA(Sales Force Automation)라는 기업 시스템 모델을 통해 기존 C/S 환경이 가졌던 여러 가지 단점들을 보완한 인터넷 환경의 컴포넌트화 된 새로운 SFA 시스템 구축 방법을 소개한다. 기존 C/S 환경은 Off-Line 방식의 업무처리, 각 지점의 PC 서버에 SFA 시스템의 인스톨로 인해 일부 프로그램상의 변경에도 모든 지점의 시스템을 유지 보수해야 하는 비효율.고비용의 시스템을 사용해왔다. 따라서 본 논문에서 제안하는 새로운 SFA 시스템은 EJB(Enterprise Java Beans)라는 표준 컴포넌트 구조를 이용해 SFA 시스템을 구축한 것으로써 전국에 있는 각 지점들이 인터넷을 통해 접근 가능한 메인 서버 중심의 SFA 시스템이다. 이로 인한 장점으로는 메인 서버의 SFA 시스템의 인스톨만으로 전국 각 지점의 터미널과 서비스가 가능하고 On-Line 상의 실시간 업무처리가 가능하다는 것이다.

컴포넌트 기반 개발 방법이 보급됨에 따라 개발자들은 사용 가능한 컴포넌트들로부터 필요한 컴포넌트를 선별하는데 많은 노력과 시간을 투자한다. 컴포넌트 집합을 보다 효율적으로 관리하기 위해서는 영역별로 분류하는 작업과 컴포넌트를 등록, 관리, 검색하는 작업이 필요하다. 본 논문에서는 영역별 분류를 기반으로 EJB 컴포넌트를 명세하며, 이를 등록, 검색, 관리할 수 있는 컴포넌트 관리 시스템을 구현하였다. 컴포넌트 명세는 현재 구현되어진 EJB 컴포넌트를 수용할 수 있도록 UML 기반의 명세방식으로 사용자가 필요로 하는 정보를 제공할 수 있도록 정의하였다.

J2EE(JavaTM 2 Platform, Enterprise Edition)의 클라이언트 애플리케이션, 웹 컴포넌트, Enterprise JavaBeans 컴포넌트와 같은 앤터프라이즈 애플리케이션은 개발된 후 컨테이너에 배치되어 실행된다. 이러한 앤터프라이즈 애플리케이션(enterprise application)은 다양한 EIS(Enterprise Information System)에 접근하여 관련된 기능과 데이터를 사용할 필요가 있다. J2EE 커넥터 아키텍처(Connector Architecture)는 J2EE 플랫폼을 다양한 EIS와 연결하기 위한 표준을 정의하는 API 이며, 각 EIS 벤더는 이러한 커넥터 아키텍처의 설계서를 따르는 EISF의 시스템 레벨 소프트웨어 드라이버인 표준 리소스 어댑터(Resource Adaptor)를 제공한다. 커넥터 아키텍처를 구현한 리소스 어댑터를 사용함으로써 특정 벤더의 J2EE 플랫폼에 종속되지 않도록 EIS를 통합할 수 있다. 본 논문에서는 이러한 J2EE 커넥터 아키텍처를 구현한 리소스 어댑터를 애플리케이션 서버를 배치하기 위하여 배치기가 수행해야 하는 배치 단계를 크게 네 단계로 구분하고, 배치구성 활동을 다섯 가지로 분류 및 정의한다,

소프트웨어의 대형화, 복잡화에 따라 아키텍처의 중요성이 더욱 강조되고 있다. 또한, 복잡한 사용자의 요구사항을 소프트웨어에 혹은 아키텍처에 잘 반영시킬 수 있는 방안이 연구되어지고 있다. 이 논문에서는 주요한 소프트웨어 아키텍처 분석, 검증 방법들 중의 하나인 ATAM을 지원하는 도구로서 WSMS를 제안하고 있다. WSMS는 웹 기반의 시나리오 관리도구로서, ATAM에서 아키텍처의 다양한 면을 기술하는 시나리오의 효율적인 관리를 위해 시나리오의 추출, 분류, 우선순위 결정, 변경관리 등의 기능을 수행한다.

소프트웨어 프로젝트의 비용의 대부분이 구현(implementation) 단계나 테스트 단계에서의 에러 수정에 소모되고 있으며, 이러한 에러들의 대부분은 프로젝트 개발 초기 단계에서의 부정확(imprecision)에 기안한 것이다. 정형 명세 기법은 명세 단계에서 기인하는 에러들을 줄이기 위해 Z나 VDM과 같은 정형 표기법에 의해 쓰여진다. 그러나, Z 표기법의 병행성 표현 능력의 부족으로 병행성을 요구하는 시스템의 명세에서 사용할 수 없거나, Process Algebra의 CSP(Communicating Sequence Processes)등과 같은 다른 정형 언어와 함께 명세해야 하는 단점이 있다. 본 연구에서는 Z와 같은 범용 목적의 명세 언어가 병행성(concurrency)을 표현할 수 있도록 하기 위해서, 병행 프로세서(concurrent process) 개념을 도입하며, 이를 나타내는 표기를 정의하고 사용한다. 또한, 병행성의 제어를 위해서 프로시듀어 기술부(procedure description)의 도입 및 관련 스키마(schema)들을 정의한다.

최근 대부분의 시스템은 즉각적인 정보를 요구하는 실시간 시스템이다. 실시간 시스템은 오류에 대한 유연적인 대체를 필요로 하는 내고장성 시스템(fault tolerant system)의 개념을 지향한다. 내고장성 시스템은 보다 정확한 시스템 설계가 중요하며, 특히 실시간 시스템에서 필요로 하는 여러 종류의 시간제약에 대한 풍부한 표현력과 명세된 시간에 대한 검증이 중요하다. 본 논문은 특정 시점과 시간 간격, 주기, 이산 시간, 다수의 타이머에 의한 동적 등의 시간 관련 동작을 ATM(Abstract Timed Machine)에 기반으로 명세하고 명세된 시간에 대한 분석을 살펴본다.

원자력발전소의 운영 목표는 안전하고 효율적으로 설비를 운영하여 양질의 전기를 소비자에게 공급하는데 있다. 시뮬레이터는 설비의 운영에 중추적인 역할을 담당하고 있는 운전원의 작업 숙련도 향상뿐만 아니라 설계도구로 활용되는 중요한 설비이다. 국내 원자력산업계는 연구기관의 주도하에 다수의 시뮬레이터를 개발하였으며 최근에는 일반 산업체를 개발에 참여시키고 있다. 그러나, 시뮬레이터의 하드웨어와 소프트웨어 개발을 위한 관련 요건이 일반 산업체에게 충분히 인식되지 못하여 개발에 어려움을 겪고 있다. 본 연구에서는 시뮬레이터 개발을 위한 소프트웨어 개발요건을 고찰하고 국내 일반 산업체에게 권고되는 개발 참여 전력을 제안한다.

소프트웨어 산업계는 컴포넌트 기반의 개발이 소프트웨어의 생산성과 품질을 향상 시킬 것으로 기대하고 있다. 최근에 많은 연구를 통해 한 시스템의 컴포넌트들은 각각 granularity를 가지는 것이 밝혀졌다. 그러나 지금까지 제시된 많은 방법론들이 컴포넌트 granularity를 정확하고 세부적으로 도출하지 못하고 있다. 본 연구에서는 컴포넌트의 granularity를 도출하는 수학적인 방법을 제시한다. 그리고 이론적인 연구를 통해 비즈니스 단위의 컴포넌트와 공통 컴포넌트가 분리된다는 것을 보인다. 사례 연구를 통해 우리는 우리가 제시한 granularity의 도출 방법이 유용함을 증명하고 컴포넌트를 분리시키는 경계선이 존재한다는 것을 보인다.

본 연구는 정형기법을 사용하여 Safety-Critical System의 개발 방법론을 제시한다. Safety-Critical System의 전체적인 개발 과정을 제시하고 Safety-Critical System 중의 하나인 원자력 발전소 시스템 중 Reactor Protection System(RPS)을 정형 명세(Formal Specification)하고 정형 검증(Formal Verification)하는 과정과 그에 따른 각 과정의 Compliance를 확인하는 예를 든다. 여기서 정형 명세에는 Software Cost Reduction(SCR)이하는 도구가 사용되었고, 정형 검증에는 SPIN이, Compliance를 확인하는 데에는 Prototype Verification System(PVS)를 사용하였다.

컴포넌트 기반의 소프트웨어가 개발되어짐에 따라 소프트웨어공학 측면에서 컴포넌트 기반의 소프트웨어 개발을 위한 컴포넌트 기반 소프트웨어공학(CBSE: Component Based Software Engineering)에 대한 연구가 진행되고 있다[1]. 컴포넌트 기반의 소프트웨어를 개발하는데 있어서 최대한 효율성과 생산성을 증가시키기 위해서는 개발초기, 즉 요구사항 분석단계에서 기존에 개발되어진 컴포넌트들 중에 사용자가 요구하는 역할을 수행하는 적절한 후보 컴포넌트를 추출할 수 있어야 한다. 따라서 본 논문에서는 XML의 특성을 활용한 요구사항과 컴포넌트 명세 언어를 정의하고 이를 통해 정형화된 요구사항으로부터 시스템 개발에 필요한 컴포넌트들을 추출하는 방안을 제시하고자 한다.

IBM사의 San Francisco 프로젝트 성공이후 컴포넌트 시장은 성장하고 있다. 컴포넌트 기반 개발 방법의 사용이 보편화되면 응용 프로그램은 필요한 컴포넌트들을 조립하여 개발하게 될 것이다. 컴포넌트는 응용프로그램의 성능에 많은 영향을 미치게 된다. 기존의 방법만으로는 컴포넌트의 특징이 고려되지 않기 때문에 분산 컴포넌트의 성능을 비교하는 데에 적합하지 않다. 기존의 컴포넌트 측정방법에는 컴포넌트의 응답시간, 효율(throughput), 메소드(method) 처리시간, 풀(pool)의 개수에 따른 에러 발생률 등이 있다. 본 논문에서는 분산응용을 위한 컴포넌트의 성능을 측정하는 추가적인 방법을 제안한다. 첫째 각 빈들의 처리 응답시간이다. 둘째 트랜잭션의 응답시간이다. 셋째 풀(pool)안에서 객체 개수에 따른 응답시간이다. 객체 수에 따른 컴포넌트 처리 시간이다. 넷째 컴포넌트 알고리즘 처리시간이다. 다섯째 힙(heap) 사용률이다. 이에 컴포넌트 구매자는 성능에 대한 객관적인 데이터로 보고 선택적으로 컴포넌트를 구입할 수 있다.

CBD(Component-Based Development)는 이미 존재하는 소프트웨어 컴포넌트를 조립함으로써 시스템을 개발하는 방법이다. 컴포넌트를 이용하여 시스템을 개발하는 것은 개발시간과 비용을 줄이고, 생산성을 향상시키는 등 여러 가지 장점을 가진다. 그러나 여러 벤더에 의해 개발된 컴포넌트를 조립하는 것은 쉬운 일이 아니다. 이를 위해 컴포넌트가 어떤 문맥에서 사용되는지 이해하는 것이 필요하며 이 문맥은 아키텍쳐에 의해 결정된다. 따라서 본 논문에서는 컴포넌트 기반 개발을 위한 도메인 아키텍쳐를 제안한다. 도메인 아키텍쳐는 도메인을 구성하는 컴포넌트와 그들간의 관계에 대한 정보를 제공함으로써, 어플리케이션 개발을 쉽게 한다. 또한 도메인 아키텍쳐는 관련된 여러 시스템을 위한 아키텍쳐이므로, 도메인 아키텍쳐 상의 컴포넌트는 재사용이 높다.

현재 새롭게 개발되는 소프트웨어의 추세는 50% 이상이 분산 플랫폼에서 개발되고 있다. 또한 분산 플랫폼을 가능하게 하는 COM, CORBA, EJB와 같은 기술이 급격히 발전하고 있다. 그러나 대부분의 일반적인 컴포넌트 기반 소프트웨어 개발 방법론은 분산 플랫폼에 대한 고려를 체계적으로 다루지 않음으로써 컴포넌트의 분산에 의한 오버헤드를 충분히 극복할 수 있을 만큼의 이점을 얻기 어렵다. 따라서 본 논문에서는 분산 컴포넌트로 구성된 소프트웨어를 설계하는 과정에서 분산 이슈를 실질적으로 다루기 위하여 CORBA 환경을 고려하여 성능, 결함 방지, 안전성, 분산 트랜잭션의 분산 이슈를 명시적으로 다루기 위한 기본적인 지침을 제시한다.

컴포넌트가 보편화되고 있는 현 시점에서 컴포넌트의 사용은 증가하고 있다. 이러한 컴포넌트들을 효과적으로 재사용하기 위해서는 컴포넌트 설계와 재사용의 올바른 분석과 설계가 요구된다. 재사용의 요구사랑을 만족하기 위해서 컴포넌트의 설계시에 발생할 수 있는 기능과 적합성의 불일치를 줄이고자하는 연구가 활발히 진행되고 있다. 본 논문에서는 공통성과 가변성 분석을 하기 위하여 도메인의 특성이 서비스 중심적인 관점인 경우에 대하여 접근을 했다. 이를 위하여 인터페이스의 추출이 선행되어야 하고, 추출된 인터페이스를 중심으로 두 도메인에 존재하는 공통성과 가변성을 추출하였다.

본 논문에서는 UML로 작성한 설계요소들간의 관련성을 통해 설계내역을 정확하고 쉽게 분석하기 위한 방법을 제안한다. 이 방법은 1) 설계요소들이 갖는 관련성을 위한 표현 규칙을 정의하고, 2) 정의된 규칙에 따라 관련 있는 설계요소들에 관련성을 부여하며, 3) 이 관련된 설계요소들을 쉽게 검색하고 항해할 수 있는 수단을 제공한다. 제안된 방법을 통해, 보다 정확하고 체계적인 UML 설계요소들간의 분석이 가능하다.

소프트웨어 공학의 새로운 패러다임인 컴포넌트가 지니는 다양한 속성들과 장점은 아직 많은 문제점들이 남아있는 상태이지만 소프트웨어 개발시의 높은 생산성과 효율성, 그리고 재사용성과 유지보수의 이점으로 크게 주목받고 있다. 컴포넌트의 뛰어난 장점들을 효과적으로 이용하기 위해선 우선 표준화된 명세를 통해 컴포넌트가 개발되어 유통업체나 벤더의 저장소에 저장되어 있어야 하며 구축된 저장소에서 사용자는 컴포넌트 검색 서비스를 이용하여 자신의 요구에 적합한 컴포넌트를 구매, 사용할 수 있는 체계화된 프로세스가 필요하다. 따라서 본 논문에서는 컴포넌트 검색을 위한 선행 작업으로서, 검색용 메타데이터를 메타데이터가 가져야 하는 원칙을 적용하여 정의한다. 컴포넌트가 가지는 일반적인 속성과 성질로부터 사용자가 컴포넌트를 검색하고자 할 때 사용되어질 수 있는 키워드를 메타데이터의 항목으로 추출하였으며 이렇게 정의된 메타데이터를 바탕으로 일반적인 정보의 분류에 적합한 기존 웹 검색과는 다른 컴포넌트만의 검색을 다루는 새로운 검색 시스템을 설계하였다. 따라서 효과적인 컴포넌트 재사용을 위해 검색용 메타데이터와 이를 바탕으로 한 컴포트 검색 시스템을 제안하고자 한다.

소프트웨어 분야의 급격한 발전으로 인해 소프트웨어 품질의 중요성이 더욱 높아지고 있다. 그러나 많은 소프트웨어 개발 프로젝트들이 정해진 일정 때문에 충분한 품질관리가 이루어지지 못하고 잠재적인 위험 요소들을 지닌 채 제품화되어 출시되고 있는 것이 현실이다. 이러한 위험 요소들은 소프트웨어의 결함으로 잠재하면서 언제든 고장(failure)을 일으킬 수 있는 가능성을 지니고 있다. 소프트웨어 개발 과정에서 발생하는 오류는 초기 단계의 오류일수록 최종 소프트웨어 제품에 미치는 영향이 크므로 초기 단계에 문제점을 점검하는 것이 더욱 중요한 문제일 뿐 아니라 생명주기 전 단계에 걸쳐 각 단계에 적합한 시험 항목을 개발하여 적용하는 것이 고품질의 소프트웨어를 개발하는 최선의 방법이 될 수 있을 것이다. 본 연구에서는 생명주기 단계 중 분석 단계에 관한 테스트 항목을 개발하여 분석 단계에서 야기될 수 있는 문제점들을 최소화할 수 있는 방안을 마련하였다.

시스템 개발 단계 중 분석 단계는 이후의 설계, 구현 및 유지 보수 단계를 지원하기 위한 가장 중요한 단계로, 이후 단계에 미치는 영향이 크다. 그러므로, 분석단계의 산출물이 정확한지, 산출물간의 일관성을 검증하는 작업이 필요하다. 이에, 본 논문에서는 비즈니스 업무 개발에 초점을 두어, 사용자의 참여가 이루어지는 단순한 표기법을 사용하는 정보구조 모델링의 분석 단계의 여러 구조도 들간의 일관성 검증 방법을 제시한다. 이로써 분석 단계 중에 범하기 쉬운 오류들을 최소화하여, 정확한 분석 모델을 통한 사용자 만족도가 높은 시스템을 만들 수 있다.

기존의 객체 분석 메소드에서는 사용자 이해 수준에서 요구사항이 명세되지 않으며 또한 요구사항이 만족되는가를 검증하기도 어렵다. 요구사항이 잘 반영된 좋은 품질의 분석 모델을 개발하기 위해서는 사용자 수준에서 이해될 수 있는 요구사항을 명세해야 하며, 이를 기반으로 클래스를 식별하는 작업이 필요하다. 이를 개선하기 위해 정보 구조 모델링 기반 분석 클래스 식별 절차를 제안하였다. 비교 연구결과, 본 논문에서 제안한 절차는 정적 모델 명세에 치중된 경향은 있으나, 제품의 반복성이 우수하며, 품질 부-부특성들을 평가하는 것이 가능하여, 좋은 품질의 분석 모델을 개발할 수 있다.

최근전산 환경은 통합되는 개방형 시스템으로 변모하고 있는데, 클래스 라이브러리의 재사용이 재사용을 향상시키지 못하고 있다. 이로 인한 라이브러리 습득에 많은 시간과 노력이 가중되고 개발시간이 길어진다. 따라서, 본 논문에서는 객체지향 프레임워크를 잘 사용하여 재사용할 수 있도록 잘 관리하는 저장소를 제안한다. 객체지향 소프트웨어 공학 프로세스에 의해 생성되는 산출물을 객체 형태로 통합 관리함으로서 프레임워크 재사용을 쉽게 할 수 있고, 객체들을 효율적으로 관리해 주고, 특정한 도메인에서 프레임워크를 재사용하여 새로운 어플리케이션을 개발할 때 시간을 단축하기 위해서 통합 객체 관리 저장소를 제안한다. 이 모델은 프레임워크 클래스 계층 구조 및 클래스 상호간의 상호작용 정보를 유기적으로 관리하고 통합할 수 있다.

인터넷 정보서비스의 다양화와 전자상거래의 활성화로 다양한 CP(Contents Provider)들이 등장하고 인터넷 비즈니스 모델에 유료 컨텐츠 제공을 통한 컨텐츠 비즈니스가 새로운 수익 모델로 등장하게 되었다. 이러한 추세에 발을 맞추어 컨텐츠에 대한 정보이용료 처리를 수행하는 시스템의 필요성이 증대되고 있다. 기존의 PC 통신의 IP(Information Provider)들을 텍스트 위주의 분당 사용료에 따른 종량제 서비스를 제공하여 수익을 올릴 수 있었지만 CP들은 그렇지 못했다[9]. PC 통신을 통해 정보를 제공하는 IP와 인터넷을 통해 정보를 제공하는 CP의 특징으로 기존 CP 제공 유형은 인터넷상의 정보 사용료 처리부분에 대한 수익금 정산처리의 어려움으로 IP방법을 모방하고 있다. 따라서 본 논문은 CP 특징을 이용하여 독자적인 홈페이지 운영으로 유료 정보 이용에 대한 이용료 부과 시스템 모델을 제안한다.

BPMT는 워크플로우 관리 시스템에서 프로세스의 정의 도구이다. BPMT는 워크플로우 시스템의 종속된 도구이기 때문에 워크플로우 시스템에서 요구하는 사항에 대처하기 위한 방안으로 확장성과 재사용성이 필수적이다. 이러한 확장성과 재사용성을 달성하기 위해 본 논문에서는 객체지향적인 개발 방법을 선책하고 BPMT에 적합한 디자인 패턴인 Visitor 패턴과 Serializer 패턴을 사용하였다. Visitor 패턴을 이용하면 새로운 표현 방법을 추가하고자 할 때 새로운 모듈만 추가한다는 점에서 표현의 확장성을 달성할 수 있다. 또한 Serializer를 이용함으로써 저장매체에 독립적인 입출력을 가능케 하고 하나의 인터페이스를 제공함으로써 객체의 확장성을 달성하였다.

최근 객체지향 소프트웨어 개발이 일반화되면서 품질 좋은 객체지향 소프트웨어의 개발을 돕기 위한 목적으로 객체지향 소프트웨어 복잡도 척도에 관한 연구들이 다양하게 행해져 왔다. 대부분의 연구가 구조적 복잡도 측정에 중점을 두어 프로그램 크기와 관련된 요인들을 측정하는 척도들이 제시되었다. 한편 소프트웨어 개발이나 복잡도 측정에 대하여 인지 심리 이론을 적용하여, 인간의 단기 기억의 한계 7$\pm$2와 제어 논리 처리에 3$\pm$1을 고려한 연구들이 많이 행해졌다. 본 논문에서는 프로그램 볼륨과 복잡도의 관계를 조사하기 위해 13개 척도의 값을 추출한 후 통계적 분석을 수행하고, 인지 심리 이론과의 관계를 파악해 보았다.

J2EE 플랫폼의 핵심기술인 EJB는 서버 측 컴포넌트 표준 모델이다. 최근 들어 점차 이를 지원하는 도구의 중요성이 대두되고 있다. 본 논문에서는 EJB 환경의 컴포넌트인 엔터프라이즈 빈즈를 생성하는 생성기 모델을 제시한다. 특히 이 생성기는 개발자의 개입이 많은 빈 관리 지속성 엔티티 빈 개발 시 자동화할 수 있는 매크로 기능을 가진다. 제공하는 매크로 기능은 크게 두 가지 부류로 구분할 수 있는데 데이터를 조작하는 부분과 엔터프라이즈 빈즈 환경을 조작하는 부분이 있다. 먼저 데이터를 조작하는 부분의 매크로 기능으로는 SQL 질의 관련 매크로(데이터 삽입, 삭제, 선택, 갱신) 및 데이터베이스 필드 변수 설정 매크로가 있고, 환경을 조작하는 부분에는 엔터프라이즈 빈즈 환경 접근 매크로, 홈 객체 획득 매크로, JDBC 연결 매크로 등이 있다. 사용자 측면을 고려한 이러한 기능들을 통해 개발 시간 단축, 노력, 경감, 오류 방지 등의 효과를 얻을 수 있다.

EJB의 애플리케이션 개발환경은 객체지향 분산처리를 지원하는 컴포넌트를 개발하고 분산 배치를 위한 컴포넌트 구조이다. EJB를 이용하여 개발한 애플리케이션은 컴포넌트 모델의 개념을 결합하여 비즈니스 프로그램의 개발이 쉽도록 단순화시켰으며, 보안성, 리소스 풀링, 영구성, 동시성, 트랜잭션 무결성을 자동적으로 해결해 준다. 본 논문에서는 이러한 개발환경에서 EJB 컴포넌트가 충분한 유연성을 가질 수 있도록 기능별로 효율적인 빈의 유형을 추출하는 방법을 찾고자 하였으며, EJB 빈의 유형별 특성에 따라서 빈 유형을 쉽게 분류할 수 있는 방법을 표준화하여 시스템 분석 및 설계시 반영할 수 있도록 하였다. 본 논문의 제안모델은 단계별로 전 단계의 모델을 재사용하고, 객체를 쉽게 빈으로 매핑할 수 있도록 표현계층, 비즈니스 로직계층, 데이터계층으로 계층화하여 객체를 배치함으로써 빈의 유형을 쉽게 추출할 수 있는 방법을 제공한다.

윈도우 방법과 인수분해 방법을 혼합 적용하면 멱승 연산에 사용되는 곱셈 연산의 횟수를 줄임으로써 멱승 연산을 빠르게 수행할 수 있다. 지수가 512비트일 때 윈도우의 크가 5인 윈도우 방법은 607번 정도의 곱셈 연산을 필요로 하는데 반해 윈도우와 인수분해 방법을 혼합한 방법은 599번 정도의 곱셈 연산을 필요로 한다. 이는 현실적으로 가능한 멱승 연산 중에서 가장 적은 수의 곱셈 연산을 요구하는 방법이다.

이 논문은 행렬탐색 방법을 이용하여 평면상의 n 개의 점에 대한 Lp, 1$\leq$p$\leq$$\infty$ 거리의 양방향 각도제한 근접 점 문제를 O(nlogn) 시간에 계산하는 알고리즘을 고안한다. 이 방법은 최적의 시간 복잡도를 가지며 궤적추적 법을 쓰지 않기 때문에 구현이 용이하고 실용적이다.

본 논문은 영역별 근접 그래프(geographic nearest neighbor graph)와 레인지 트리(range tree)를 이용하여 평면 위의 n 개의 점에 대한 L$\infty$(L1) 거리(metric) 상의 디루니 삼각분할(Delaunay triangulation)을 구축하는 방법을 소개한다. 이 방법은 L$\infty$(L1) 거리상에서 디루니 삼각분할에 있는 각 삼각형의 최소한 한 선분이 영역별 근접 그래프에 포함됨을 이용하여 레인지 트리 방법으로 디루니 삼각분할을 구축한다. 본 방법은 O(nlogn)의 순차계산 시간에 L$\infty$(L1) 디루니 삼각분할을 구축하며, CREW-PRAM (Concurrent Read Exclusive Write Programmable Random Access Machine)에서 O(n)의 프로세서로 O(logn)의 병렬처리 시간에 L$\infty$(L1) 디루니 삼각분할을 구축한다. 또한, 이 방법은 직선간의 교차점 계산 대신 거리비교를 하기 때문에 수치오차가 적고 구현이 용이하다.

본 논문은 재구성 가능한 메쉬(RMESH) 병렬 모델에서 상수 시간에 구멍이 있는 다각형의 한 점으로부터의 가시성 다각형을 구하는 문제를 고려한다. 알고리즘의 기본 전략은 프로세서의 수에 있어 준-최적인 상수 시간 알고리즘을 사용하여 문제의 크기를 감소시킴으로써 최적인 상수 시간 알고리즘을 얻는 것이다. 이 전략을 사용해 모두 N개의 에지로 구성된 구멍이 있는 다각형에 대한 가시성 다각형을 N$\times$N RMESH에서 상수 시간에 구하는 알고리즘을 제시한다. 이 알고리즘은 다각형들의 집합이 주어져 있을 때 외부의 한 점에서 가시 영역을 구하거나, 선분들의 집합이 주어져 있을 때 평면상의 한 점에서 가시 영역을 구하는 문제도 해결할 수 있다.

VLSI 기술의 발전에 따라 프로세서의 속도는 빠르게 증가하고 있는 반면 메모리의 속도는 이를 뒷받침하지 못하여 속도의 차이를 줄이기 위해 캐쉬(cache) 메모리를 사용하고 있다. 캐쉬가 알고리즘의 실행시간에 미치는 영향이 점점 더 커지고 있으나 이제까지 개발된 대부분의 알고리즘들은 이러한 캐쉬의 중요성을 고려하지 않고 개발되었다. 본 논문에서는 캐쉬 효과를 고려한 확장된 이진 탐색 트리 알고리즘에 관해 연구하였고, 실험을 통하여 기존의 이진 탐색 트리와 제안된 알고리즘의 성능을 비교하였다.

블록정렬압축은 빠른 속도로 동작하면서 높은 압축률을 나타내는 압축 방법이다. 또한 블록정렬방식으로 압축된 텍스트는 원래 텍스트를 복원하는 과정에서 접미사배열을 O(n) 시간만에 구할 수 있다. 그러나 접미사배열을 이용하여 효율적인 검색을 수행하려면 lcp(longest common prefix)정보가 추가적으로 필요하다. 본 논문에서는 텍스트와 접미사배열이 주어졌을 때 lcp정보를 O(n)시간만에 구할 수 있는 알고리즘을 제시한다.

본 논문에서는 기존의 정렬 알고리즘의 성능을 향상시키기 위하여 정보블록 전처리알고리즘(IBPA)이라는 전처리 알고리즘을 제안한다. IBPA는 정렬된 리스트(list)에 있는 데이터에 관한 정보를 생성하고, 생성된 정보를 이용하여 각 데이터를 재배치하며, 실제적인 정렬은 기존의 정렬 알고리즘을 그대로 이용하여 이루어진다. IBPA의 성능을 측정해본 결과, 2백만개의 랜덤데이터를 정렬한 경우, O(N2)의 평균시간복잡도를 갖는 정렬알고리즘의 0.003%, O(NlogN)의 평균시간복잡도를 갖는 정렬알고리즘의 52%, 그리고 O(N)의 평균시간복잡도를 갖는 정렬알고리즘의 89%정도의 비교회수만으로도 정렬할 수 있음을 보여주었다.

본 논문에서는 정보블록알고리즘(IBPA;Information Block Preprocessing Algorithm)을 이용한 정보블록 정렬알고리즘 (IBSA; Information Block Sort Algotithm)을 제안하고 그 성능을 평가하였다. IBSA의 시간복잡도는 O(N)이며, 데이터의 분포상태에 영향을 받지 않는다. IBPA의 성능을 측정해본 결과, 2백만개의 랜덤데이터를 정렬한 경우, 중복값 허용의 경우 (a)는 퀵 정렬의 32.42%, 기수정렬의 9%정도의 비교회수만으로도 정렬할 수 있음을 보여주었으며, 중복값이 없는 경우 (b)는 퀵 정렬의 53.12%, 기수정렬의 12.79%정도의 비교회수만으로도 정렬할 수 있음을 보여주었다.

CAD나 Cartography 등 여러분야에서 많이 사용되고 있는 거대한 다차원 공간 데이터를 효율적으로 구축하고 관리하는 일은 매우 중요하다. 본 논문에서는 기존에 공간데이터를 구축하던 대표적인 R-Tree 계열의 방법을 탈피하여 새로운 데이터 구조와 공간상의 데이터간의 관계를 효율적으로 표현할 수 있는 QSF-Tree를 바탕으로 하여 QSF-Tree의 disk utilization을 높일 수 있는 방법을 제안하고 새로운 split 방법을 이용하여 실 공간에서 가까이에 있는 object들을 되도록 하나로 묶어 search 속도를 향상시키고 disk access 숫자를 줄이는 방법을 제안한다. 또한 조건을 만족하는 MBR들을 찾은 후 이에 해당하는 데이터들의 실제값을 비교하는데 많은 시간이 소요된다는 사실에 의거하여 MBR들간의 topological relation을 바탕으로 실제 object의 값을 비교하지 않아도 실제 데이터간의 topological relation을 알 수 있눈 MBR들의 위치관계를 이용하여 질의 처리속도를 향상시켰다.

급격한 통신의 발달은 분산시스템의 메시지 전달 환경을 FIFO 뿐만 아니라, 인과적 순서로도 가능케 한다. 낙관적 메시지 로깅 기법은 프로세스의 결함을 저비용으로 회복할 수 있다. 기존의 낙관적 메시지 로깅기법은 인과적 메시기 전달 순서를 보장해주는 환경에 적용되었을 때, 회복과정시 각 프로세스가 전체 프로세스에게 회복메시지를 브로드캐스팅함으로써 불필요한 오버헤드를 가진다. 그러나 제안하는 알고리즘은 회복과정을 시작하고 종료하는 시점에서 조정자 프로세스만 전체 프로세스에게 회복메시지를 브로드캐스팅함으로써 이러한 오버헤드를 줄일 수 있다. 즉, 조정자 프로세스가 아닌 프로세스는 정상수행시 유지하고 있는 상태정보에 기반하여 자신과 의존성이 존재하는 프로세스에게만 회복메시지를 선택적으로 멀티캐스팅함으로써 회복과정시 필요한 메시지의 수를 줄이고 전체적인 회복비용을 감소시킨다.

객체지향 디자인 방법론과 이에 대한 CASE 툴은 실시간 소프트웨어 개발 분야에서 널리 사용되고 있다. 객체 지향 CASE 툴은 객체 지향 모델로부터 테스크들을 생성하는 단계를 거쳐야 한다. 그러나 객체와 테스크는 근본적으로 차이가 있으며, 또한 실시간 특성을 반영하도록 테스크를 구성하는 것은 매우 어려운 일이므로, 현재의 CASE 툴들은 개발자가 개체와 테스크의 매핑을 직접하도록 하고 있다. 본 논문은 실시간 객체지향 모델을 스케줄 가능성을 고려해 멀티 스레드 테스크로 자동적으로 매핑하는 방법을 제안하고 본 방법의 스케줄 가능성 케스트 방법을 제시한다. 본 논문에서 제안하는 방법은 실시간 객체 지향 모델에서 서로 다른 주기와 데드라인을 갖는 트랜젝션을 추출하고, 이를 스케줄 가능하도록 그룹화하여 스레드로 만드는 것이다.

리스트 기반 스케줄링은 하드웨어의 자원이 일정한 수준으로 제한된 상황에서 스케줄링에 필요한 컨트롤 스텝의 수를 최소화하고자 하는데 중점을 둔 일련의 스케줄링 기법 중 하나로, 연산의 우선 순위를 결정한 뒤, 그 우선 순위에 의거하여 준비된 일단의 연산들에 대한 스케줄링을 수행하는 방식이다. 따라서 연산의 우선 순위를 결정하는데 고려되는 조건들은 리스트 기반 스케줄링의 성능에 직접적인 영향을 주며, 현재까지 다양한 우선 순위 결정 조건들이 제시되어 있다. 그런데, 최종 합성 결과는 상위 수준 합성의 대상이 되는 입력 그래프의 특성에 따라 그 성능이 좌우되므로 일반적인 의미에서 최적의 우선 순위 결정 조건이란 존재하지 않는다. 본 논문에서는 단일한 우선 순위 조건하에서 경합하는 연산들의 우선 순위 결정 조건이란 존재하지 않는다. 본 논문에서는 단일한 우선 순위 조건하에서 경합하는 연산들의 우선 순위 결정시 다양한 우선 순위 결정 조건들을 균형있게 고려하여 보다 효율적인 스케줄링 결과를 얻는 방법을 제시하였다.

DNA 염기 서열을 분석하는데 효율적으로 쓸 수 있는 자료구조서 서픽스 트리(Suffix Tree)가 제시되었다. 그러나 매우 큰 유전자 서열에 대한 서픽스 트리는 대용량의 메모리 공간을 필요로 한다. 따라서 메모리 공간의 절약을 위해서 단어 서픽스 트리를 이용하는 방법이 제안되었다. 단어 서픽스 트리는 이러한 장점에도 불구하고 단어에 의미를 두고 만든 트리 구조이기 때문에 완전 매칭 문제를 해결하기 위한 정보가 부족해서 제한적 완전 매칭 알고리즘이 제시되었다. 제한적 완전 매칭 알고리즘에서는 찾으려는 패턴이 어떤 단어의 부-문자열에 위치하거나, 두 단어 이상에 걸쳐 나오면 찾지 못하는 문제가 발생한다. 본 논문에서는 단어 서픽스 트리의 완전 매칭 문제를 해결하기 위해 각 단어들의 서픽스에 대한 정보로 구성된 Generalized 서픽스 트리를 사용하여 확장된 단어 서픽스 트리를 제시하고, 완전 매칭 알고리즘을 제안한다.

본 논문에서는 n개의 정점들로 이루어진 이진트리를 상향과 비상향에 대한 수직 도시 방법으로 기존의 연구에서의 최소 면적인 O(nlog logn) 영역에 굴곡점이 없이 도시하는 알고리즘을 개발하였다.

We are studied on the performance optimized synthesis and mapping of design on to one or more FPGA device. our multi-phased approach optimized the key parameters that affect performance by adequately modeling the impact on wire length, routability, and performance during technology mapping to produce designs that have high performance and high routability potential.

이 논문은 한국정보통신기술협회에 의해 1998년 11월에 제정된 HAS-160 해쉬 함수를 하드웨어로 구현하였다. SET(Secure Electronic Transaction) 혹은 SSL(Secure Socket Layer)등의 암호 프로토콜에서 하나의 구성 요소를 이루기 위해 설계되었고 초기값을 원래의 알고리즘에서 주어진 값이 아닌 사용자 혹은 프로토콜이 요구하는 값으로 입력할 수 있게 하였다. 전체적으로 회로는 VHDL top-down 설계 방법을 따랐고 IEEE 표준 라이브러리만을 사용하여 범용성을 가진다. 그리고 블록들은 내부적으로 행위적 수준(behavior level)에서 설계되었고 설계된 각각의 블록들은 구조적 수준(structure-level)에서 연결되었다. 설계된 회로는 125MHz의 클럭 주파수와 26Mbps의 성능으로 동작하며 ALTERA FLEX10K EPF10K200칩에서 6018(60%)개의 셀을 차지한다.

Operator-level optimization of a systolic array for Montgomery Modular Multiplication(MMM) algorithm is presented in thin paper. The proposed systolic array is faster than that of C.D. Walter by 40%. Compared with J.B. Shin et al.'s, it is 25% faster.

본 논문에서는 최적확장체(Optimal Extension Field; OEF)에서 정의되는 타원곡선 상에서 효율적인 스칼라 곱셈 알고리즘을 제안한다. 이 스칼라 곱셈 알고리즘은 프로비니어스 사상(Frobenius map)을 이용하여 스칼라 값을 Horner의 방법으로 Base-Ф 전개하고, 이 전개된 수식을 일괄처리 기법(batch-processing technique)을 사용하여 연산한다. 이 알고리즘을 적용할 경우, Kobayashi 등이 제안한 스칼라 곱셈 알고리즘보다 40% 정도의 성능향상을 보인다.

현대 사회는 인터넷 기술의 비약적인 발전으로 인하여 실생활에서 이루어지던 거의 모든 작업들이 인터넷상에서 이루이지는 전자사회(E-society)가 형성되고 있다. 이런 과정에서 발생한 중요한 문제중의 하나가 불특정 다수가 자유로이 통신을 하기 위해 개발된 인터넷상에서 보안을 해결하는 것이다. 이 문제를 해결하기 위하여 많은 보안 관련 시스템들이 개발되고 있는 실정이고, 세계 각국의 표준 기구에서는 이러한 시스템에 대한 등급을 평가하고 있다. 각 등급을 살펴보면, 시스템 개발 초기부터 정형기법을 이용하여 개발되어진 시스템들이 고등급을 획득하고 있다. 국내에서도 한국정보보호센터(KISA)에서 보안 시스템에 대한 등급을 평가하고 있다. 본 논문에서는 높은 보안 등급의 IPSec 관련 시스템을 개발하기 위해서 개발단계에서 어떠한 정형기법들이 적용될 수 있는지를 살펴보겠다.

분할 가능한 전자 화폐 시스템(divisible e-cash system)은 임의의 금액을 지불할 수 있는 전자 화폐 시스템이다. 현재까지 제안된 가장 효율적인 분할 가능한 전자 화폐 시스템은 Chan, Frankel, Tsiounis가 [9]에서 제시한 시스템이다. 본 논문에서는 Okamoto 시스템[2]의 구조를 그대로 따르면서 인출 프로토콜에 [11]의 방식을 응용한 새로운 분할 가능한 전자 화폐 시스템을 제시한다. 본 논문에서 제시한 시스템은 [9]에서 제시된 시스템보다 효율적인 분할 가능한 전자 화폐 시스템으로서 인출과 지불시에 [9]에서 제시된 시스템보다 더 적은 계산량을 필요로 한다.

컴퓨터의 등장과 과학기술의 발달로 인하여 기존의 종이를 이용한 정보의 전달과 보급에서 점차 전자 매체를 이용하는 방향으로 전환되고 있다. 이러한 변화와 더불어 인터넷과 전자상거래의 비약적인 발전은 전자북이라는 새로운 형태로 정보의 제공 및 보급을 위한 모델을 창출하기에 이르렀다. 그러나 디지털 컨텐츠를 이용하는 전자북 시스템은 컨텐츠의 특성상 복사와 배포의 유연성으로 말미암아 저작권 보호라는 중대한 난점을 가지고 있다. 이에 본 논문에서는 전자북 시스템의 컨텐츠를 가변적 암호키를 사용하여 사용자측에서 재생산하는 방식을 제안함으로써 전자북 컨텐츠와 저작권 보호를 위한 전자북 보급 시스템을 설계하고 구현하였다.

본 논문에서는 유한 필드 GF(2m)상에서 모듈러 곱셈 A(x)B(x) mod p(x)를 수행하는 2-디지트 시리얼 (2-digit-serial) 시스톨릭 어레이 구조인 곱셈기를 제안하였다. LSB-first 곱셈 알고리즘을 분석한 후 2-디지트 시리얼 형태의 자료의존 그래프(data dependency graph, 이하 DG)를 생성하여 시스톨릭 어레이를 설계하였다. 제안한 구조는 정규적이고 서로 반대 방향으로 진행하는 에지들이 없다. 그래서 VLSI 구현에 적합하다. 제안한 2-디지트 시리얼 곱셈기는 비트-패러럴(bit-parallel) 곱셈기 보다는 적은 하드웨어를 사용하며 비트-시리얼(bit-serial) 곱셈기 보다는 빠르다. 본 논문에서 제안한 2-디지트 시리얼 시스톨릭 곱셈기는 기존의 같은 종류의 곱셈기 보다 처리기의 최대 지연 시간이 적다. 그러므로 전체 시스톨릭 곱셈기의 처리시간을 향상시킬 수 있다.

Buffer Overflow는 가장 핵심적인 해킹기법중의 하나이다. 현재 해킹피해의 대부분을 차지하며 local attack뿐 아니라 remote attack까지 가능하므로 이를 이해함은 보안을 이해하는 차원에서 매우 중요하다. 본 논문에서는 Buffer Overflow의 원리와 최근 발생한 시스템의 해킹 형태를 살펴보고, 이를 방지할 수 있는 기법들을 분석하여 Buffer Overflow에 대응할 수 있는 모습을 그려보고자 한다.

이 논문은 TCP/IP 기반 지역 망 내에서 개인용 컴퓨터의 사용에 있어 인터넷 프로토콜의 주소 충돌 해결 방법에 대하여 연구하였다. 현재 컴퓨터의 수는 계속해서 늘고 있지만 사용자는 IP 주소에 대한 지식이 없음으로 인해 고의나 실수로 자신의 것이 아닌 다른 사람의 IP 주소를 사용할 수 있고, 이로 인해 원래 사용자가 네트웍을 사용할 수 없게 된다. 본 논문은 사전에 지역 망 내의 관리 대상 컴퓨터들의 주소정보를 DNS 서버상에서 수집하여 현재 사용하는 주소 정보가 저장된 정보가 같은 지를 검사하는 방법으로 IP 조소 충돌 검출 방법을 제시하였다.

인터넷을 기반으로 하는 전자상거래는 가상 공간을 통해 이루어지므로, 시간과 장소에 구애받지 않는다는 장점이 있는 반면, 누구든지 접근이 용이한 개방형 네트워크의 특성에 따라 보안상의 문제점이 대두될 수 있다는 단점이 있다. 따라서, 안전하고 효율적인 전자상거래의 구현을 위해서는 전자상거래 상의 보안 문제를 해결하기 위한 장치가 필요한데, 이러한 장치 중에 하나가 견고한 암호 알고리즘의 구축이다. 본 논문에서 제안한 NC(Non- polynomial Complete) 블록 암호 알고리즘은 이러한 전자상거래 보안에 적합한 암호시스템으로서, 입.출력 키와 암호 키의 크기가 각각 128비트로 구성되며, 64비트의 서브키와 전체 16라운드로 전개됨으로써 기존의 블록 암호 알고리즘들의 한계를 극복할 수 있다. 또한, 암호화에 민감한 영향을 미치는 키 스케줄링 알고리즘을 보다 복잡하게 설계함으로써 계산 복잡도의 증가와 암호 키 발견 확률의 증가를 도모하였다.

본 논문에서는 일반 사용자 수준에서 시스템 호출을 제어하는 기법을 제안하고 이를 위한 유닉스 기반 시스템에서 시스템 호출을 인터럽트 하는 기법을 기술한다. 제안된 방법은 OS 소스코드의 수정을 요구하지 않고 동적으로 적용이 가능하다. 또한 시스템 호출 제어기법의 응용으로 사용자의 시스템 자원 접근 및 권한을 제어하는 보안모델인 UPS (Unix Protection System)에 대하여 기술한다.

인터넷 사용 인구의 폭발적인 증가로 인한, 네트웍상의 정보 교류는 이제 실생활에서는 빼 놓을 수 없을 만큼 하나의 큰 부분으로 자리잡고 있다. 이러한 상황에서 정보보호의 중요성은 정보 교류의 필요성 이상으로 심각하게 대두되는 문제이다. 현재 정보보호 서비스 시스템에서 빠질 수 없는 부분이 양단간 기밀 통신을 위한 키의 분배이며, 키의 분배는 시스템의 효율을 위해 세션키를 공개키 방식으로 암호화하여 분배하는 방법을 사용한다. 본 논문에서는 서로 다른 기종간에도 쉽게 적용이 가능하도록, 자바로 구현된 키 분배 서버를 제안하며, 이 키 분배 서버는 객체 기반으로 설계되어 정보보호 서비스 시스템에 적용한 후에도 쉽게 유지, 보수 및 확장이 가능하도록 되어 있다. 향후의 연구 과제로는 정보보호 서비스 시스템과의 더욱 원활한 이식을 위해 향상된 인터페이스의 개발은 물론이고, 키 분배 서버 및 정보보호 서비스 시스템 구성 요소에 관한 여러 관리 기능이 연구되어야 할 것이다.

인터넷 환경의 발달에 의해 네트워크상의 콘텐츠의 전송이 활발해 지고 있다. 그 대표적인 예가 대중적으로 일반화되어 있는 전자메일일 것이다. 하지만 전자메일이 보다 일반화되고 보안상의 위협을 제거하기 위해선 전송되는 메일에 대한 내용증명과 배달증명이 가능해야 한다. 따라서, 본 논문에서는 먼저 내용증명과 배달증명이 가능한 기존의 방법들을 분석하고, 양사용자 사이에 문서를 교활할 수 있는 새로운 방법을 제안한다.

Java는 간결하고 객체 지향적이며 플랫폼 독립적으로 실행 가능한 특성을 지니고 있어, 웹 상에서의 증대된 표현능력과 유연성을 제공해 왔다. 하지만 이렇게 개방적이고 넓은 수용 가능성은 보안에 있어 많은 위협 취약점을 발생시키게 한다. 특히 현재 네트웍을 통해 널리 사용되는 애플릿은 그 자체가 사용자의 시스템에 전송되어 실행되므로, 만일 악의의 사용자가 그 애플릿 파일을, 역 컴파일러를 사용해 소스 코드를 얻어낸다면, 애플릿 서비스를 하는 시스템 및 네트웍에 대한 보안 문제 및 경제적 피해는 물론이고, 애플릿 개발자 및 다른 사용자들에게 있어 많은 문제를 일으킬 수 있다. 따라서 본 논문에서는 현재 자바 애플릿 역컴파일에 의한 보안 취약성 및 문제점을 진단하고, 거기에 대처할 수 있는 대응 기법에 대한 연구를 통해 보다 나은 자바 애플릿 역컴파일 방지 기법을 제시하려고 한다. 본 논문에 제안된 방법은 역컴파일 방지를 위해 클래스 파일에 혼란 코드를 삽입하는 방법으로서, 그 기법 및 사용 방법을 제시하고 역컴파일 방지 도구의 모델을 제안한다. 또한 앞으로의 연구는 여기서 제안된 자바 애플릿 역컴파일 방지 도구 모델의 세부적 구현으로 진행되어야 하겠다.

인터넷환경에서 네트워크구축이 보편화된 요즈음, 보안문제가 이슈로 대두되고 있다. 대형 네트워크상에서는 벌써 수년 전부터 방화벽이 보안장비의 중추를 담당하며 사용되고 있으나, 중소규모의 네트워크 환경을 유지관리하기 위한 보호대책은 미비한 편이다. 특히 라우터 전후에서 기능을 하는 방화벽 외에 대형 네트워크 안에서 중소규모의 네트워크를 운영하고자 할 때, 새로운 방화벽 서버를 사용할 수 있다면, 작은 규모의 네트워크에 적합한 패킷필터링이 가능하여, 외부의 침입으로부터 좀 더 안전한 네트워크의 구성이 가능해진다. 본 논문에서는 상대적으로 비용이 저렴하고 setup이 간단한 Linux 방화벽을 통해 외부망에서 접근할 수 없는 사설(private) IP주소를 사용하는 사설망(Private Network)안에 서버를 구성했을 때, Secure Shell에서 지원하는 Port forwarding 기능을 사용하여, 사설망안에 위치한 웹서버, 메일서버등에 접근할 수 있는 방법을 제시하고자 한다.

최근에 일어나는 해킹 사고의 대부분은 스캐닝 도구를 사용하여 일차적으로 공격하고자 하는 시스템의 취약점 정보를 수집한 다음, 이를 바탕으로 시스템에 대해 공격을 시도하고 있다. 하지만, 대부분의 네트워크 시스템 관리자들은 자신의 시스템의 취약점에 대한 정보 부족과 기술 부족으로 인하여 무방비 상태로 관리하고 있는 실정이다. 그리고 대부분은 스캐닝 도구들은 처음에는 시스템 보안취약점 진단 목적으로 개발되었으나, 해커들에 의해 악용되고 있다. 따라서, 본 논문에서는 보안에 미숙한 관리자도 시스템의 취약점을 쉽게 발견하고 이를 바탕으로 하여 취약점을 보완할 수 있도록 웹 기반에서 시스템 보안 취약점을 진단하는 시스템을 제안하고자 한다.

Linux는 다양한 하드웨어 플랫폼을 지원하며, 강력한 네트워크 지원 기능, 다양한 형식의 파일시스템 지원 기능 등 높은 성능을 자랑한다. 그러나, 소스코드의 공개로 인하여 많은 보안상의 취약성을 내포하고 있으며, 최근 이를 이용한 해킹사고가 많이 발생하고 있다. 본 논문에서는 Linux상에 상존하는 보안 취약성을 조사하고, 보안 요구사항을 도출하며, 최근 해킹의 상당부분을 차지하고 있는 Buffer Overflow 공격 방지를 위한 방안으로 커널 수정을 통해 Secure Linux를 개발하고자 한다.

본 논문은 국내.외적으로 심각한 유해정보로 인한 피해를 막고자 개발된 유해사이트 차단 소프트웨어들의 동향과 문제점들을 제시해 새로운 유해사이트 차단 소프트웨어 개발에서 구현해야 할 부문에 대해 제시했다. 각 소프트웨어들은 독창적인 기능들을 보유하고 있으나 기능상의 문제점을 안고 있다. 유해 정보 차단 기술을 바탕으로 만들어진 유해 차단 소프트웨어들은 사용된 기술에 따라 차단 목록 기반의 선별 기술을 사용한 소프트웨어는 차단 목록의 주기적인 갱신이 어려움이 있고 불건전 사이트에 노출 위험이 상대적으로 크며, 용 목록 기반의 선별 기술에서는 접근할 수 있는 사이트가 극히 제한적이라는 것이며, 내용 등급기반의 선별 기술은 해당 사이트의 모든 정보를 차단하므로 유익한 정보까지 차단한다. 차단 목록 기반의 선별 기술과 허용 목록 기반의 선별 기술은 지속적인 데이터베이스의 갱신이 필요하다. 내용 등급 기반의 선별 기술은 아직까지는 웹사이트의 99%이상이 등급 표시가 없으나 앞으로는 등급 시스템과 등급 표시제를 강화해 등급에 따른 유해사이트 차단이 이루어져야 하며 그러기 위해서는 현재로는 부모의 역할에 의해 이루어지는 것을 웹 문서에 등급정보가 반드시 삽입되도록 하는 강제적인 방법이 동원되어야 하며 브라우저 상에서 등급 정보가 없는 사이트에 대해서는 볼 수 없도록 차단하는 방법이 유해사이트를 차단하는데 효과적일 것이다.

정보기술의 발전으로 인하여 각종 소프트웨어 및 여러 종류의 디지털 미디어가 우리 일상생활의 일부를 차지해 가고 있다. 그러나 디지털 형태의 제품은 하드웨어적인 특성에 기반하는 복제 방지 방법을 제공하지 않으므로 새로운 종류의 복제 방지 기법이 요구된다. 본 논문에서는 복제 방지의 범위를 분류하고, 분류된 내용에 기반하여 새로운 종류의 복제방지 기법을 제안한다. 제안하는 방법은 디지털 제품 사용에 있어 사용자 단위와 시스템 단위의 사용 제약을 선택적으로 지원할 수 있다.

리눅스의 활용 범위가 임베디드 시스템 혹은 웹 서버 등 다방면으로 넓어져 가면서 보안 문제도 이와함께 중요한 연구 및 개발 과제로 떠오르고 있다. Huagang은 Linux의 침입 감지 및 방어를 위하여 LIDS(Linux Intrusion Detection and Defense System)을 개발/발표하였다. LIDS는 시스템의 침입 감지 및 방어에 중점을 둔 시스템으로서 사용자별 파일을 보호하기 위한 개념이나 시스템 관리자를 비롯해 일반 사용자에 이르기까지 전체적인 보안을 만족시키기에는 여러 가지 부족한 면을 가지고 있다. 본 논문에서는 이러한 LIDS의 불편한 점을 보완하여 LIDS의 활용 가능성을 높이었다.

개념-논리 스키나 설계의 목적은 개념 스키마를 사용 가능한 데이터의 구조화와 제약사항 모델화를 위한 기능들을 가능한 후 효과적으로 표현하는 것이다. 스키마 변환은 이러한 표현을 구현 언어나 데이터베이스와는 독립적인 차원에서 고려할 수 있도록 해준다. 개념-논리 스키마로의 변환에 프리미티브 변환을 적용함으로써 얻을 수 있는 이점은 개념 스키마에 나타난 정보를 손실 없이 구현 모델에 반영할 수 있게 한다는 것이다. 본 논문에서는 다단계 보안 응용을 위한 일반화 계층구조의 스키마 변환에서 발생할 수 있는 프리미티브 변환을 논의한다. 이러한 변환은 다단계 보안 응용의 개념 논리와 설계 단계에 대한 질적 향상을 기할 수 있는 기본적인 도구의 토대가 될 수 있으며 또한 이를 적용함으로써 설계 과정을 변환의 작은 단위로 생각할 수 있게 해 줌으로서 설계 과정을 단순화할 수 있다.

본 논문은 최근에 그 수요가 증가하고 있는 리눅스를 기반으로 하여 안전한 운영체제의 설계 및 구현에 대하여 기술한다. 안전한 운영체제를 위해 사용되는 보안 기능들은 MAC(Mandatory Access Control), DAC(Discretionary Access Control), 그리고 SOP(Separate of privilege)과 같이 파일, 디렉토리, 그리고 디바이스와 같은 시스템 자원에 대한 접근을 제어하는 기능과 감사 추적(Auditing)기능, 그리고 사용자 인증기능 등이 있다. 접근제어란 컴퓨터자원, 통신자원, 정보자원 등에 대한 허가되지 않는 접근을 막는 것이다 본 논문에서는 리눅스 운영체제의 보안을 위해 필요한 접근 제어 기능과 다중 레벨의 사용자 인증기능의 설계 및 구현에 대해 기술한다. 또한 접근 제어기능 구현은 국제 표준화인 OSIX1003.le을 기준으로 하였다.

버퍼넘침(buffer overflow)은 특정 프로그램 언어에서 발생하는 배열의 경계파괴 현상을 말한다. 그 대표적인 언어로서 C/C++을 들 수 있는데, 이들 언어는 기본적으로 스트링(문자열)을 정의함에 있어서 크기속성을 배제하고 끝을 의미하는 종료문자(delimiter character, NULL)을 사용함으로써 배열(버퍼)의 경계침범 가능성을 허용하고 있다. 이때 스택영역에 할당된 버퍼가 넘침다면, 주변에 위치한 지역변수, 레지스터 보관, 복귀주소 등의 값이 변질되어 원래의 의도된 제어흐름을 보장할 수 없게 된다. 특히 복귀주소 부분을 의도적으로 침범하여 특정 값을 덮어쓸 수 있다면 해당 프로그램의 동작을 인위적으로, 그리고 자유롭게 변경할 수 있게 된다. 본 논문에서는 이와 같은 스택영역에서의 버퍼넘침을 사용한 제어흐름 변경 해킹기법의 과정을 현존하는 UNIX 시스템 및 C/C++ 언어를 이용하여 살펴보고 대응방향을 모색한다.