• 정보과학회 논문지
• /
• 제42권11호
• /
• pp.1410-1422
• /
• 2015

소프트웨어 개발자들은 시스템의 설계를 위해 UML의 클래스 다이어그램과 같은 객체 모델을 이용한다. 객체-관계 변환 방법론은 객체 모델에 표현된 관계성들을 관계형 데이터베이스 테이블로 변환하는 방법론으로, 설계된 시스템의 구현을 위해 적용된다. 기존 객체-관계 변환 방법론의 연구들은 하나의 관계성을 표현하기 위해 여러 변환 기법들을 제안하였다. 하지만 각 변환 기법의 사용기준들이 존재하지 않아 구현에 적용하기 어려운 문제점이 있다. 따라서 이 논문은 각 관계별로 이진 결정 다이어그램 기반의 모델링 규칙을 제안한다. 이를 위해 변환 기법들을 구분하는 조건들을 정의하고, 질의 수행시간을 측정함으로 검증이 요구되는 모델링 규칙들을 평가한다. 평가 후, 이 논문은 명제 논리로 표현된 최종 모델링 규칙을 재정의하고, 사례 연구를 통하여 제안된 모델링 규칙이 설계된 시스템을 구현하는데 유용함을 보인다.

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

XML(eXtensible Markup Language) 프로그램이나 XML을 이용한 B2B 시스템 구축과 같은 XML 프로젝트에서는 객체 지향적 설계언어인 UML을 이용해 개발하면 효율을 높일 수 있다. UHL(Unified Modeling Language)로 XML문서 구조를 표현하는 이유는 XML문서를 생성, 접근, 수정하는 XML프로그램을 체계적이고 효율적으로 설계할 수 있기 때문이다. DTD(Document Type Declaration)와 스키마(Schema)를 UML로 표현함으로써 프로그래밍을 통합적으로 추진 할 수 있다. 이러한 과정에서 XML의 문서 구조정보의 활용 증대와 UML의 확장이라는 이점을 취할 수 있다. 본 논문에서는 UIML 기반의 다이어그램에서 XML 문서서로의 변환기에 대한 모델을 제안한다.

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

그래픽 언어 기반의 요구사항 작성은 임베디드 시스템의 RBT(Requirement-Based Testing)을 위해 적절한 요구사항 모델링이다. 본 논문은 그래픽 언어기반으로 작성된 요구사항을 상태 기반으로 해석하고, 테스트 케이스를 자동으로 생성하기 위한 방법에 대해 논한다. 먼저 요구사항 다이어그램의 구성을 살펴 보고, REED 라는 도구를 통해 실제 작성된 하나의 요구사항을 바탕으로 테스트 케이스 생성을 위한 모델 전체의 상태 공간을 정의하고 상태 공간과 테스트 케이스 생성에 대해 논한다.

• 정보과학회 논문지
• /
• 제45권2호
• /
• pp.150-156
• /
• 2018

소프트웨어 가시화 연구는 개발자들이 소프트웨어 시스템을 이해하고 코드 변경을 수행할 때 도움을 줄 수 있다는 점에서 중요하다. 최근 제시된 상향식 소프트웨어 가시화 도구들은 개발자가 직접 작업하는 코드 정보만을 보여주는 이점으로 개발자들의 작업에 도움을 줄 수 있다는 효과를 입증하고 있다. 하지만 이러한 도구들은 개발자가 탐색한 코드만 한정되게 보여주는 약점이 있다. 본 논문은 상향식 가시화 도구에서 연관이 되는 코드 정보를 제공하여 코드 탐색을 돕기 위하여 소프트웨어 개정 이력을 클래스 다이어그램으로 보이는 도구를 제시한다. 제시 도구는 개발자들이 커밋한 코드 정보를 한 번의 클릭으로 클래스 다이어그램으로 보여줌으로써, 개발자들의 코드 변경에 대한 빠른 이해를 돕는다. 또한 본 논문은 사례 연구를 통하여 개발자들이 수일동안 지속적인 변경 작업을 수행할 때 제시 도구가 유용할 수 있음을 보인다.

• 한국정보통신학회논문지
• /
• 제15권1호
• /
• pp.71-80
• /
• 2011

본 논문에서는 UML 클래스 저작도구를 위한 메타데이터의 정보를 구축하고 처리하는 방법을 제시하고자 한다. 저작도구의 메타데이터 정보 구축은 UML의 클래스 다이어그램을 구성하는 요소들 바탕으로 클래스 (Class)와 관계 (Relationship)를 정의한다. 클래스의 정보 정의는 클래스의 가시성과 클래스의 이름과 클래스의 속성 그리고 클래스의 오퍼레이션이다. 관계의 정보 정의는 관계의 이름과 관계의 유형과 시작클래스 그리고 도착 클래스이다. 본 논문에서 제시하는 클래스 저작도구를 위해 구축된 정보를 바탕으로 정보 저장소에서 정보를 저장하는 방법과 불러오는 방법을 제시한다.

• 한국정보보호학회:학술대회논문집
• /
• 한국정보보호학회 1994년도 종합학술발표회논문집
• /
• pp.288-302
• /
• 1994

