Abstract
Hypermedia authoring tools usually suffer from a lack of validation capabilities that would make them capable of checking a document against temporal inconsistencies. The document design method proposed in the paper is meant to overcome this problem. The starting point is a document description provided in a high-level modeling technique featuring hypermedia basic concepts such as nodes (including composite nodes), anchors and links. The high-level document is then automatically translated into a RT-LOTOS formal specification on which classical reachability analysis techniques are applied, making it possible to check the temporal consistency of the document structure. A simple example is used along the text to illustrate the proposed approach.
The original version of this chapter was revised: The copyright line was incorrect. This has been corrected. The Erratum to this chapter is available at DOI: 10.1007/978-0-387-35394-4_29
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Blakowski G.; Steinmetz R. (1996) A Media Synchronization Survey: Reference Model
Specification and Case Studies, IEEE Journal on Selected Areas in Communications,24(1).
Buchanan MC.; Zellweger PT. (1993a) Automatically generating consistent schedules for multimedia documents, Multimedia System Journal.
Buchanan, MC; Zellweger, PT. (1993b) Automatic Temporal Layout Mechanisms. ACM Multimedia’93. San Francisco, USA.
Casanova, M.A. et all. (1991) The Nested Context Model for Hyperdocuments. ACM Conference on Hypertext, San Antonio, USA.
Courtiat, JP.; De Oliveira, RC. (1995) A Reachability Analysis of RT-LOTOS Specifications. FORTE’95, Montreal, Canada.
Courtiat, JP.; Oliveira, RC. (1996) Proving Temporal Consistency in a New Multimedia Synchronization Model. ACM Multimedia’96. Boston, USA.
Fernandez JC. et all. (1996) CADP, CAESAR/ALDEBARAN Development Package: a protocol validation and verification toolbox, 8` h Conference on Computer Aided Verification,New Brunswick, USA.
Fraissé, S.; Nanard, J.; Nanard M. (1996) Generating Hypermedia from Specifications by Sketching Multimedia Templates. ACM Multimedia “96, Boston, USA.
Lakaida N.; Keramane C. (1995) Maintaining temporal consistency of multimedia documents.
ACM Workshop on Effective Abstractions in Multimedia,San Francisco, USA.
Rodrigues, R.F.; Soares, L.F.G.; Souza, G.L. (1997) Authoring and Formatting of Documents
Based on Event-Driven Hypermedia Models, IEEE Conference on Protocols for Multimedia
Systems, Multimedia Networking — PROMSMmNet’97,Santiago, Chile.
Santos, C.A.S; Soares, L.F.G; Souza; G.L; Courtiat, J.-P. (1998) Design Methodology and Formal Validation of Hypermedia Documents. ACM Multimedia’98, Bristol, UK. (To be published )
Soares, L.F.G.; Casanova, M.A.; Rodriguez, N.L.R. (1995) Nested Composite Nodes and Version Control in an Open Hypermedia System, International Journal on Information Systems, Special Issue on Multimedia Information Systems. 501–519.
Van Rossum et all. (1993) CMIFed: A Presentation Environment for Portable Hypermedia Documents, ACM Multimedia’93, California, USA.
Wahl T., Rothermel K. (1994) Representing time in multimedia systems. IEEE Im. Conf. on Multimedia Computing and Systems, Boston, USA.
Willrich, R.; Sénac, P.; Saqui-Sannes, P.; Diaz, M. (1996) Hypermedia Documents Design Using the HTSPN Model. 3rd Int. Conf. on MultiMedia Modeling - MMM’96, Toulouse, France.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1998 IFIP International Federation for Information Processing
About this chapter
Cite this chapter
Santos, C.A.S., Courtiat, JP., de Saqui-Sannes, P. (1998). A Design Methodology for the Formal Specification and Verification of Hypermedia Documents. In: Budkowski, S., Cavalli, A., Najm, E. (eds) Formal Description Techniques and Protocol Specification, Testing and Verification. PSTV FORTE 1998 1998. IFIP — The International Federation for Information Processing, vol 6. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-35394-4_11
Download citation
DOI: https://doi.org/10.1007/978-0-387-35394-4_11
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4757-5262-5
Online ISBN: 978-0-387-35394-4
eBook Packages: Springer Book Archive