• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2003년도 춘계학술발표논문집 (하)
• /
• pp.1665-1668
• /
• 2003

기존 프로세스 모델링 언어들은 엄격한 의미론과 사용의 용이성이라는 프로세스 언어가 갖추어야 할 중요한 두 가지 측면을 동시에 만족시키지 못함으로써 그 동안의 다양한 연구에도 불구하고 실제 소프트웨어 산업계에서 널리 사용되지 못하고 있다. 본 논문에서는 이러한 단점을 제거한 프로세스 모델링 언어 RAiSE 를 정의하고 이를 예제 소프트웨어 프로세스에 적용한 예를 설명한다. RAiSE 는 쉽게 이해할 수 있는 그래픽 표기법을 기반으로 하여 다양한 모델링 패러다임들의 필수적인 요소들을 결합시킴으로써 이해하기 쉬우면서도 엄격하고 풍부한 의미론을 제공한다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2006년도 추계학술발표대회
• /
• pp.471-474
• /
• 2006

본 연구에서는 CBD기반 무기체계 임베디드 SW의 테스트 프로세스를 설계한다. 설계는 두 가지 방법으로 수행되며, 하향식 접근방법으로 프로세스 개발과정을 분석하고 상향식 접근방법으로 산출물을 분석한다. 이를 위해 정보체계 개발방법론으로 국방부의 '국방 CBD 방법론'과 한국전자통신연구원의 '마르마III'를 분석하고, 무기체계/임베디드 개발 방법론으로는 미국 국방성의 'MIL-STD-498'과 유럽의 임베디드 개발방법론인 'DESS'방법론을 분석한다. 분석 자료를 토대로 무기체계 임베디드 SW 테스트를 위한 구성요소를 도출하고, IDEF0 표기법을 활용하여 테스트 프로세스를 설계한다. 또한 제안한 테스트 프로세스를 TPI 모델을 통하여 평가한다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2006년도 추계학술발표대회
• /
• pp.459-462
• /
• 2006

과거 소프트웨어 개발 업체들이 소프트웨어 위기를 겪었던 것과 유사하게 최근 인터넷 업체들은 웹 위기에 빠져들고 있으며 이러한 웹 위기에 대한 효과적인 해결 방안으로 최근 제시되고 있는 것이 웹 컨텐츠 관리이다. 그러나 기존의 웹 컨텐츠 관리 시스템은 컨텐츠의 생산과 배포에 초점을 두고 있는 반면 웹 컨텐츠 관리 프로세스의 지원 기능은 상대적으로 미약하다. 본 논문에서는 소프트웨어 개발 프로세스를 효율적으로 정의하고 실행할 수 있는 프로세스 중심 소프트웨어 공학 환경인 PRAiSE에 웹 컨텐츠 관리 기능을 통합한 프로세스 중심 웹 컨텐츠 관리 도구의 설계 결과를 보인다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2004년도 추계학술발표논문집(상)
• /
• pp.271-274
• /
• 2004

소프트웨어 품질에 대한 관심이 증가하면서 품질을 측정하고, 평가, 개선하기 위한 테스트 프로세스에 대한 필요성이 대두했다. 현재, IEEE/Std 829-1983, SEI 의 CMM, DoD 의 MIL-STD-498, ANSI/IEEE 의 SVVP등 테스트 프로세스에 대한 여러 국제적 지침이 많이 있지만 그 수준이 너무 일반적이고 개괄적이어서 실제 소프트웨어 개발에 적용되기엔 어려움이 있다. 본 논문에서는 IEEE/Std 829-1983 과 현재 국내 A 대기업에서 실시되고 있는 테스트 프로세스를 소개하고 이들을 조사, 비교 분석해 실제 소프트웨어 개발에 적용할 수 있는 품질 관리 계획 내 포함될 수 있는 엔터프라이즈 테스트 프로세스(Enterprise Test Process)를 제안한다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2018년도 추계학술발표대회
• /
• pp.383-385
• /
• 2018

정확하고 신속한 주택 통계를 도출하기 위해서는 관련 정보를 생성하는 여러 정보시스템들의 연계하여 데이터를 통합할 수 있어야 한다. 또한, 체계화된 업무프로세스를 수립하여 데이터의 중복이나 오류 등의 문제점을 해결할 수 있어야 한다. 본 연구에서는 국가정보시스템인 건축행정정보시스템(세움터), 주택공급통계시스템(HIS), 부동산실거래관리시스템(RTMS)을 중심으로 주택공급관련 프로세스를 분석하고 효율적인 프로세스 방안을 제시함으로써 향후 주택통계 업무프로세스 수립에 활용될 수 있을 것이라 기대한다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2000년도 제13회 춘계학술대회 및 임시총회 학술발표 논문집
• /
• pp.1013-1016
• /
• 2000

