The Journal of the Korea Contents Association (한국콘텐츠학회논문지)

The Korea Contents Association (한국콘텐츠학회)
권호 표지
DOI QR코드

DOI QR Code

Method for Detecting Hyper-Presentation Specification and Inconsistent using Pertri-Net in Mobile Environments

모바일 환경에서 페트리 넷을 이용한 하이퍼-프레젠테이션의 명시 표현과 일관성을 검증하기 위한 방법

  • 조종근 (숭실대학교 컴퓨터학과) ;
  • 우시연 (숭실대학교 컴퓨터학과)
  • Published : 2008.10.28
Download PDF
⟨ Previous Next ⟩

Abstract

The concept of a hyper-presentation, as an extension of a hypermedia, is the presentation in which time-varying multimedia presentations are dynamically linked together and a hyperlink's context can be changed over time at any time during a continuous presentation. While this concept provides users with a flexible and powerful presentation for their descriptions of the multimedia datum, inconsistency problems in the synchronized presentations occur by hyper links can be introduced. This paper introduces a method of describing the hyper-presentation using petri-net and propose a methods of checking It's inconsistent hyper link loop in the hyper-presentation description.

하이퍼-프레젠테이션 개념은 하이퍼-미디어 개념을 확장한 것으로, 동적으로 연출되고 있는 상황에서 링크개념을 설정하여 특정시점에서 원하는 다음 정보를 보기 위해서 비순차적으로 연출할 수 있도록 하는 방법이다. 이러한 비순차적인 연출방법인 하이퍼-프레젠테이션 개념을 도입함으로써, 자유로운 멀티미디어 데이터들의 연출이 가능하게 되었지만, 이러한 동기화 방법에 의해서 혼합된 여러 프레젠테이션들간에는 일관성 문제가 발생할 수 있다. 본 논문에서는 하이퍼-프레젠테이션 명시 프로그램의 일관성 검증을 위해서 petri-net을 이용한 하이퍼-프레젠테이션 명시 방법을 제시하고, 그것을 이용한 명시 프로그램의 일관성을 검증하는 방법을 제안한다.

Keywords

References

  1. G. M. Halima, "CUMAPH: Cognitive User for Adaptive Presentation of Hyper- documents," Vol.3137, pp.136-145, 2004. https://doi.org/10.1007/978-3-540-27780-4_17
  2. S. Patrick, D. Michel, L. Alain, and S. S. D. Pierre, "Modeling Logical and Temporal Synchronization in Hypermedia Systems," IEEE Journal on Selected Areas in Communications, Vol.14, No.1, pp.94-10, 1996. https://doi.org/10.1109/49.481696
  3. A. M. Ajmone, G. Balbo, and G. Conte, Modeling with Generalized Stochastic petri-nets, WILLY, 1993.
  4. T. Murata, “petri-nets : Properties, Analysis and Applications,” Proceedings of the IEEE, Vol.77, No.4, pp.541-576, 1989. https://doi.org/10.1109/5.24143
  5. Z. PENG and Y. HE, “A Hyper Presentaton Approach for Mobile Web Browsing,” JJurnal of Three Dimensional Images, Vol.17, pp.98-103, 2003.
  6. S. Ralf, “Synchronization Properties in Multimedia Systems,” IEEE Journal on Selected Areas in Communications, Vol.8, No.3, pp.401-412, 1990. https://doi.org/10.1109/49.53016
  7. J. F. Allen, “Maintaining Knowledge About Temporal Intervals,” CACM, Vol.26, No.11, pp.832-843, 1983. https://doi.org/10.1145/182.358434
  8. S. V. Raghavan and B. Prabhakaran, "Synchroni- zation Models for Multimedia Presentation with User Participation," ACM/Springer-Verlag Mult- imedia Systems, Vol.2, No.2, pp.53-62, 1994. https://doi.org/10.1007/BF01274180
  9. M. Hack, “Decidability Questions for petri-nets,” Ph.D.dissertation, MIT, Massachusetts, 1975(12).
  10. 손진곤, 황종선, 백두권, “동적 표현능력을 갖는 Timed petri-net 형식론”, 정보과학회논문지, 제19권, 제1호, pp. 34-47, 1992.
  11. A. Scherp and S. Boll, "Paving the last Mile for Multi-Channel Multimedia Presentation Generation," MMC, pp.190-197, 2005.
  12. B. Bernard and D. Michil, “Modeling and Verification of Time Dependent Systems Using Time petri-nets,” IEEE Transactions on Software Engineering, Vol.17, No.3, pp.259-27, 1991. https://doi.org/10.1109/32.75415
  13. G, Blakowskiand and R. Steinmetz, “A MediaSynchronization Survey: Model, Specification, and Case Studies,” IEEE Journal on Selected Areas in Communications, Vol.14, No.1, pp.5-35, 1996. https://doi.org/10.1109/49.481691
  14. Dick and C. A. Bulterman, "Ambulant: a Fast, Multi-Platform Open Source SMIL Player," ACM, pp.492-495, 2004.
  15. L. B. Antonino, "Synthesis of Hypermedia using Ontologies and Rules," ICAR-CNR, p.153, 2007.