공간 데이타베이스 시스템에서 데이타베이스의 일관성 유지를 위해 의미적 무결성을 지원해야 한다. 실세계의 경계(boundary) 레이어에서 경계는 주위의 공간 객체들과 항상 접해 있어야만 하는 상접(meet)한 성질과 두개 이상의 다른 공간 객체가 동일한 이름을 가질 수 없는 성질을 가진다. 이 성질은 실세계에서 묵시적으로 인지되는 개념이다. 따라서 공간 객체의 갱신으로 인해 레이어에 대한 묵시적인 개념이 위배될 경우 무결성 유지가 필요하다. 따라서 본 논문에서는 이 레이어에 대한 공간 객체의 무결성을 유지하기 위한 공간 연산 트리거를 제안한다. 제안한 기법은 SQL-3를 기반으로 공간 연산 트리거 정의어를 정의하고, 레이어에 대한 무결성 제약조건이 위배될 때 수행되며, 공간 연산 트리거 수행 전략으로 동일 레이어에 대한 공간과 비공간 데이타 트리거로 나누어 수행되고, 다른 레이어에 대한 비공간 데이타 트리거를 수행하는 기법이다. 공간 연산 트리거 관리기는 사용자에게 의해 정의된 공간 연산 트리거 정의어는 공간 연산 트리거 처리기를 통해 파스트리를 생성하여 카탈로그 관리기를 통하여 데이타베이스에 저장되며, 갱신 질의시 공간 연산 트리거 수행 처리기를 통해 공간 데이타베이스의 일관성을 유지시켜주는 구조를 가지고 있다. 공간 연산 트리거는 상접성을 유지해야 하는 공간 객체들의 의미적 무결성을 위해 공간과 비공간 데이타에 대하여 3 단계 수행으로 공간 객체에 대한 의미적 무결성 유지와 자동 보정으로 사용자 편의성을 제공한다.

