Journal of the Institute of Electronics Engineers of Korea CI (전자공학회논문지CI)

The Institute of Electronics and Information Engineers (대한전자공학회)
권호 표지

Petri Net Model for Moving Objects Database

이동물체 데이터베이스의 페트리 넷 모형

  • 임재걸 (동국대학교 컴퓨터ㆍ멀티미디어학과) ;
  • 이계영 (동국대학교 컴퓨터ㆍ멀티미디어학과)
  • Published : 2004.05.01
Download PDF
⟨ Previous Next ⟩

Abstract

Quite many papers about moving objects database (MOD) have been Published. Most of them are concerning of improving efficiency of updating policy, but none of them talks about verification of system's requirements. No matter how efficient updating policy is employed, a system designer still has to verify if the MOD satisfies user's requirement at the beginning of system lifestyle. For example, if a MOD serves n moving objects, then the designer must verity if it can update information for n moving objects and provide new information to moving objects within specified time limit. For the purpose of requirement analysis of MODs, we build a Petri net model for MOD using Design/CPN, and then we show how to verify whether the MOD satisfies user's requirements by simulation. The contribution of this paper is providing a simulation model for requirement analysis of MOD for the first time. The model is expansion of our previous fuzzy-timing Petri net model. The distance-based updating policy, and distributed database management system are reflected in this model and system analysis for moving objects is considered. It is built in Design/CPN so that the simulation can be automatically performed. The application of our model is not limited to requirement analysis, it is useful to study other MOD design issues, such as the trade-offs between update cost and information accuracy, and between the tim interval needed for updating database and MOD system resources, etc.

현재 이동물체 데이터베이스에 관한 연구가 활발히 진행되고 있다. 그러나 기존 연구의 대부분은 갱신 전략의 효율성 증대에 초점이 맞추어져 있고, 이동물체 데이터베이스 시스템의 사용자 요구사항 검증에 대한 연구 논문은 전무하다. 아무리 효율성이 좋은 갱신 전략이 적용되었더라도, 시스템 설계자는 시스템이 사용자 요구사항을 만족하는지에 대해 개발초기에 반드시 검증을 해 보아야 한다. 예를 들어, 이동물체가 n개이면, n개에 대한 데이터베이스 정보 갱신 작업과 새로운 정보를 사용자에게 제공하여주는 작업을 정해진 시간 내에 완료할 수 있는지 개발 초기에 검증해야 하는 것이다. 본 논문은 이동물체 데이터베이스의 요구사항 분석을 위하여, Design/CPN이라는 시뮬레이션 도구를 이용하여 페트리 넷 모형을 구축하고, 시뮬레이션을 통하여 사용자 요구사항을 검증하는 방법을 소개한다. 본 논문은 이동물체 데이터베이스의 사용자 요구 분석을 위한 최초의 시뮬레이션 모델을 제공하는데 의의가 있다. 이 시뮬레이션 모델은 본 저자가 이미 발표한 퍼지시간 페트리 넷 모형에 대해 거리기반 갱신전략과 분산 데이터베이스 모형을 첨가 확장한 것이며, n 개의 이동물체를 고려한 분석 결과를 소개한다. 또한, 본 모형은 Design/CPN이라는 시뮬레이션 도구로 구축되었기 때문에 시스템에 대한 자동분석이 가능하다. 본 모형의 응용 범위는 사용자 요구사항 분석에 국한된 것이 아니라, 갱신 비용과 정보의 정확도 간, 혹은 갱신에 소요되는 시간과 자원간의 상관관계를 분석하는 데에도 유용하게 쓰인다.

Keywords

