본문 바로가기
HOME> 논문 > 논문 검색상세

논문 상세정보

이동물체 데이터베이스의 페트리 넷 모형
Petri Net Model for Moving Objects Database

임재걸   (동국대학교 컴퓨터ㆍ멀티미디어학과UU0000452  ); 이계영   (동국대학교 컴퓨터ㆍ멀티미디어학과UU0000452  );
  • 초록

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


    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.


  • 주제어

    Moving objects database .   Petri net model .   updating time .   Design/CPN .   and wireless communication.  

  • 참고문헌 (21)

    1. 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 
    2. T. Murata, 'Petri Nets: Properties, Analysis and Applications,'Proceedings of the IEEE, Vol. 77, No. 4, April, 1989, pp.541-580 
    3. T. Murata and C. Chen, 'Fuzzy-Timing Petri-Net Modeling and Analysis on Video-On-Demand System Response Times,' 
    4. 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 
    5. 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 
    6. 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 
    7. T. Murata, J. Yim, H. Yin, O. Wolfson , 'Fuzzy-Timing Petri-Net Model for Updating Moving Objects Database,' to appearin IPSI 2003 
    8. 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 
    9. 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 
    10. 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 
    11. 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 
    12. 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 
    13. 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 
    14. 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 
    15. K. Jensen, Design/CPN [Online], Dept. Computer Science, Univ. Aarhus, Denmark Available: http://www.daimi.au.dk/designCPN/ 
    16. 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 
    17. 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 
    18. 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 
    19. A. Bar-Noy, I. Kessler, and M. Sidi, 'Mobile users: To update or not to update?' ACM/Baltzer Wireless Networks Journal, 1(2).1999 
    20. 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 
    21. http://www.colorado.edu/geography/gcraft/notes/gps/gps_f.html 

 저자의 다른 논문

  • 임재걸 (26)

    1. 1995 "변형된 점증 깊이 우선 탐색 방법을 사용한 로봇 계획 시스템" 정보처리논문지 = The transactions of the Korea Information Processing Society 2 (3): 354~363    
    2. 1996 "FPN의 효율성 개선에 관한 연구" 電子工學會論文誌. Journal of the Korea institute of telematics and electronics. B b33 (6): 92~101    
    3. 1998 "페트리 넷을 이요한 하이퍼미디어 시나리오 수행 시간 예측" 정보처리논문지 = The transactions of the Korea Information Processing Society 5 (5): 1119~1129    
    4. 2001 "한국어 음성 합성을 위한 음가 변환 테이블 생성" 電子工學會論文誌. Journal of the Institute of Electronics Engineers of Korea. CI, 컴퓨터 38 (5): 44~57    
    5. 2003 "한국어 표준발음법의 전산화 및 응용" 언어와 정보 = Language and information 7 (2): 81~101    
    6. 2004 "한국어 음가를 한글 표기로 변환하는 표준규칙 제정" 電子工學會論文誌. Journal of the Institute of Electronics Engineers of Korea. CI, 컴퓨터 41 (2): 51~64    
    7. 2005 "ECN 마킹을 위한 최적의 Threshold" 정보처리학회논문지. The KIPS transactions. Part C Part C c12 (4): 559~570    
    8. 2005 "이벤트의 선택 확률을 고려한 시간 넷의 분석 알고리즘 및 응용" 한국경영과학회지 = Journal of the Korean Operations Research and Management Science Society 30 (4): 99~115    
    9. 2005 "페트리 넷을 적용한 위치기반 서비스 시스템의 타당성 분석" Journal of information technology applications & management = 한국데이타베이스학회지 12 (1): 157~172    
    10. 2005 "MANET용 TCP의 성능 개선을 위한 단-대-단 방법" 電子工學會論文誌. Journal of the Institute of Electronics Engineers of Korea. CI, 컴퓨터 42 (2): 1~10    
  • 이계영 (11)

 활용도 분석

  • 상세보기

    amChart 영역
  • 원문보기

    amChart 영역

원문보기

무료다운로드
  • NDSL :
유료다운로드

유료 다운로드의 경우 해당 사이트의 정책에 따라 신규 회원가입, 로그인, 유료 구매 등이 필요할 수 있습니다. 해당 사이트에서 발생하는 귀하의 모든 정보활동은 NDSL의 서비스 정책과 무관합니다.

원문복사신청을 하시면, 일부 해외 인쇄학술지의 경우 외국학술지지원센터(FRIC)에서
무료 원문복사 서비스를 제공합니다.

NDSL에서는 해당 원문을 복사서비스하고 있습니다. 위의 원문복사신청 또는 장바구니 담기를 통하여 원문복사서비스 이용이 가능합니다.

이 논문과 함께 출판된 논문 + 더보기