정보시스템에 대한 위험분석 (risk analysis)은 정보시스템의 보안상태를 분석 및 평가하는 것으로 정보시스템의 보안상 취약부분을 보완하기 위한 보안대책을 수립하는데 안내자 역할을 하게 된다. 정보시스템의 보안대책 및 위험관리는 위험분석을 기초로 하므로 정보시스템은 합리적이고 정확한 위험분석을 수행해야 할 것이다. 위험분석기법은 수학적 기법과 다이어그램 기법이 있다. 수학적 접근방법 (mathematical approach)은 실제상황을 적절히 표현하기 어려우며 증명하기가 어렵다. 다이어그램기법 (diagraming techniques)은 이러한 수학적 접근방식의 한계를 극복함에 있어 휠씬 더 유용하다. 본 논문에서는 외국의 위험분석 기법(INFO SEC [4], SRAG [5], FIPS65 [6], JRAM [7]) 을 분석하였다.

• 한국정보처리학회논문지
• /
• 제5권4호
• /
• pp.892-903
• /
• 1998

기존 객체지향 모델링 및 설계 기법들을 다양한 관점에서 비교해 본 결과, 객체지향 분석과 객체지향 설계에 대한 경게와 모델링 개념 포현에 대한 표기법 이해에 어려움이 있음을 알 수 있었다. 본 논문에서는 객체지향 분석의 중요성을 인식하여 필수적인 객체지향 분석 특징과 이해하기 쉬운 표기법의 객체지향 분석을 지원하는 분석 지향 모델링(AOM:Analysis Oriented Modeling)을 정의한다. AOM은 시스템 관점과 클래스 관점을 가지며 outside-in 방식으로 문제 영역에 접근한다. 다음으로, 다이어그램 편집기, 다이어그램 분석기, 코드 생성기, 로더, 저장소, 저장기로 구성된 AOM 지원 CASE 틀을 설계한다. 문제 영역 분석 후, 기존 CASE 틀에 예제 모델을 실행시키고 $C^{++}$탬플릿을 생성한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2012년도 한국컴퓨터종합학술대회논문집 Vol.39 No.1(A)
• /
• pp.411-413
• /
• 2012

생강, 양파와 같은 농산물은 재배지에서 우리 식탁에 놓일 때까지 신선도 유지를 위하여 저장고에 넣어 관리한다. 하지만, 현재 설치되어 사용 중에 있는 저장고는 내부에 온/습도를 측정할 수 있는 센서를 부착하고 측정함에도 불구하고, 농산물이 얼거나 부패되는 문제점이 발생하고 있다. 이것은 저장고 내부 센서의 부착이 그만큼 효율적이지 못하다는 것을 반증하고 있는 것이다. 이 문제점을 극복하기 위하여, 본 논문에서는 보로노이 다이어그램을 이용한 센서 배치 기법을 제안한다. 이 기법은 저장고 내부의 공간을 평면 분할하고, 분할된 공간에 센서 배치를 함으로서, 저장고 내부의 온도를 정확히 얻을 수 있을 뿐만 아니라, 배치된 센서 개수의 최소화를 이룰 수 있도록 한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2003년도 봄 학술발표논문집 Vol.30 No.1 (B)
• /
• pp.124-126
• /
• 2003

인스펙션은 소프트웨어 개발 프로세스에서 작성된 산출물에 대한 품질 보증 활동의 하나이다. 산출물에서 결함을 찾을 수 있는 가장 정형적. 효율적, 경제적인 방범이 인스펙션이라고 알려져 있다［1］. 인스펙션은 테스트 전에 결함을 검출하여 소프트웨어의 품질을 높이고, 테스트 후에 발견되는 결함을 줄임으로써 유지보수에 드는 시간과 비용을 절감시킨다. 본 논문에서는 인스펙션 중에서도 코드에 관련된 인스펙션을 연구하고자 한다. 현재의 개발 패러다임은 CBD(Component Based Development)로 가고 있다. 소프트웨어 개발이 많아지고 규모가 커짐에 따라 재사용성이 뛰어난 컴포넌트로 개발들이 이루어지고 수행되고 있다. 컴포넌트를 개발할 때에도 품질은 중요한 문제이기 때문에 연구가 필요하다. 기존의 패러다임에서는 품질을 위한 인스펙션에 관한 많은 연구들이 있었고 진행되었다. 하지만 CBD에서의 품질을 위한 인스펙션에 관한 연구는 많이 이루어지지 않고 있다. 본 논문에서는 이러한 문제점을 알아보고 EJB(Enterprise Java Beans) 컴포넌트에 대한 코드 인스펙션을 통해 결함을 줄이고 품질을 향상시키기 위한 컴포넌트 인스펙션 프로세스(Component Inspection Process)를 실시한다. 프로세스의 각 단계에서는 UML 다이어그램. EJB의 콜백 메소드 흐름 다이어그램, 그리고 체크리스트를 사용한다. CIP 사용함으로써 CBD에서의 많은 결함을 줄이고 품질을 향상시킬 수 있게 될 것이다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제37권1호
• /
• pp.54-59
• /
• 2010

산업자동화 분야에는 특수목적 마이크로콘트롤러인 PLC가 널리 사용된다. PLC 프로그램 분석과 검증을 위한 연구에서 우선적으로 해야 할 일은 PLC 프로그래밍 언어의 의미구조를 정형적으로 제시하는 것이다. 본 논문은 PLC 프로그래밍에 널리 사용하는 LD 언어의 의미구조를 정의한다. LD 언어는 그래픽 언어이기 때문에 먼저 텍스트 언어 Symbolic LD로 구문구조를 정형화한 다음에, Symbolic LD에 대한 의미구조를 정의할 수가 있다. 본 논문은 Symbolic LD의 의미구조를 자연 의미구조 기법으로 정의하고, 증명 보조기 Coq을 이용하여 정형화하였다.