Proceedings of the Korea Information Processing Society Conference (한국정보처리학회:학술대회논문집)

  • 2012.04a
  • /
  • Pages.265-268
  • /
  • 2012
  • /
  • 2005-0011(pISSN)
  • /
  • 2671-7298(eISSN)
Korea Information Processing Society (한국정보처리학회)
권호 표지
DOI QR코드

DOI QR Code

The Extension of BML Specification including Modal Logic

양상논리를 포함한 BML 스펙 확장

  • Kim, Seon-Tae (Dept of Computer and Information Engineering, Inha University) ;
  • Kim, Je-Min (Dept of Computer and Information Engineering, Inha University) ;
  • Park, Joon-Seok (Dept of Computer and Information Engineering, Inha University) ;
  • Yoo, Won-Hee (Dept of Computer and Information Engineering, Inha University)
  • 김선태 (인하대학교 컴퓨터정보공학과) ;
  • 김제민 (인하대학교 컴퓨터정보공학과) ;
  • 박준석 (인하대학교 컴퓨터정보공학과) ;
  • 유원희 (인하대학교 컴퓨터정보공학과)
  • Published : 2012.04.26
Download PDF
⟨ Previous Next ⟩

Abstract

검증에 사용하는 명세는 대부분 1차 술어 논리(First Order Logic)로 이루어져 있다. 1차 술어 논리가 자연언어 대부분을 표현하지만 표현하지 못하는 부분도 존재한다. 이를 해결하기위해 양상논리(Modal Logic)를 추가한 명세방법이 존재하지만 간접적인 방법으로만 존재할 뿐 이다. 본 논문에서는, 양상논리를 이용한 명세의 직접적인 표현을 위해 BML(Bytecode Modeling Language)을 확장한다. 이를 통해, 명세정보 표현의 정확성을 향상시킨다.

Keywords