Modeling logical and temporal synchronization in hypermedia systems

IEEE Journal on Selected Areas in Communications

Volumn 14, Issue 1, 1996, Pages 84-102

  Sénac, Patrick ^b,c,e,f   Diaz, Michel ^a,b   Léger, Alain ^d   De Saqui Sannes, Pierre ^b,c  

^a IEEE

^b LAAS CNRS   (France)

^c UNIVERSITÉ DE TOULOUSE   (France)

^d ORANGE LABS   (France)

^e Ecl Natl Sup d'Ing d'H ^*

^f Ecl Natl Sup d'Ing C   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER HARDWARE DESCRIPTION LANGUAGES; COMPUTER SIMULATION; DATA COMMUNICATION SYSTEMS; DATA STRUCTURES; DATABASE SYSTEMS; FORMAL LOGIC; INFORMATION RETRIEVAL SYSTEMS; MATHEMATICAL MODELS; PETRI NETS; SPECIFICATIONS; USER INTERFACES;

HIERARCHICAL TIME STREAM PETRI NETS; HYPERMEDIA SYSTEMS; LOGICAL SYNCHRONIZATION; MULTIMEDIA; PROTOTYPING; TEMPORAL SYNCHRONIZATION; VALIDATION; VERIFICATION;

SYNCHRONIZATION;

EID: 0029755341     PISSN: 07338716     EISSN: None     Source Type: Journal    
DOI: 10.1109/49.481696     Document Type: Article

References (32)

1. J. F. Allen, "Maintaining knowledge about temporal intervals," Commun. ACM, vol. 26, no. 11, Nov. 1983.
2. W. Appell, "HyperODA - extensions for temporal relationships," Proposed Draft Amendment (Version 2), ISO/IEC JTC 1/SC 18/WG 3/N 2516, Jan. 1993.
3. B. Berthomieu and M. Diaz, "Modeling and verification of time dependent systems using time petri nets," IEEE Trans. Software Eng., vol. 17, no. 3, Mar. 1991.
4. D. C. A. Bulterman, "Specification and support of adaptable networked multimedia," ACM Multimedia Systems, vol. 1, no. 2, pp. 68-76, 1993.
5. J. Conklin, "Hypertext: An introduction and survey," IEEE Computer, vol. 20, no. 9, Sept. 1987.
6. G. Coulson, G. S. Blair, N. Davies, and N. Williams, "Extensions to ANSA for multimedia computing," Comput. Networks ISDN Systems, vol. 25, 1992.
7. J. P. Courtiat and R. C. de Oliveira, "About time nondeterminism and exception handling in a temporal extension of LOTOS," in Proc. PSTV '94, 1994.
8. M. Diaz and P. Senac, "Synchronization and multimedia objects," Rapport LAAS No. 92437, Nov. 1992.
9. M. Diaz, P. Senac, and P. de Saqui-Sannes, "Un modèle formel pour la spécification de la synchronization multimédia en environment distribué," in Proc. CFIP '93, Montréal, Sept. 1993.
10. M. Diaz and P. Senac, "Time stream petri nets, a model for multimedia streams synchronization," in Proc. MMM '93, Singapore, Nov. 1993.
11. L. Hardman, D. C. A. Bulterman, and G. Van Rossum, "The Amsterdam hypermedia model: Adding tyme to the Dexter model," Commun. ACM, vol 37, no. 2, pp. 50-62, Feb. 1994.
12. F. Halasz and M. Schwanz, "The Dexter hypertext reference model," Commun. ACM, vol. 37, no. 2, pp. 30-39, Feb. 1994.
13. C. L. Hamblin, "Instants and intervals," in Proc. 1st Int. Conf. for the Study of Time, J. T. Fraser et al., Eds. Berlin: Springer Verlag, 1972.
14. T. Little and A. Ghafoor, "Synchronization and storage models for multimedia objects," IEEE J. Select. Areas Commun., vol. 8, no. 3, Apr. 1990.
15. P. Merlin, "A study of the recoverability of computer systems," Master's thesis, Computer Science Dept., University of California, Irvine, 1974.
16. "Information technology - coded representation of multimedia and hypermedia information objects (MHEG) Part 1," Comittee Draft ISO/IEC 13522-1, June 1993.
17. T. Murata, "Petri nets: Properties, analysis and applications," in Proc. IEEE, Apr. 1989, vol. 77, no. 4.
18. T. H. Nelson, "Getting it out of our system," in Information Retrieval: A Critical Review, G. Schechter, Ed. Washington, DC: Thompson, 1967.
19. S. Newcomb, N. Kipp, and V. Newcomb, "The hytime hypermedia/timebased document structuring language," in Proc. ACM Multimedia '93, Anaheim, CA., pp. 159-166.
20. B. Prabhakaram and S. V. Raghavan, "Synchronization models for multimedia presentation with user participation," Commun. ACM, Nov. 1991.
21. C. Ramchandani, "Analysis of asynchronous concurrent systems by timed petri nets," Project MAC, TR 120, MIT, Feb. 1974.
22. P. Senac, M. Diaz, and P. de Saqui-Sannes, "A formal environment for the specification an design of multimedia synchronization scenarios," presented in part at Proc. 4th Workshop on Network and Operating Support for Digital Audio and Video, Lancaster, Nov. 1993.
23. _, "A formal model for the specification of real-time systems," in Proc. RTS '94, Paris, Jan. 1994.
24. _, "Toward a formal specification of multimedia synchronization," in Annals of Telecommunications, May/June 1994.
25. P. Senac and M. Diaz, "Time streams petri nets, a model for timed multimedia informations," in Proc. 15th Int. Conf. Application and Theory of Petri Nets, Zaragoza, Spain, June 1994.
26. P. Senac, P. de Saqui-Sannes, and R. Willrich, "Hierarchical time stream petri net: A model for hypermedia systems," to be published in the Proc. 16th Int. Conf. Application and Theory of Petri Nets, Turinio, Italy, June 1995.
27. J. B. Stefani, L. Hazard, and F. Horn, "A computational model for distributed multimedia applications based on a synchronous programming language," Comput. Commun., Mar. 1992.
28. R. Steinmetz, "Synchronization properties in multimedia systems," IEEE J. Select. Areas Commun., vol. 8, no. 3, Apr. 1990.
29. P. D. Stotts and R. Furuta, "Temporal hyperprogramming," J. Visual Languages and Comput., vol. 1, pp. 237-253, 1990.
30. T. Wahl and K. Rothermel, "Representing time in multimedia systems," in Proc. IEEE Int. Conf. Multimedia Computing and Systems (ICMCS '94), USA, 1994.
31. B. Walter, "Timed petri nets for modeling and analysing protocols with time," in Proc. IFlP Conf. on Protocol Specification, Testing and Verification, H. Rudin and C. West, Eds. Amsterdam, The Netherlands: North Holland, 1983.
32. N. Williams and G. Blair, "Distributed multimedia applications: A review," Computer Communications, vol. 17, no. 2, pp. 119-132, Feb. 1994.