The KIPS Transactions:PartB (정보처리학회논문지B)

Korea Information Processing Society (한국정보처리학회)
권호 표지
DOI QR코드

DOI QR Code

A Method for Describing a Hyper-Presentation Specification and Checking It's Inconsistency using Petri-Net in a Internet

인터넷상에서 페트리 넷을 이용한 하이퍼-프리젠테이션의 명시 표현 및 불일치성을 검증하기 위한 방법 연구

  • 우시연 (㈜쌍용정보통신 교육센터) ;
  • 조종근 (숭실대학교 대학원 컴퓨터학과) ;
  • 임영환 (숭실대학교 미디어학부) ;
  • 임기욱 (선문대학교 공과대학 지식정보 산업공학전공, ETRI 컴퓨터 소프트웨어 연구소)
  • Published : 2002.10.01
Download PDF
⟨ Previous Next ⟩

Abstract

The concept of a hyperpresentation, 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 tool for their descriptions of the multimedia presentation, inconsistency problems in the synchronized presentations connected by hyper links can be introduced. This paper introduces a method of describing the hyperpresentation using Petri Net and proposes a methods of detecting inconsistent hyper link loop in the hyperpresentation description.

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

Keywords

References

  1. 임영환, 'ComBiStation : 분산 멀티미디어 컴퓨팅 환경을 위한 컴퓨팅 플랫폼', 정보과학회논문지, 제2권 제1호, pp.6-8
  2. Patrick Senac, Michel Diaz, Alain Leger and Pierre de Saque-Sannes, 'Modeling Logical and Temporal Synchronization in Hypermedia Systems,' IEEE Journal on Selected Areas in Communications, Vol.14, No.l, pp.94-103, January, 1996 https://doi.org/10.1109/49.481696
  3. M. Ajmone Marsan, 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, April, 1989 https://doi.org/10.1109/5.24143
  5. Thomas D. C. Little and Arif Ghafoor, 'Interval-Based Conceptual Models for Time-Dependent Multimedia Data,' IEEE Transactions on Knowledge and Data Engineering, Vol.5, No.4, pp.551-563, August, 1993 https://doi.org/10.1109/69.234768
  6. Ralf Steinmetz, 'Synchronization Properties in Multimedia Systems,' IEEE Journal on Selected Areas in Communications, Vol.8, No.3, pp.401-412, April, 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, Nov., 1983 https://doi.org/10.1145/182.358434
  8. S. V. Raghavan and B. Prabhakaran, 'Synchronization Models for Multimedia Presentation with User Participation,' ACM/Springer-Verlag Multimedia Systems, Vol.2, No.2, pp.53-62, August, 1994 https://doi.org/10.1007/BF01274180
  9. M. Hack, 'Decidability Questions for Petri Nets,' Ph.D. dissertation, MIT, Massachusetts, Dec., 1975
  10. 손진곤, 황종선, 백두권, '동적 표현능력을 갖는 Timed Petri Net 형식론', 정보과학회논문지, 제19권 제1호, pp.34-47, January, 1992
  11. Stephen S. Yau and Mehmet U. Caglayan, 'Distributed Software System Design Representation Using Modified Petri Nets,' IEEE Transactions on Software Engineering, Vol. SE-9, N0.6, pp.733-745, November, 1983 https://doi.org/10.1109/TSE.1983.235581
  12. Bernard Berthomieu and Michil Diaz, 'Modeling and Verification of Time Dependent Systems Using Time Petri Nets,' IEEE Transactions on Software Engineering, Vol.17, No.3, pp.259-273, March, 1991 https://doi.org/10.1109/32.75415
  13. G, Blakowskiand and R. Steinmetz, 'A Media Synchronization Survey : Model, Specification, and Case Studies,' IEEE Journal on Selected Areas in Communications, Vol.14, No.l, pp.5-35, January, 1996 https://doi.org/10.1109/49.481691
  14. J. Carlier, P. Chretienne and C. Girault, 'Modelling Scheduling Problems with Timed Petri Nets,' in Advanced in Petri Nets 1984, Lecture Notes in Computer Science, Springer-Verlag Pub. Co., pp.62-82, 1985