Title :
Formal specification and verification of hypermedia documents based on the Nested Context Model
Author :
Santos, C.A.S. ; Courtiat, J.-P. ; Soares, L.F.G. ; de Souza, G.L.
Author_Institution :
Lab. d´´Autom. et d´´Anal. des Syst., CNRS, Toulouse, France
Abstract :
The paper presents a methodology by which documents authored with the Nested Context Model (NCM) are automatically translated into a RT-LOTOS specification. The latter is then checked against intrinsic and extrinsic consistencies using standard RT-LOTOS reachability analysis
Keywords :
document handling; formal specification; hypermedia; program verification; reachability analysis; specification languages; Nested Context Model; RT-LOTOS specification; formal specification; formal verification; hypermedia documents; methodology; reachability analysis; Authoring systems; Context modeling; Delay; Formal specifications;
Conference_Titel :
Multimedia Modeling, 1998. MMM '98. Proceedings. 1998
Conference_Location :
Lausanne
Print_ISBN :
0-8186-8911-0
DOI :
10.1109/MULMM.1998.722970
