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

한국정보과학회 (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)
  • 발행 : 2012.06.22

⟨ 이전 논문 다음 논문 ⟩

초록

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

키워드

과제정보

연구 과제번호 : 모바일 플랫폼 기반의 콘텐츠 응용 소프트웨어 기술 개발