Title :
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
fDate :
1/1/1996 12:00:00 AM
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;
Journal_Title :
Selected Areas in Communications, IEEE Journal on
