The IRMA Community
Newsletters
Research IRM
Click a keyword to search titles using our InfoSci-OnDemand powered search:
|
HTSPN: An Experience in Formal Modeling of Multimedia Applications Coded in MHEG or Java
|
|
Author(s): 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)
Copyright: 2001
Pages: 32
Source title:
Design and Management of Multimedia Information Systems: Opportunities and Challenges
Source Author(s)/Editor(s): Mahbubur Rahman Syed (Minnesota State University Mankato, USA)
DOI: 10.4018/978-1-930708-00-6.ch019
Purchase
|
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.
Related Content
|
Nithin Kalorth, Vidya Deshpande.
© 2024.
7 pages.
|
|
Nitesh Behare, Vinayak Chandrakant Shitole, Shubhada Nitesh Behare, Shrikant Ganpatrao Waghulkar, Tabrej Mulla, Suraj Ashok Sonawane.
© 2024.
24 pages.
|
|
T.S. Sujith.
© 2024.
13 pages.
|
|
C. Suganya, M. Vijayakumar.
© 2024.
11 pages.
|
|
B. Harry, Vijayakumar Muthusamy.
© 2024.
19 pages.
|
|
Munise Hayrun Sağlam, Ibrahim Kirçova.
© 2024.
19 pages.
|
|
Elif Karakoç Keskin.
© 2024.
19 pages.
|
|
|