Proceedings of the Korean Information Science Society Conference (한국정보과학회:학술대회논문집)
- 2004.04b
- /
- Pages.343-345
- /
- 2004
- /
- 1598-5164(pISSN)
Petri net Description of the Traditional Location-based Services
페트리 넷을 이용한 전통적 위치기반 시스템 표현
Abstract
시스템 명세가 잘못되면 명세에 의하여 구축한 시스템을 모두 다시 재 구현해야 함으로 정확한 명세의 중요성은 아무리 강조하여도 지나침이 없다. 본 논문은 자연어로 묘사된 전통적인 위치기반 서비스 시스템을 페트리 넷으로 표현하여 보고, 위치기반 서비스 시스템의 표현 방법으로서의 페트리 넷의 성질을 살펴본다. 또한, 다양한 위치기반 서비스 시스템 분석에 페트리 넷 방법이 가능함을 선보인다.
Keywords