Proceedings of the Korean Information Science Society Conference (한국정보과학회:학술대회논문집)

  • 2002.04b
  • /
  • Pages.430-432
  • /
  • 2002
  • /
  • 1598-5164(pISSN)
Korean Institute of Information Scientists and Engineers (한국정보과학회)
권호 표지

A Abstraction Method for State Minimization

상태 감소를 위한 추상화 기법

  • 박지연 (전북대학교 컴퓨터과학과) ;
  • 이정희 (전북대학교 컴퓨터과학과) ;
  • 이문근 (전북대하교 전자정보공학부)
  • Published : 2002.04.01
Download PDF
⟨ Previous Next ⟩

Abstract

상태 기반 정형 기법이 가진 문제점 중 하나인 상태 폭발 문제를 해결하기 위해, 본 논문에서는 명세 모델과 실행 모델을 정의하고 각 모델에 적용되는 추상화를 정의한다. 명세 모델은 구문을 바탕으로만 추상화로 비논리 내부연산 추상화와 구조 추상화를, 실행 모델은 시간, 자료, 위치가 가진 의미를 통해 추상화하는 시간, 자료, 위치 공간 추상화를 수행한다. 예제에 추상화를 적용하여 상태 감소와, 계층성 생성, 복잡도 감소의 과정을 보인다.

Keywords