Formal model of participator dependent multimedia presentations

Timothy K. Shih, Steven K.C. Lo, Ding Rong Jiang

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Abstract

Data flow diagrams and control flow diagrams were used for decades in software development. The advantage of the diagrammatic technique is in its enabling of a stepwise refinement technique allowing the user to focus on a part of the program, which is then refined toward a complete software. In multimedia presentation design, presentation designers may use a similar concept. In this paper, we propose a system that allows the presentation designers to design their multimedia presentations using data flow/control flow diagrams. We also use a revised Petri net, with a number of newly introduced components, to allow the designers to control the event based synchronization of presentation objects. Formal modeling and semantics of a multimedia presentation are described. Algorithms for implementing our system are also discussed.

Original languageEnglish
Title of host publicationMultimedia Modeling, MMM 1997 - Modeling Multimedia Information and Systems
EditorsPung Hung Keng, Chua Tat Seng
PublisherWorld Scientific Publishing Co. Pte Ltd
Pages247-262
Number of pages16
ISBN (Electronic)9810233515, 9789810233518
StatePublished - 1997
Event4th International Conference on Multi-Media Modeling, MMM 1997 - Singapore, Singapore
Duration: 17 Nov 199720 Nov 1997

Publication series

NameMultimedia Modeling, MMM 1997 - Modeling Multimedia Information and Systems

Conference

Conference4th International Conference on Multi-Media Modeling, MMM 1997
Country/TerritorySingapore
CitySingapore
Period17/11/9720/11/97

Keywords

  • Data flow diagram
  • Multimedia presentation
  • Petri net
  • Software engineering
  • Structured analysis

Fingerprint

Dive into the research topics of 'Formal model of participator dependent multimedia presentations'. Together they form a unique fingerprint.

Cite this