소프트웨어에 관련된 문제들을 프로세스 심사를 통하여 해결하고자 하는 노력이 확산되고 그 표준으로 IS0/1EC 15504(SPICE)가개발되었다. 이 논문에서는 SPICE에 근거한 프로세스 심사를 한국 SPICE 위원회의 심사운영 절차에 맞게 자동화 심사 도구로 설계하고 구현했다. 설계근거 문서는 ISO/[EC 15504의 표준문서와 SPICE 한국 위원회의 심사운영규정 그리고 적용사례 분석 논문을 기준으로 했으며 심사 대상 프로세스를 (ENG2)로 한정했다. 제안된 심사 시스템은 심사의 전 과정을 지원하고 각 심사단계의 목표와 결과물을 제시해 주며, 심사 결과물은 화면상에서 직접 작성되고 저장된다. 또한 등급 결정 시에는 저장된 모든 자료와 문서를 검색하여 참조함으로 심사의 신뢰성을 높이도록 설계했다. 예비심사 7단계와 현장심사 9단계의 모든 화면을 표준화시켜 친근감을 높였고, 표준 문서의 세부 내용과 심사 대상 프로세스의 목적, 성공적 구현결과 그리고 기본활동 및 입출력 산출물이 무엇인지 확인할 수 있도록 했다. 또한 달성도 입력과 동시에 자동으로 등급이 계산되어 그래픽 처리되어 나타난다. 제안된 심사 지원 시스템은 소프트웨어 개발 프로세스의 객관적인 심사와, 심사 프로세스의 정형화와 자동화를 통한 심사 비용의 절감 그리고 소프트웨어 개발 조직의 능력 판정과 자체 프로세스의 개선을 위한 프로세스 심사의 활성화에 기여할 것이다.

웹의 짧은 역사에 비하여 웹 관련 기술이 급속히 발전하고 있다. 이것에 비하면 웹 어플리케이션의 품질 개선 속도는 이에 따르지 못하고 있다. 따라서 웹 시스템 개발에 대한 효율적인 개발 방법이 필요하다. 본 논문은 웹 시스템을 개발하는데 필요한 항목들을 기술하였다. ISO/IEC 12207표준에 근거하여, 웹을 기반으로 하는 소프트웨어 개발 모형을 분석 및 설계 단계를 중심으로 제시하였다. 컨텐츠를 웹 어플리케이션에 반영하기 위하여 프로세스와 엔터티 정의방법을 기술하였다. 본 모형을 사용한 KCC 정보통신(주) Web-RoadMap 방법론을 공공 프로젝트에 적용하였다. 적용결과 효율적인 웹 어플리케이션의 분석 및 설계의 한 모형임을 입증하였다.

본 시스템은 웹 상에서 가상으로 메이크업과 헤어스타일 그리고 액세서리 등을 사용자 자신의 얼굴에 적용시켜 볼 수 있는 시뮬레이션 시스템이다. 시뮬레이션의 결과는 데이타베이스에 저장되며 프린터로도 출력이 가능하다. 본 시스템은 자바 애플릿으로 제작되어 서비스가 되므로 웹 브라우저 이외의 클라이언트 프로그램은 필요하지 않으며, 웹 브라우저에 자바 플러그인만 설치되어 있으면 실행이 가능하다. 윈도 2000의 IIS 웹 서버와 MS-SQL7 데이타베이스를 이용하여 구현하였으며, 자바 애플릿과 데이타베이스의 연결은 상용화된 JDBC Driver Type 4를 이용하였다. 구현된 VMSS는 웹 기반의 서비스 제공을 위한 새로운 컨텐츠 개발의 유형을 제시하였으며, 다양한 분야에 대한 응용이 가능할 것으로 생각된다.

실시간 시스템이 복잡해짐에 따라 이를 개발하는 과정에서 객체 지향 설계 방법론과 이를 지원하는 CASE 도구들이 널리 사용되고 있다. 그러나 이런 객체 지향 CASE 도구를 사용할 경우, 설계자들은 별도의 과정으로 객체 중심으로 설계된 모델을 실제 수행되는 주체인 태스크로 변환시켜야 한다. 불행하게도 객체 모델과 태스크는 특성이 근본적으로 다르고, 스케줄 가능성을 분석하기가 어렵기 때문에 이러한 과정을 자동화하기는 매우 어렵다. 이 문제를 해결하기 위하여 많은 CASE 도구에서는 개발자가 직접 수동으로 객체를 태스크로 변환시키도록 요구하고 있다. 결과적으로 개발자들은 자신의 경험을 바탕으로 하여 임시 변통적인 방법에 의존하여 태스크를 유도하고 있다. 유도된 태스크 집합은 결과 시스템의 스케줄 가능성에 직접적으로 중요한 영향을 미친다. 본 논문에서는 실시간 객체 지향 설계 모델을 스케줄 가능성을 고려해 다중 스레드 구현으로 자동적으로 변환하는 방법을 제안한다. 본 논문에서 태스크는 다른 주기와 종료시한을 갖는 상호 배타적인 트랜잭션들로 이루어진다. 이러한 새로운 태스크 모델에 대하여 스케줄 가능성 분석 알고리즘을 제시한다. 또한 제안된 방법을 지원하기 위하여 런 타임 시스템과 코드 생성이 어떻게 지원되어야 하는지에 대하여 설명한다. 사례 연구는 단일 태스크 매핑의 부적절성을 보여줌과 함께, 다중 태스크를 수동으로 유도하는 것이 매우 어렵고, 제안된 방법이 실질적으로 유용하다는 것을 명백하게 보여준다.

이기종 워크스테이션 클러스터링은 응용 프로그램의 병렬 처리에 유용하며 비용 측면에서 효과적이다. 이기종 워크스테이션 클러스터링 환경에서 총작업반환시간을 최소화하기 위해서는 부하 균형 시스템이 필요하다. 기존의 부하 균형 방식은 각 워크스테이션의 처리능력에 가중치를 미리 부여하여 작업을 분배하는 정적방식이거나, 각 워크스테이션의 상대적 처리능력을 얻기 위해서 성능 테스트 프로그램을 수행하는 동적 방식이 있다. 수행되는 응용 프로그램과는 관계없는 성능 테스트 프로그램은 계산시간을 소비하고 총작업반환시간을 지연시킨다. 이 논문은 상대적 부하 색인에 기초한 효과적 작업 분배 방식과 작업 이주 방식을 제안하였으며 이기종 워크스테이션 클러스터 환경에서 부하 균형 시스스템을 설계 구현하였다. 이 논문에서 제안한 방식의 총작업반환시간을 실험을 통하여 부하 균형을 하지 않은 라운드 로빈 방식의 총작업반환시간과 성능 테스트 프로그램에 의한 부하 균형 방식의 총작업반환시간과 비교하였다. 실험 결과는 비교한 방식보다 제안 방식의 결과가 우수함을 보였다.

승무일정계획이란 특정 기간동안 운행할 차량들을 대상으로 각 차량마다 필요로 하는 승무원을 배정하는 계획을 말한다. 최적 승무일정계획의 수립은 일반적으로 가능한 모든 종류의 개별 근무표들을 생성한 다음 이들을 대상으로 투입 승무원의 수가 최 소화 될 수 있는 최적조합을 선정하는 방식으로 이루어지고 있다. 근무표 최적조합의 선정을 위한 종래의 기법들은 주로 선형계획법에 기반을 두고 있으나, 목적함수에 선형식으로 표현하기 어려운 요소가 포함되어 있을 경우 적용이 어렵다는 문제가 있다. 본 논문은 선형식으로 표현하기 어려운 목적함수를 포함할 뿐만 아니라 동원 가능한 승무원의 수가 제한되어 있는 경우에도 계획 수립이 가능하도록, 기존의 정수계획법에 휴리스틱 탐색기법을 결합하는 방안을 제시한다. 휴리스틱 탐색은 정수계획법에 의해 일차로 도출된 계획의 불완전한 부분을 교정하기 위해 반복적 개선 탐색을 수행하는 방식으로 이루어진다. 기존의 방법으로 해결이 어려운 실제 현장의 승무일정계획 문제를 대상으로 한 실험 결과, 본 논문의 방법은 전문가의 수작업 결과보다 더 좋은 수준의 계획을 빠른 시간 내에 수립할 수 있음을 확인하였다.

본 논문에서는 서로 다른 플랫폼으로 구성된 허브 사이트 가맹점들이 지역적으로 분산되어 있는 분산 이기종 환경에서 각 가맹점들의 기존 플랫폼을 통일시키지 않고 독립적으로 고객이 관심을 가질만한 맞춤 정보 및 광고를 선정하여 제공하기 위한 시스템 설계 및 구현 내용을 서술한다. 본 논문에서 제안하는 시스템은 각 가맹점을 방문하는 고객들의 정보를 수집하기 위한 모니터링 기능, 고객 개개인의 특성에 맞는 서비스를 선정하기 위한 벡터 모델, 그리고 벡터 모델을 이용하여 선정된 서비스를 허브사이트 또는 각 가맹점을 방문하는 고객 개개인에게 제공하기 위한 기능을 지원한다. 본 시스템은 상점 입장에서는 허브 사이트 가맹점이 됨으로써 기존 플랫폼을 바꾸지 않고도 통합 서비스 및 개인화 서비스 제공이 가능하며, 고객 입장에서는 한번의 고객 등록으로 맞춤 서비스를 제공받을 수 있다는 장점을 갖는다.

인터넷이용의 급증에 따라 지식정보화사회 전반의 작업들이 분산환경의 디지털도서관에 저장되어 있는 멀티미디어 컨텐츠를 쉽고 신속하게 찾아 새로운 정보를 생성 또는 공유하는 작업을 통해 이루어진다. 이를 위해 핵심적으로 연구해야 할 부분은 원격지에 흩어져 있는 정보를 효과적으로 연결시켜서 의미있고 일관된 형태로 보여지도록 하는 것이다. 이 목적을 달성하기 위해 디지털도서관에서는 물리적으로 홑어져 있는 정보들이 논리적으로 일관되게 표현될 수 있는 가상공간을 제공해야 하며 가상공간에서 정보가 표현되었을 때 사용자가 원하는 정보를 신속하게 수집하여 제시할 수 있어야 한다. 가상문서(Virtual Document)란 특정 저장장소에 저장되어 존재하던 물리적 문서(Physical Document)들을 대상으로 사용자에게 필요한 일부분 또는 전체를 동적으로 연결하여 통합한 문서를 의미한다. MIRAGE-III 디지털도서관에서는 일반 텍스트문서와 XML로 기술된 구조화된 가상문서를 대상으로 내용기반 검색을 수행한다. 이 시스템에서는 XML 문서구조를 기반으로 부분문서의 검색이 가능하며 문서의 속성 및 계층구조에 대한 검색과 문서간의 링크관계를 이용한 검색도 가능하다. 본 논문에서는 MIRAGE-III 디지털도서관에서의 질의어처리기 및 검색기를 설계하고 구현한 방법론에 대하여 기술한다.

본 논문은 인증서를 기반으로 한 SSO(Single Sign-On)를 구현함에 있어 LDAP(Lightweight Directory Access Protocol)의 DN(Distinguished Name)과 속성(Attribute)을 지정함에 따라 다양한 응용서비스들을 수용할 수 있는 데이타 구조를 설계하였다. 조직의 인사데이타를 바탕으로 LDAP 데이터를 구축하고, 수시 변경되는 자료에 대하여는 연동에 의한 지속적인 자동수정 기능을 적용하였다. 또한 인증서 발급을 위해서 PKI(Public Key Infrastructure) 기반의 CA(Certificate Authority) 서버를 적용하였으며, 인증통신을 위한 데이타 암호화는 SSL(Secure Socket Layer) 기반의 SHTTP(Secure Hyper Text Transfer Protocol)을 적용하였다.

최근 인터넷 환경 속에서 이동 에이전트와 관련된 기술들이 지속적인 관심과 연구의 대상이 되고 있다. 이동 에이전트는 사용자가 정한 여정 리스트에 따라 자율적으로 이동을 하며 사용자의 요구사항을 대신하는 대리인의 역할을 한다. 이러한 이동 에이전트를 통해 분산 환경 속에서 여러 가지 이득을 얻을 수 있게 되었다. 하지만, 이동 에이전트는 보안상 많은 취약점을 가지고 있다. 특히 이동 에이전트에 대한 불법적인 호스트의 공격은 이동 에이전트가 상업적으로 널리 이용될 수 있는데 있어서 가장 큰 걸림돌이 되고 있다. 이에 따른 이동 에이전트 자체에 대한 보안으로 많은 연구가 진행되고 있다. 이 논문에서는 이동 에이전트가 가지고 있는 이동성에 따른 위험성을 여정 리스트의 분석을 통해 제거하고 코드의 중요도에 따라 코드를 분할 및 재생성하여 이동 에이전트 자체의 보안을 유지하고자 한다. 또한 이러한 이동 에이전트의 분할 및 재생성을 수행하는 역할을 이동 에이전트 게이트웨이(MAG-Mobile Agent Gateway)로 설계 및 구현하였다. MAG을 통해 이동 에이전트는 보다 안전하게 사용자의 역할을 대신함으로 인해 이동 에이전트가 사용자의 역할을 안전하게 수행하는데 기여하고자 한다.