• DocumentCode
    1943220
  • 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
  • fYear
    1998
  • fDate
    12-15 Oct 1998
  • Firstpage
    21
  • Lastpage
    22
  • 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;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Multimedia Modeling, 1998. MMM '98. Proceedings. 1998
  • Conference_Location
    Lausanne
  • Print_ISBN
    0-8186-8911-0
  • Type

    conf

  • DOI
    10.1109/MULMM.1998.722970
  • Filename
    722970
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=1943220