References

  1. http://www.colorado.edu/geography/gcraft/notes/gps/gps_f.html
  2. O. Wolfson, 'Moving objects information management: The database challenge', the Proceedings of the 5th Workshop on Next Generation Information Technologies and Systems (NGITS'2002), Israel June 2002
  3. A. Bar-Noy, I. Kessler, and M. Sidi, 'Mobile users: To update or not to update?' ACM/Baltzer Wireless Networks Journal, 1(2).1999 https://doi.org/10.1007/BF01202540
  4. O. Wolfson, A.P. Sistla, S. Charmberlain, and Y. Yesha, 'Updating and Querying Databases that Track Mobile Units'. Special issue of the Distributed and Parallel Database Journal on Mobile Data Management and Applications, 7(3), 1999 https://doi.org/10.1023/A:1008782710752
  5. O. Wolfson and H. Yin, 'Accuracy and Resources Comsumption in Tracking and Location Prediction', Proceedings of the 8th International Symposium on Spatial and Temporal Databases, Santorini Island, Greece, July 24-27 https://doi.org/10.1007/b11839
  6. K. Jensen, Design/CPN [Online], Dept. Computer Science, Univ. Aarhus, Denmark Available: http://www.daimi.au.dk/designCPN/
  7. L. Anneberg and H. Singh, 'Petri Net Approach for Requirement Analysis Phase of Software Engineering,' Proceedings of the Twenty-First Annual Pittsburgh Conference, 1990, Pittsburgh, PA, USA; Part 3, pages 1015-1019, 1990
  8. Jensen Kurt, 'Coloured Petri Nets: A High Level Language for System Design and Analysis,' Lecture Notes in Computer Science, Vol. 483; Advances in Petri Nets 1990, Berlin, Germany: Springer-Verlag, pages 342-416, 1991 https://doi.org/10.1007/3-540-53863-1_31
  9. M. Bax and N. Giambiasi, 'Modeling and simulating temporal constraints in OpenRT,' Proc. 1996 Simulation Multiconference - Simulators International XIII, 8-11 April 1996, New Orleans, LA, pages 128-133. 1996
  10. A. Alekseev, A. Bystrov, S. Kurtov, S. Mylnikov, V. Neomnyashchy, E. Okunishnikova, P. Chubarev, and T. Churina, 'Application of Petrinets in verification ofdistributed systems represented in the Estelle language,' Journal of Computer and Systems Science, Vol. 38, No. 5, pages 771-781. 1999
  11. P.Langner, C. Schneider and J.Wehler, 'Petri Net Based Certification of Event-dirven Process Chains,' Lecture Notes in Computer Science, Int. Conf. on Application and Theory of Petri Nets, ICATPN'98, Lisbon, Portugal, June 1998, pages 286-305, 1998
  12. D. Gurovic, W. Fengler and J. Nutzel, 'Development of real-time system specifications through the refinement of duration interval Petri nets,' Proc. IEEE Int. Conf. on Systems, Man, and Cybernetics (SMC'2000), 8-11 October 2000, Nashville, TN, Vol. 4, pages 3093-3098. 2000 https://doi.org/10.1109/ICSMC.2000.884474
  13. O. Roux, D. Delfeu, and P.Mollinaro, 'Discrete Time Approach of Time Petri Nets for Real-Time Systems Analysis,' ETFA2001 proceedings of the 2001 8th IEEE International Conference on Engineering Technologies and Factory Automation, Volume 2, IEEE Catalog number: 01TH8597, pages 197-204, October 2001 https://doi.org/10.1109/ETFA.2001.997686
  14. J. Wang, Y. Deng, and G. Xu, 'Reachability analysis of real time systems using time Petrinets,' IEEE Trans. on Systrems, Man, and Cybernetics; B; Cybernetics, Vol. 30, No. 5, pages 725-736. 2000 https://doi.org/10.1109/3477.875448
  15. T. Murata, 'Temporal Uncertainty and Fuzzy-Timing High-Level Petri Nets,' in Application and Theory of Petri Nets 1996, Lecture Notes in Computer Science, Vol. 1091, Springer, NewYork, pp. 11-28 https://doi.org/10.1007/3-540-61363-3_2
  16. T. Murata, J. Yim, H. Yin, O. Wolfson , 'Fuzzy-Timing Petri-Net Model for Updating Moving Objects Database,' to appearin IPSI 2003
  17. T. Murata, 'Temporal Uncertainty and Fuzzy-Timing High-Level Petri Nets,' in Applicaton and Theory of Petri Nets 1996, Lecture Notes in Computer Science, Vol. 1091, Springer, New York, pp. 11-28 https://doi.org/10.1007/3-540-61363-3_2
  18. T. Murata, T. Suzuki and S. Shatz, 'Fuzzy-Timing High-Level Petri Nets (FTHNs) for Time-Critical Systems,' in J. Candoso and H. Camargo (editors) 'Fuzziness in Petri Nets' Vol. 22 in the series 'Studies in fuzziness and Soft Computing' by Springer Verlag, New York, pp. 88-114, 1999
  19. Y. Zhou, T. Murata, and T. DeFanti, 'Modeling and Performance Analysis Using Extended Fuzzy-Timing Petri Nets for Networked Virtual Environments,' IEEE Transactions on Systems, Man, and Cybernetics Part B: Cybernetics, Vol. 30, No. 5, October 2000, pp.737-756 https://doi.org/10.1109/3477.875449
  20. T. Murata, 'Petri Nets: Properties, Analysis and Applications,'Proceedings of the IEEE, Vol. 77, No. 4, April, 1989, pp.541-580 https://doi.org/10.1109/5.24143
  21. T. Murata and C. Chen, 'Fuzzy-Timing Petri-Net Modeling and Analysis on Video-On-Demand System Response Times,'