Formal models for the description of timed behaviors of multimedia and hypermedia distributed systems

This paper presents two modeling approaches that can be used as a formal basis for designing distributed multimedia and hypermedia systems. Using these approaches, users and designers are able to express formally their multimedia and hypermedia synchronization and time requirements. The two differen...

Full description

Saved in:
Bibliographic Details
Published in:Computer communications 1996-12, Vol.19 (14), p.1134-1150
Main Authors: Courtiat, J.-P., Diaz, M., De Oliveira, R.C., Sénac, P.
Format: Article
Language:English
Subjects:
Communications technology
Distributed multimedia and hypermedia systems
Distributed systems
Hypermedia
LOTOS
Modeling
Multimedia
RT-LOTOS
Software
Specification
Synchronization
Time requirements
Timed Petri nets
Validation
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:This paper presents two modeling approaches that can be used as a formal basis for designing distributed multimedia and hypermedia systems. Using these approaches, users and designers are able to express formally their multimedia and hypermedia synchronization and time requirements. The two different models considered are Hierarchical Time Stream Petri Nets and RT-LOTOS. It will be shown that both models, starting from a different formal basis, are of interest as they possess complementary advantages and can then be used at different stages of the system life cycle. For instance, HTSPN provides an user-friendly graphical specification framework, whereas RT-LOTOS offers an extensive simulation and validation framework applicable to specifications derived from HTSPN.
ISSN:0140-3664
1873-703X
DOI:10.1016/S0140-3664(96)01148-6