HTSPN: An Experience in Formal Modeling of Multimedia Applications Coded in MHEG or Java

HTSPN: An Experience in Formal Modeling of Multimedia Applications Coded in MHEG or Java

Willrich Roberto (Federal University of Santa Catarina, Brazil), Pierre de Saqui-Sannes (ENSICA, France and Laboratory for Analysis and Architecture of Systems, France), Patrick Senac (ENSICA, France and Laboratory for Analysis and Architecture of Systems, France) and Michel Diaz (Laboratoire TIMC-IMAG, Institut de l’Ingénierie et de l’Information de Santé, France)
DOI: 10.4018/978-1-930708-00-6.ch019
OnDemand PDF Download:
$37.50

Abstract

Multimedia authoring involves people not familiar with formal design techniques, but eager to check documents against synchronization, scheduling and resource allocation errors. Visual modeling with Petri Nets answers that need with a graphic syntax and a formal semantics that makes models executable. A Petri Net defines a bipartite graph where summits are divided into places associated with data processing functions and transitions which represent synchronization points. The chapter discusses an experiment with Hierarchical Time Stream Petri Nets, a timed extension of Petri Nets which was designed with distributed multimedia systems in mind. HTSPNs define a unified framework to structure complex and interactive documents. Dynamic synchronization strategies based on temporal intervals composition make it possible to take the asynchronous nature of distributed systems into account. Last but not least, a HTSPN remains an open model, which can be extended with implementation details regarding, e.g., the URLs and the presentation characteristics. The interpreted model or I-HTSPN for short, has been instantiated for MHEG and Java, respectively. The MHEG I-HTSPN editor, document checker and code generator were prototyped in C++ for Solaris. The Java I-HTSPN counterpart has been developed in Java. Their use is exemplified on a guided tour of a university and a distance learning application.

Complete Chapter List

Search this Book:
Reset
Table of Contents
Preface
Mahbubur Rahman Syed
Chapter 1
Helen C. Purchase, Daniel Naumann
Models of multimedia communication are attempts to classify the numerous types of media objects available, and to provide a basis for the use of... Sample PDF
A Semiotic Model of Multimedia: Theory and Evaluation
$37.50
Chapter 2
Nevenka Dimitrova, Yong Rui, Ishmar K. Sethi
The production of multimedia content has grown overwhelmingly in recent years due to decreasing hardware costs, inexpensive storage and ubiquitous... Sample PDF
Media Content Management
$37.50
Chapter 3
Ray-I. Chang, Wei-Kuan Shih
The great progresses in computer and network technologies make applications of distributed multimedia ever more popular. Various commercial products... Sample PDF
Real-Time Disk Scheduling for Multimedia Data Retrieval
$37.50
Chapter 4
Chin-Chen Chang, Yung-Kuan Chan, Annie Y.H. Chou, Wei-Pang Yang
2D-string and 2D H-string are commonly used to describe the spatial relationships among the objects of a picture. This chapter introduces a new data... Sample PDF
Representing Symbolic Pictures Using Iconic Indexing
$37.50
Chapter 5
Nick Bryan-Kinns
This chapter presents a conceptual framework which supports reuse in hypermedia applications. Reuse is important in hypermedia, and especially... Sample PDF
A Framework for Supporting Reuse in Hypermedia
$37.50
Chapter 6
Peter Kroll, Torsten Radtke, Volker Zerbe
Data compression, and in particular image compression, plays an important role in today’s information age. Images take up over 90% of the data... Sample PDF
Compression of Still Images
$37.50
Chapter 7
David Squire, Henning Muller, Wolfgang Muller, Stephane Marchand-Maillet, Thierry Pun
The growth in size and accessibility of multimedia databases has changed our approach to information retrieval. Classical text-based systems show... Sample PDF
Design and Evaluation of a Content-Based Image Retrieval System
$37.50
Chapter 8
Du-Seok Jin, Jae-Woo Chang
Recently it is common for users to acquire through the World Wide Web a variety of multimedia documents. As the number of Web documents is... Sample PDF
A Multimedia Document Retrieval System Supporting Structure- and Content-Based Retrieval
$37.50
Chapter 9
Lilac Al-Safadi, Janusz Getta
The advancement of multimedia technologies has enabled electronic processing of information to be recorded in formats that are different from the... Sample PDF
Semantic Content-Based Retrieval for Video Documents
$37.50
Chapter 10
Paolo Ciaccia, Wilma Penzo, Danilo Montesi, Alberto Trombetta
This chapter presents a fuzzy-based algebra, called SAMEW, to query multimedia objects. SAMEW allows for dealing within a common framework with... Sample PDF
Fuzzy Query Languages for Multimedia Data
$37.50
Chapter 11
Bruce H. Thomas
Cartoon animation techniques have previously been used to enhance the illusion of direct manipulation in 2D graphical user interfaces. In... Sample PDF
Using Animation to Enhance 3D User Interfaces for Multimedia
$37.50
Chapter 12
Antonia Lucinelma Pessoa Albuquerque, Jonas Gomes, Luiz Velho
Techniques of filming using special effects have existed since the 1920s, well before the advent of computers. Two of them are known as Back... Sample PDF
Virtual Sets: Concepts and Trends
$37.50
Chapter 13
Franc Solina, Slavko Krapez, Ales Jaklic, Vito Komac
Deaf people, as a marginal community, may have severe problems in communicating with hearing people. Usually, they have a lot of problems even with... Sample PDF
Multimedia Dictionary and Synthesis of Sign Language
$37.50
Chapter 14
Gour C. Karmakar, Laurence Dooley, Mahbubhur Rahman Syed
This chapter provides a comprehensive overview of various methods of fuzzy logic-based image segmentation techniques. Fuzzy image segmentation... Sample PDF
Review of Fuzzy Image Segmentation Techniques
$37.50
Chapter 15
Claus Witfelt
This chapter is a step on the way to establishing a multimedia didactics for compulsory school. In the chapter we review findings from the European... Sample PDF
Educational Multimedia and Teacher Competencies
$37.50
Chapter 16
Juhani E. Tuovinen
The work described in this chapter is a synthesis of recent instructional cognition research implications for fundamental educational multimedia... Sample PDF
Cognition Research Basis for Instructional Multimedia
$37.50
Chapter 17
Pavel Slavik, Marek Kulvejt, David Hromas, Josef Novak
The importance of multimedia in distance education has increased steadily over the last few years. This fact implies a growing need for the... Sample PDF
Cheap Production of Multimedia Programs
$37.50
Chapter 18
Balakrishnan Prabhakaran
Temporal models associated with a multimedia presentation describe the ordering of presentation of various objects in the time domain. In multimedia... Sample PDF
Temporal Models and Their Applications in Multimedia Information Retrieval
$37.50
Chapter 19
Willrich Roberto, Pierre de Saqui-Sannes, Patrick Senac, Michel Diaz
Multimedia authoring involves people not familiar with formal design techniques, but eager to check documents against synchronization, scheduling... Sample PDF
HTSPN: An Experience in Formal Modeling of Multimedia Applications Coded in MHEG or Java
$37.50
Chapter 20
Rosanne Price, Bala Srinivasan
Recent interest in spatiotemporal data modeling comes from Multimedia Information Retrieval and Geographic Information System communities. Early... Sample PDF
Issues in Spatiotemporal Data Modeling
$37.50
Chapter 21
Josef Pieprzyk
Internet and its widespread usage for multimedia document distribution put the copyright issue in a complete new setting. Multimedia documents... Sample PDF
Multimedia Copyright Protection
$37.50
About the Authors