권호 표지

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

한국정보처리학회 (Korea Information Processing Society)

  • 격월간
  • /
  • 1598-2866(pISSN)

과학기술표준분류

  • 정보/통신 ＞ 정보이론

Aim & Scope

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

KSCI

제12D권7호

  1. 이태훈;권기현 931
    https://doi.org/10.3745/KIPSTD.2005.12D.7.931 PDF KSCI
    임베디드 소프트웨어는 크기나 기능면에서 복잡하기 때문에 에러가 숨어있을 확률이 높다. 그래서 에러를 효과적으로 찾아낼 수 있는 방법이 절실히 요구된다. 임베디드 소프트웨어에서 잠재적인 오류를 찾아내는 기술중의 하나가 모델 체킹이며, 대표적인 연구로서 SLAM 이 있다. SLAM은 임베디드 C 프로그램의 안전성 속성을 검증하는 소프트웨어 모델 체킹 도구이다. 본 논문에서는 임베디드 자바 프로그램을 검증하는 모델 체킹 도구를 개발했다. SLAM과는 달리 자바 프로그램의 안전성뿐만 아니라 궁극성 속성을 모두 검증할 수 있다. 개발된 모델 체킹 도구를 이용하여 레고 로봇을 제어하는 임베디드 자바 프로그램의 속성을 검증하였다.
  2. 황선명;염희균 937
    https://doi.org/10.3745/KIPSTD.2005.12D.7.937 PDF KSCI
    최근의 소프트웨어 시장에는 조직의 사업 목적 달성을 위한 성숙모델, 표준, 방법론 및 지침들이 개발되고 있다. ISO/IEC 15504와 CMMI등 모든 SPI 모델들은 숙련된 전문 심사원을 통하여 소프트웨어 프로세스의 능력수준을 결정한다. 그러나 숙련된 전문심사원이라 할지라도 프로세스 측정을 위한 체계적인 척도를 제공하지 않으므로 심사원은 심사대상 프로세스의 정량적인 수준 측정을 위하여 객관적이며 일치된 판단을 통해 프로세스를 평가할 수 없다. 본 논문에서는 ISO/IEC 15504와 CMMI의 핵심 프로세스들에 대하여 정량적이고 객관적인 측정을 위하여 척도를 설계하였고, 실험을 통하여 척도의 타당성을 분석방법을 이용하여 증명하였다. 이를 통해 객관적인 측정 절차와 척도의 사용을 통하여 효과적 SPI 활동을 기대할 수 있다.
  3. 차정은;김철홍;양영종 947
    https://doi.org/10.3745/KIPSTD.2005.12D.7.947 PDF KSCI
    소프트웨어(S/W) 재공학은 S/W의 생명주기의 연장을 통한 지속적인 비즈니스 가치 창출 및 궁극적인 S/W ROI(Return on Investment) 확대에 가장 효과적인 기술 중 하나이다. 그럼에도 불구하고 S/W 재공학은 비용 소모적이며, 그 효과 역시 미흡한 어려운 작업으로 인식되어 왔다. 사실, 빈번히 발생하는 유지보수 요구에 대해 레거시 시스템들을 일치성 없이 그때그때 확장, 수정함으로써, 기존 시스템 본연의 의도를 상실 시켜 S/W시스템 아키텍쳐가 존재하지 않는 난잡한 시스템으로 전환시키는 경우가 종종 발생하고 있다. 더욱이 급격히 변하는 시스템 환경과 복잡 다양해지는 고객의 요구를 충족시킬 수 있는 새로운 S/W 시스템들을 매번 적시에(Time-to-Market) 제공하기는 거의 불가능하다. 따라서, 새로운 IT 기술의 출현과 비즈니스 정보 모델의 다양한 변경, 시스템 처리 로직의 급격한 복잡성 증가 등의 변화에 적절히 대처하기 위해서는 조직의 주요 자산으로서 레거시 시스템의 활용을 극대화할 수 있는 체계적인 재공학이 요구된다. 그러므로 본 논문에서는 레거시 시스템들의 가치를 극대화할 수 있는 체계적인 재공학 방법론 제공을 목적으로, 재공학의 초기 계획 단계에서부터 역공학 과정과 컴포넌트 변환 단계를 포함하는 재공학 프로세스와 그에 따른 구체적인 작업과 기법 및 산출물들을 명시한 레거시 시스템의 컴포넌트화 프로세스인 마르미-RE를 제안하고 간단한 사례적용 과정을 제시한다.
  4. 김정옥;이상영 957
    https://doi.org/10.3745/KIPSTD.2005.12D.7.957 PDF KSCI
    웹 환경이 급변함에 따라 인간과 컴퓨터간의 복잡한 상호작용을 지원하기 위한 인터페이스에 대한 설계가 필요하게 되었다. 본 논문에서는 사용자 인터페이스의 품질 향상을 위하여 객체 모델링 기법을 제시한다. 사용자 인터페이스의 가시적 응집도 향상을 위하여 비즈니스 이벤트객체 모델링, 태스크 객체 모델링, 트랜잭션 객체 모델링, 폼 객체 모델링과 같은 4 가지의 비즈니스 이벤트 객체를 제안한다. 본 논문에서 제시하는 4단계 설계를 통하여 사용자 인터페이스 프로토타입의 가시적 응집도를 향상시킬 수 있다. 이것은 비즈니스 이벤트의 가시적 응집도를 향상시킬 수 있도록 하고, 비숙련된 설계자도 향상된 사용자 인터페이스 프로토타입을 개발할 수 있도록 한다 또한 비즈니스 태스크의 이해도를 증진시키고 프로토타입 시스템 개발 회수를 줄일 수 있다.
  5. 이은서;이상호 965
    https://doi.org/10.3745/KIPSTD.2005.12D.7.965 PDF KSCI
    소프트웨어 개발 시, 일정과 품질에 저해 요인이 되는 결함이 다수 존재한다. 일정과 품질의 저해 요인을 제거하고 동시에 체계적으로 이를 관리하기 위하여 본 논문에서는 opportunity tree 프레임워크를 설계한다. 유사한 프로젝트를 수행 시 영역 전문가의 지식을 활용한 opportunity tree 발생되는 문제점을 예측, 대비할 수 있게 하여, 소프트웨어 프로세스를 개선할 수 있다 본 연구에서는 소프트웨어 개발 시 발생하는 일정관리에 대한 결함을 찾아내고, 원인을 식별 및 해결책을 제시하고자 한다.
  6. 김치수;김영태 979
    https://doi.org/10.3745/KIPSTD.2005.12D.7.979 PDF KSCI
    많은 웹 기반 정보시스템은 여러 가지 클라이언트 장치와 사용자들, 사용자 작업에 대한 시스템의 유저 인터페이스에 관한 적응을 요구한다. 본 논문에서는 개발자가 고수준 마크업 언어를 사용하여 웹 기반 인터페이스를 명세 할 수 있는 웹 기반 정보시스템에 적합한 클라이언트인터페이스를 제공하기 위한 새로운 접근방법을 제시하고자 한다. 단일 인터페이스 명세는 실행 시에 다중 웹 장치에 대한 인터페이스를 자동으로 제공하기 위한 것이다. 본 접근방법은 개발자들이 웹 기반 유저 인터페이스를 현재 다른 접근 방법들보다 더 쉽게 구성하고 유지할 수 있게 할 것이다.
  7. 박종모;조경산 985
    https://doi.org/10.3745/KIPSTD.2005.12D.7.985 PDF KSCI
    OLAP 시스템은 사용자가 다양한 측면에서 대화식으로 정보를 분석할 수 있는 의사결정 지원 시스템이다. 기존의 컴포넌트를 이용한 CBD 방법론을 OLAP 시스템 구축에 직접 적용하는 것은 정형화된 컴포넌트로 인해 유연성과 재활용성 측면에서 한계를 가진다. 본 연구에서는 이러한 한계를 극복하기 위해 비즈니스 요구사항과 개발 컴포넌트를 포함하도록 확장한 템플릿의 개념을 CBD 방법론에 도입하였다. 이러한 템플릿에 기초하여 OLAP 시스템을 보다 쉽게 개발하고 재활용성을 높일 수 있는 템플릿 기반 CBD 방법론(TCBD)을 제안하였다. 템플릿 기반 방법론은 이미 생성된 템플릿에 가변적 객체를 변경하여 비즈니스 요구사항을 반영하도록 하였다. 제안 방법론을 OLAP 시스템의 실제 구축에 적용하여 제안된 TCBD 방법론이 유연성과 재활용성 측면에서 효율적이고, 테스팅과 디버깅 단계를 포함한 개발 기간을 단축할 수 있음을 보인다
  8. 이길섭;이현철;이승종 993
    https://doi.org/10.3745/KIPSTD.2005.12D.7.993 PDF KSCI
    최근에 ISO/IEC 9126과 ISO/IEC 14598에 기반한 소프트웨어 품질 평가는 다양한 분야에서 넓게 받아들여지고 있다. 그러나 소프트웨어 품질에 대한 이러한 표준들은 소프트웨어 제품에 대한 품질 모델과 품질 평가 프로세스의 실제적인 활용을 위한 지침을 제공하고 있지 않다. 그리고 대부분의 소프트웨어 사업에서 품질관리는 이러한 표준을 적용하기보다는 결함사항을 관리하는 방식으로 수행되고 있다. 그래서 본 논문에서는 국방 CBD 방법론의 산출물에 대한 정량적 품질 평가 방법을 제시한다. 특히, 본 논문에서 제시된 방법은 대부분의 표준 품질 평가 프로세스를 허용하면서 소프트웨어에 대한 이해관계자들에게 신중하게 작성된 설문서를 제시하여 얻어진 자료를 AHP 기법을 통하여 분석된 품질특성의 중요도를 이용하는 정량적 품질 모델을 적용한다. 또한, 소규모 소프트웨어 사업에서 얻어진 국방 CBD 방법론의 산출물에 대하여 품질평가 점검표를 적용하여 제안된 방법을 시험하였다. 결과적으로 제시된 방법은 고품질 소프트웨어를 획득하는 것이 가능함을 확인할 수 있었다.
  9. 이현철;이상호;정경철;이승종 1001
    https://doi.org/10.3745/KIPSTD.2005.12D.7.1001 PDF KSCI
    국방부에서는 정보체계획득 및 개발표준화를 위해 MND-AF와 국방 CBD 방법론을 개발하여 정보체계의 상호운용성과 재사용성 증대를 통해 효율적인 통합 및 표준화 관리가 이루어지도록 하고 있다. 그러나 MND-AF와 국방 CBD 방법론간 프로세스 적용범위 및 산출물 상호관계에 관한 명확한 가이드라인과 활용방안이 없는 실정이다. 이로 인해 두 절차에서 요구하는 산출물을 각각 작성함으로써 산출물 중복작성, 불필요한 개발기간 연장과 비용 증가로 비효율적인 업무수행이 이루어지고 있다. 본 논문에서는 두 절차의 요구산출물들을 구성요소 단위로 분석하여 국방 CBD 프로세스에 따라 MND-AF 산출물의 재활용 적용 방안을 제시하였다. 또한 산출물 작성 부담을 경감시키고 형식보다는 내용에 충실한 산출물을 작성하도록 하여 산출물의 품질 및 재사용성을 높일 수 있다. 연구결과, 국방 CBD 방법론을 적용하여 정보체계를 개발 할 경우 MND-AF산출물 37종 중 34종의 산출물을 재사용할 수 있다.
  10. 이형원 1007
    https://doi.org/10.3745/KIPSTD.2005.12D.7.1007 PDF KSCI
    프로세스 모델링 언어 설계에 있어서의 핵심적인 요구사항은 풍부한 기술적 의미론의 제공과 사용의 용이성간의 적절한 균형이다. 기존 프로세스 모델링 언어들은 프로세스 언어가 갖추어야 할 이러한 두 가지 측면을 동시에 만족시키지 못함으로써 그 동안의 다양한 연구에도 불구하고 실제 소프트웨어 산업계에서 널리 사용되지 못하고 있다. 본 논문에서는 이러한 단점을 제거한 프로세스 모델링 언어 RAiSE를 정의하고 이를 잘 알려진 벤치마크 프로세스인 ISPW-6 소프트웨어프로세스에 적용한 결과를 설명한다. RAiSE는 쉽게 이해할 수 있는 그래픽 표기법을 기반으로 하여 다양한 모델링 패러다임들의 필수적인 요소들을 결합시킴으로써 이해하기 쉬우면서도 엄격하고 풍부한 의미론을 제공한다. RAiSE에 의해 작성된 프로세스 모델은 규칙 기반 전문가 시스템 도구인 CLiPS로 구현한 프로세스 엔진에 의해 해석되고 실행된다.
  11. 정영애;박용범 1017
    https://doi.org/10.3745/KIPSTD.2005.12D.7.1017 PDF KSCI
    소프트웨어의 요구사항 변경은 소프트웨어의 생명주기 전반에 걸쳐 발생한다. 이러한 변경은 소프트웨어의 수정을 요구하며, 소프트웨어 수정시 소프트웨어의 품질과 안정성을 향상시키는 것은 중요한 문제이다. 리팩토링은 소프트웨어의 품질과 안정성을 보장하면서 소프트웨어를 수정하는 기술이다. 따라서 리팩토링의 자동화에 대하여 다양한 연구가 이루어지고 있다. 본 논문에서는 무브 메소드(Move Method)의 적용여부를 결정지을 수 있는 세 가지 요인을 정의하였다. 정의된 요인에 의해 데이터를 샘플 프로그램에서 추출하였고, 추출된 데이터에 이진 로지스틱 회귀분석을 적용하였다. 이진 로지스틱 회귀분석을 통하여 얻은 무브 메소드 적용 여부에 대한 추측결과는 숙련된 프로그래머들의 수동분석 결과와 상당부분 일치하였다 더불어, 각 요인들은 프로그램 내에서 메소드의 위치를 결정하는데 중요하게 작용하며, 메소드의 최적 위치를 결정짓는 기준으로써 사용될 수 있음을 밝혔다.
  12. 최성 1023
    https://doi.org/10.3745/KIPSTD.2005.12D.7.1023 PDF KSCI
    컴포넌트 기반 개발(Component Based Development, CBD)은 미리 구현된 블록단위의 컴포넌트를 사용하여 소프트웨어 개발비용 및 시간을 단축할 수 있다. 또한 컴포넌트는 내부의 상세 부분을 숨기고 인터페이스를 제공하여 대형 어플리케이션을 개발하는데 복잡성을 감소시킬수 있다. 엔터프라이즈 프레임워크 환경에서의 패밀리(Family)의 공통적인 요구사항은 컴포넌트 내 업무 워크플로우 형태로 표현될 수 있으나 ,다양한 패밀리 멤버(Family Member)의 요구사항에 특화된 워크플로우를 하나의 컴포넌트 내에 표현하는 것은 쉽지 않다. 따라서 패밀리 멤버(Family Member)를 위한 컴포넌트간 워크플로우 가변성 관리 및 구현 방법에 대한 필요성은 끊임없이 요구되고 있다. 본 연구에서는 은행업무의 엔터프라이즈 프레임워크에서 컴포넌트 워크플로우 가변성을 위한 구현 기법을 적용한 사례로 제시하였다. 예시된 컴포넌트 워크플로우 가변성 구현 기법은 엔터프라이즈 프레임워크에서 패밀리가 사용할 수 있는 공통 업무 워크플로우가 컴포넌트 내에 이미 생성되었음을 가정하며, 다양한 패밀리 멤버에 특화된 컴포넌트간의 워크플로우 구성 및 실행을 위한 기법으로 컴포넌트간 워크플로우의 확장성을 높여주게 된다.
  13. 이용두;최성만;유철중;장옥배 1031
    https://doi.org/10.3745/KIPSTD.2005.12D.7.1031 PDF KSCI
    본 논문에서는 시스템 사용현황을 파악할 수 있는 데이터를 최대수용 트래픽양과 실제 트래픽량으로 구분해서 측정하며 프로토콜 변경에 따른 트래픽량 변화와 사고발생시의 과부하 조건에서의 트래픽을 분석할 것이다. 이로 인해 전력감시제어설비의 안전성을 극대화할 수 있는 계기를 미련하고자 한다 또한, 현재 유통되고 있는 트래픽이 어느 정도인지를 알고 그 증가율 추세를 파악하여 앞으로 예상되는 트래픽량을 미리 예측하여 필요한 대역폭을 미리 확보하는 자료로 활용하고, 네트워크 정보분석을 통한 한정된 네트워크 자원의 효율적인 배치로 안정된 전력감시페어시스템의 운용을 가능하게 함으로써 신뢰성을 향상시킬 수 있다.
  14. 김정일;이은석 1039
    https://doi.org/10.3745/KIPSTD.2005.12D.7.1039 PDF KSCI
    대규모의 과제를 수행함에 있어 소프트웨어 형상 관리는 필수이다. 소프트웨어 형상관리 (Configuration Management)의 범주는 버전관리 외에도 각 개발자의 작업영역 관리, 소프트웨어 제작 관리, 개발 프로세스 제어부분까지 폭 넓게 포함하고 있다. 본 논문은 이러한 형상관리 부분에서 소프트웨어 제작부분의 최적화를 위해 다른 부분들이 어떻게 상호 유기적으로 조정되어야 하는지에 방향성을 두고 있으며 특히 형상관리 되어지는 정보 중에 어떠한 내용을 리포팅 할 때 소프트웨어 제작부분의 효율이 높아지는지에 대해 분석하고 그것을 기반으로 새로운 리포팅 시스템을 설계, 구현하고 평가하였다. 평가시에는 기존의 형상관리도구들의 관련 기능들에 대한 분석을 바탕으로 한 상대적 유효성에 대해 평가하였으며 각 리포팅 대상자들에게 관련 정보를 제공했을 때 생겨나는 변화에 대하여 설문 조사하여 그 유효성기 정성적 평가를 추가하였다.
  15. 김세화;박지용;홍성수 1049
    https://doi.org/10.3745/KIPSTD.2005.12D.7.1049 PDF KSCI
    내간형 시스템이 제공하는 기능이 다양해지고 그 구조가 복잡해짐에 따라, 이들 시스템을 설계하는 데에 객체 지향 설계 방법론이 널리 사용되고 있다. 객체로 설계된 시스템을 대상 하드웨어에서 수행시키기 위해서는 객체들로부터 태스크 집합을 유도해야 하는데, 여기에 몇 개의 태스크가 존재하며 각 태스크가 어떤 객체들로 도착한 어떤 이벤트를 처리하느냐에 따라 시스템의 응답성이 크게 좌우된다. 그럼에도 불구하고 객체와 태스크의 상이함 때문에 최적의 태스크 집합을 유도하는 것은 매우 어려운 일이며, 그로 인해 지금까지는 여러 태스크 집합을 반복적으로 시도해 보는 것이 보편적인 방법이었다. 본 논문에서는 이 문제를 해결하는 Scenario-based Implementation Synthesis Architecture(SISA)를 제안한다. SISA는 객체로 설계된 시스템에서 태스크 집합을 유도하는 방법, 그리고 이를 지원하는 개발 도구와 런타임 시스템 아키텍처를 총칭한다. 이를 이용하여 개발된 시스템은 가능한 적은 개수의 태스크들로 이루어져 있으면서도 시스템의 각 이벤트에 대한 응답 시간이 최소임이 보장된다. 우리는 UML 2.0을 모델링 언어로 사용하는 개발도구인 ResoRT를 확장하여 SISA를 구현했으며, 기 개발된 산업용 PBX(사설교환기) 시스템에 이를 적용했다 이 시스템의 성능 평가 결과, 지금까지 알려진 최선의 태스크 유도 방식을 이용하여 개발되었을 때에 비해 ,시스템의 최대 응답 시간이 평균 $30.3\%$ 단축된다는 것을 확인할 수 있었다.
  16. 최재현;이우진;정기원 1065
    https://doi.org/10.3745/KIPSTD.2005.12D.7.1065 PDF KSCI
    최근 임베디드 시스템의 급격한 발전으로 인해, 임베디드 시스템의 활용 범 위와 복잡도는 증가하고 있지만 임베디드 시스템의 개발생산성과 품질은 그러한 현실에 부합하지 못하고 있다. 이것은 임베디드 시스템 개발 특히 소프트웨어의 개발에 있어서는 특정 하드웨어 환경에 종속적인 개발방식에 비롯된 것이며 임베디드 시스템의 개발생산성 및 품질을 향상시키기 위해서는 이러한 개발방식에 대한 개선이 시급하다. 이러한 개발방식의 개선을 위한 기존 연구들에서는 별도의 인터페이스 명세언어나 복잡한 템플릿을 이용하여 디바이스 드라이버를 자동으로 생성하도록 하고 있지만 명세기법의 높은 복잡도나 부족한 유연성으로 인해 실제로 적용하기에는 많은 노력이 필요하다. 이에 따라 본 논문에서는 재사용 가능한 디바이스 드라이버 개발을 위해 가벼운 템플릿을 정의하고 모델링 측면을 감안하여 XML로 표현되는 하드웨어 정보를 결합하여 디바이스 드라이버를 생성하는 방안을 제시한다. 이것은 개발자가 손쉽고 적용 가능한 템플릿으로 디바이스 드라이버를 정의하고, XML로 명세된 특정 하드웨어 정보를 결합하여 실제 드라이버를 생성함으로써 높은 개발생산성을 보장하며 발전적으로 설계 단계에서의 검증을 통한 품질향상도 기대할 수 있다.
  17. 이혜선;박재년 1071
    https://doi.org/10.3745/KIPSTD.2005.12D.7.1071 PDF KSCI
    비즈니스 시스템 분석을 위한 유스케이스 모델링은 유스케이스의 기능 별 분해 수준 및 시나리오의 구체적인 기술 단계를 어느 수준까지 작성해야 할 지 결정하기 어렵고 사용자가 분석 결과를 쉽게 이해하기가 어렵다. 본 논문에서는 비즈니스 시스템 분석 단계에서 사용자와 개발자 모두 쉽게 이해할 수 있는 표기법을 사용하여 사용자의 요구사항을 직관적으로 표현할 수 있는 정보구조 모델링을 정의하고, 객체 타입 별로 이벤트 객체, 재산 객체, 거래 객체로 분류 정의하여 추출하는 방법에 대해 제안함으로써 사용자의 요구사항 변경에 쉽게 대처하고, 개발자들이 분석 결과를 기반으로 설계를 위한 클래스 도출을 보다 용이하게 할 수 있도록 한다.