Abstract
Design of Distributed Multimedia Applications (DAMD) is a multi-institutional co-operative project aiming the development of a methodology, based on the Formal Description Technique (FDT) Enhancements to Language of Temporal Ordering Specification (E-LOTOS) and supported by a set of appropriate tools, for the specification, validation, implementation, and testing of distributed multimedia applications. This paper presents the main results of this project.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
ISO/IEC 9074, Information Processing Systems-Open System Interconnection-Estelle-A Formal Description Technique Based on an Extended State Transition Model, 1989.
ISO/IEC DP 8807, LOTOS-A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour, 1987.
Z.100, CCITT Blue Book Vol. X, Fasc.X.l, ITU Geneva, 1993.
ISO/IEC JTC1/SC21/WG7, Working draft on enhancements to LOTOS, Project WI1.21.20.2.3, February, 1998.
R. Willrich. Formal Design of Portable Hypermedia Documents (in French). PHD Thesis, LAAS-CNRS, Université Paul Sabatier. Toulouse (France), September, 1996.
J.-P. Courtiat, R.C. de Oliveira. Proving Temporal Consistency in a New Multimedia Synchronisation Model, in ACM Multimedia, Boston, MA, USA, 1996.
P.N.M. Sampaio, C.Y. Shiga & W.L. deSouza. Enabling Temporal Synchronisation in E-LOTOS Specifications and MHEG-5 Applications, proceedings of IEEE Conference on Protocols for Multimedia Systems-Multimedia Networking (PROMSMmNet’97), Santiago-Chile, November, 1997.
P.N.M. Sampaio & W.L. deSouza. Modelling Multimedia and Hypermedia Applications using an E-LOTOS/MHEG-5 Approach, proceedings of Workshop on Conceptual Modelling in Multimedia Information Seeking, Los Angeles-USA, November, 1997.
N. Hirzalla, B. Falchuk & A. Karmouch. A Temporal Model for Interactive Multimedia Scenarios, IEEE Multimedia (2) No 3, pp 24–31, 1995.
M.C. Buchanan & P.T. Zellweger. Automatically Generating Consistent Schedules for Multimedia Documents, Multimedia Systems Journal, 1(2):55–67, 1993.
P. Sénac, M. Diaz, A. Leger, & P. de Saqui-Sannes. Modelling Logical and Temporal Synchronisation in Hypermedia Systems, IEEE Journal on Selected Areas in Communications, 14(1):84–103, January, 1996.
P.N.M. Sampaio & R. Willrich. Internal Representation for Interactive Multimedia Applications (in Portuguese), Internal report — DAMD Project, October, 1997.
J.S. Allende, Graphical Designer for LOTOS, User Manual, Dept. of Telematic Systems Engineering, Technical University of Madrid, May, 1997.
P. Sénac, M. Diaz, A. Léger & P. de Saqui-Sannes. Modelling Logical and Temporal Synchronisation in Hypermedia Systems, IEEE Journal on Selected Areas in Communications, 14(1): 84–103, January, 1995.
L. P. Gaspary & M. J. Almeida. Authoring and E-LOTOS Conception of Interactive Networked Multimedia Applications in MUSE Environment, proceedings of PICS’98-Performance of Information and Communications Systems, Lund, Sweden, May 1998.
L. P. Gaspary & M. J. Almeida. MUSE-An Interactive Networked Multimedia Applications Specification Environment with E-LOTOS Translator, proceedings of CAiSE’98-10th Conference on Advanced Information Systems Engineering, pp. 273–287, Pisa, Italy, June 1998.
Henzinger, Thomas A., Ho, Pei-Hsin., Howard, Wong-Toi. HyTech: The Next Generation, Proceedings of the 16th Annual IEEE Real-time Systems Symposium (RTSS 95), IEEE Computer Society Press, 1995, pp. 56–65.
R. Alur, C. Courcoubetis, T. Henzinger, P. Ho, X. Nicollin, A. Olivero & S. Yovine. The algorithmic analysis of hybrid systems, in Proceedings of the 11th International Conference on Analysis and Optimization of Discrete Event Systems, pg. 331–351. Springer Verlag, 1994.
S. Yovine. Methods and Tools for the Symbolic Verification of Temporal Systems (in French), PhD Thesis, Institut National Polytechnique de Grenoble, 1993.
P.N.M. Sampaio. A Methodology for the MHEG-5 Implementation of Interactive Multimedia Applications Specified in E-LOTOS (in Portuguese), M.Sc. dissertation, PPG-CC/UFSCar, Brazil, February, 1998.
ISO/IEC IS 13522-5. Information Technology-Coding of Multimedia and Hypermedia Information: Part 5: Support for Base-Level Interactive Applications, 1996.
R.M. Scheffel, P.N.M. Sampaio, C.Y. Shiga & R. Willrich. Specifying Interactive Multimedia Applications using E-LOTOS (in Portuguese). Internal report — DAMD project, October, 1997.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
de Souza, W.L. et al. (1999). Design of Distributed Multimedia Applications (DAMD). In: Hutter, D., Stephan, W., Traverso, P., Ullmann, M. (eds) Applied Formal Methods — FM-Trends 98. FM-Trends 1998. Lecture Notes in Computer Science, vol 1641. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-48257-1_4
Download citation
DOI: https://doi.org/10.1007/3-540-48257-1_4
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-66462-8
Online ISBN: 978-3-540-48257-4
eBook Packages: Springer Book Archive