Proceedings of the Korea Information Processing Society Conference (한국정보처리학회:학술대회논문집)
- 2004.05a
- /
- Pages.187-190
- /
- 2004
- /
- 2005-0011(pISSN)
- /
- 2671-7298(eISSN)
Structural Properties of Moving Object Database
이동물체 데이터베이스의 구조적 성질 분석
-
Yim, Jaegeol
(Dept of Computer and Multimedia, Dongguk University) ;
-
Lee, Gye-Young
(Dept of Computer and Multimedia, Dongguk University)
- Published : 2004.05.14
Abstract
시스템 설계가 시스템 요구 사항을 만족하지 않으면 시스템 구현 후 처음부터 다시 설계 및 구현을 해야 함으로 시스템 설계 단계에서 설계한 시스템이 요구 사항을 만족하는지 검증하는 것이 매우 중요하다. 일반적 시스템 요구 사항 중에는 시스템이 항상 막힘없이 작동 (live)해야 한다는 것과 시스템 자원의 총합이 한계값을 넘지 말아야 한다 (bounded)는 것이 있다. 본 논문에서는 이동물체 데이터베이스 시스템이 구조적으로 live하고 bounded 한지 검증하는 페트리 넷 방법을 소개한다.
Keywords