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

  • 2004.04b
  • /
  • Pages.343-345
  • /
  • 2004
  • /
  • 1598-5164(pISSN)
Korean Institute of Information Scientists and Engineers (한국정보과학회)
권호 표지

Petri net Description of the Traditional Location-based Services

페트리 넷을 이용한 전통적 위치기반 시스템 표현

  • 임재걸 (동국대학교 컴퓨터멀티미디어학과) ;
  • 주재훈 (동국대학교 전자상거래학과)
  • Published : 2004.04.01
Download PDF
⟨ Previous Next ⟩

Abstract

시스템 명세가 잘못되면 명세에 의하여 구축한 시스템을 모두 다시 재 구현해야 함으로 정확한 명세의 중요성은 아무리 강조하여도 지나침이 없다. 본 논문은 자연어로 묘사된 전통적인 위치기반 서비스 시스템을 페트리 넷으로 표현하여 보고, 위치기반 서비스 시스템의 표현 방법으로서의 페트리 넷의 성질을 살펴본다. 또한, 다양한 위치기반 서비스 시스템 분석에 페트리 넷 방법이 가능함을 선보인다.

Keywords