Modeling logical and temporal synchronization in hypermedia systems

Author

Sénac, Patrick ; Diaz, Michel ; Léger, Alain ; De Saqui-Sannes, Pierre

Author_Institution

Lab. d´´Autom. et d´´Anal. des Syst., CNRS, Toulouse, France

Volume

14

Issue

1

fYear

1996

fDate

1/1/1996 12:00:00 AM

Firstpage

84

Lastpage

103

Abstract

The paper introduces a unified formal model for the complete and accurate specification of both temporal and logical (i.e., link) synchronization within hypermedia distributed and weakly synchronous systems. This new model extends time Petri nets with hierarchical design capabilities and new firing rules. These new firing rules enlighten the notion of hypermedia synchronization through powerful combinations of temporal and logical synchronization. Moreover, the proposed model offers an easy and concise modeling technique of asynchronous events in hypermedia systems

Keywords

Petri nets; formal specification; hypermedia; multimedia computing; synchronisation; asynchronous events; complete accurate specification; firing rules; hierarchical design capabilities; hypermedia distributed systems; hypermedia systems; logical synchronization; temporal synchronization; time Petri nets; unified formal model; weakly synchronous systems; Collaborative work; Cultural differences; Laboratories; Multimedia systems; Petri nets; Power system modeling; Project management; Streaming media; Telecommunications; Wheels;

fLanguage

English

Journal_Title

Selected Areas in Communications, IEEE Journal on

Publisher

ieee

ISSN

0733-8716

Type

jour

DOI

10.1109/49.481696

Filename

481696