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

  • 2012.06b
  • /
  • Pages.253-254
  • /
  • 2012
  • /
  • 1598-5164(pISSN)
Korean Institute of Information Scientists and Engineers (한국정보과학회)
권호 표지

Expressing Service Specifications for Context-Awareness using temporal logic

상황 인식 시스템의 서비스 명세를 시제 논리로 표현하기

  • Kim, Tae-Kyun (Department of Computer Science, Kyonggi University) ;
  • Cho, Min-Taek (Department of Computer Science, Kyonggi University) ;
  • Kwon, Gi-Hwon (Department of Computer Science, Kyonggi University)
  • 김태균 (경기대학교 컴퓨터 과학과) ;
  • 조민택 (경기대학교 컴퓨터 과학과) ;
  • 권기현 (경기대학교 컴퓨터 과학과)
  • Published : 2012.06.22

⟨ Previous Next ⟩

Abstract

상황 인식 시스템에서, 핵심 요소 중의 하나가 서비스 명세이다. 지금까지 서비스 명세를 표현하기 위해서 생성 규칙, 마크업 기반 언어 및 온톨로지 기반 언어 등이 사용되었다. 이들과는 다르게, 본 논문에서는 병행 시스템 및 반응형 시스템의 속성 명세에 널리 사용되는 시제 논리를 이용하여 상황 인식 서비스를 명세하고자 한다.

Keywords

Acknowledgement

Grant : 모바일 플랫폼 기반의 콘텐츠 응용 소프트웨어 기술 개발