최근 컴퓨터의 활용이 급증함에 따라 수 많은 소프트웨어가 등장하게 되었고, 이에 따라 소프트웨어의 품질을 보증하고 향상시키기 위한 기술 개발의 필요성은 국가간 경쟁력의 증대, 급격한 기술의 발전, 품질 인식의 확산 등으로 인하여 폭발적으로 증가하고 있다. 선진국에서는 이미 품질 향상을 위한 연구를 활발히 하고 있으며, 특히 소프트웨어를 개발하고 관리하는 프로세스를 효율적으로 개선하기 위한 소프트웨어 프로세스 심사 기술을 개발하여 적극적으로 활용하고 있다. 이에 따라 소프트웨어 프로세스 개선 노력을 지원해 줄 수 있는 자동화 도구에 대한 필요가 증가하게 되어, 본 논문에서는 소프트웨어 프로세스를 개선하기 위한 절차 및 개선 프로젝트를 추적, 관리하여 소프트웨어의 품질향상을 지원할 수 있는 도구를 제안하고자 한다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2013년도 춘계학술발표대회
• /
• pp.1077-1080
• /
• 2013

최근 소프트웨어는 네트워크를 이용한 서비스가 대부분이다. 그 중 그리드 딜리버리는 서버/클라이언트 모델에서 서버의 부담을 줄이기 위해 개발된 서비스다. 그리드 딜리버리는 사용자의 자원을 이용해 서비스를 원활하게 제공하는 방법으로 충분히 악용할 수 있다. 그러므로 이 논문은 악용되고 있는 그리드 딜리버리를 탐색하는 방법을 제안한다. 제안하는 방법은 모니터링 도구를 통해 모든 프로세스의 네트워크 자원을 감시한다. 그리고 네트워크가 사용되는 프로세스를 그리드 딜리버리로 추정하는 방법이다. 제안 방법은 두 단계로 나뉘어 진행된다. 처음으로 네트워크 자원을 사용하는 프로세스를 후보로 뽑아낸다. 두 번째로 이전 단계의 후보에 필터링을 적용해 그리드 딜리버리로 의심되는 프로세스를 찾아낸다. 이 논문에서는 제안하는 방법으로 실제 그리드 딜리버리 프로세스가 검출되는 것을 보임으로 제안하는 방법이 유효함을 보인다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2013년도 추계학술발표대회
• /
• pp.184-187
• /
• 2013

클라우드 컴퓨팅 기술로 인한 정보기술 영역의 파라다임의 변혁에 따라서, 다양한 산업의 기업들이 운영비용 및 투자비용 절감효과를 목적으로 클라우드 컴퓨팅을 도입하며 성공 사례를 논의하고 있으나, 기업의 프로세스 개선을 위하여 클라우드 서비스를 이용하는 접근방법은 아직 국내 사례에서는 부족하다. 본 논문에서는 클라우드 서비스를 관리하는 CSB(Cloud Service Brokerage) 플랫폼에서 서비스의 Orchestration을 지원하는 SOA(Service Oriented Architecture)의 WS-BPEL 기술을 적용하여 프로세스 자동화를 구축할 수 있는 아키텍처를 제시하였다. 클라우드의 SaaS 도입 시 어플리케이션뿐만 아니라, 인프라 서비스를 이용하는 IaaS 적용과 다른 프로세스와의 호환과 연동 작업을 구축하는 PaaS를 같이 적용함으로써 비즈니스 프로세스의 가치 향상이 가능하도록 본 논문에서는 클라우드 서비스 브로커 도입에 대한 시스템 아키텍처를 제안한다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2010년도 춘계학술발표대회
• /
• pp.946-949
• /
• 2010

요구사항은 프로젝트의 성패에 큰 영향을 미치며 체계적인 단계를 통해 생성된다. 요구사항 프로세스의 각 단계별로 의사결정이 요구한다. 그러나 요구공학 프로세스 및 단계의 다양한 요소로 인해 의사결정 절차와 방법의 차이가 발생함으로 요구공학의 자동화에 부정적 영향을 미치고 있다. 본 연구는 요구공학 프로세스의 의사결정 타스크를 정형화하는 것이다. 요구공학 프로세스별로 상이한 의사결정의 공통적인 패턴을 찾아 정형화하는 것을 목적으로 한다. 결과적으로 본 연구는 식별된 공통의 패턴을 기반으로 요구공학의 의사결정 모델과 정형화된 의사결정 타스크를 제안할 것이다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2009년도 춘계학술발표대회
• /
• pp.479-482
• /
• 2009

급변하는 경영 환경에서 기업의 목표나 정책목적을 실현하기 위해 많은 기업들이 비즈니스 프로세스의 중요성을 인식하게 되면서 비즈니스 프로세스 관리에 대한 관심이 높아졌다. 이러한 비즈니스 프로세스를 관리하기 위해 일반적으로 모델링 작업을 수행하게 되는데 모델링 작업 시 예기치 못한 여러 가지 이상 현상을 포함 될 수 있다. 본 논문에서는 본 연구자가 발표한 선행 논문을 바탕으로 기존의 이상 현상 검출 기법 중 그래프 축소 기법을 확장하여 모델링 단계에서 정의된 비즈니스 프로세스 모델의 구조적 이상 현상을 검출하고 명제 논리학을 이용하여 이의 타당성을 증명하였다.