Formal Specification and Verification of Hypermedia Documents Based on the Nested Context Model

Formal Specification and Verification of Hypermedia Documents Based on the Nested Context Model. Santos, C. A. S., Courtiat, J. P., Soares, L. F. G., & de Souz, G. L. In Proceedings of the 1998 Conference on MultiMedia Modeling, of MMM '98, pages 21–, Washington, DC, USA, 1998. IEEE Computer Society. 00002

Paper abstract bibtex

The paper presents a methodology by which documents authored with the Nested Context Model (NCM) are automatically translated into RT-LOTOS specification. The latter is then checked against intrinsic and extrinsic consistencies using standard RT-LOTOS reachability analysis.

@inproceedings{santos_formal_1998,
	address = {Washington, DC, USA},
	series = {{MMM} '98},
	title = {Formal {Specification} and {Verification} of {Hypermedia} {Documents} {Based} on the {Nested} {Context} {Model}},
	isbn = {978-0-8186-8911-6},
	url = {http://dl.acm.org/citation.cfm?id=823464.824352},
	abstract = {The paper presents a methodology by which documents authored with the Nested Context Model (NCM) are automatically translated into RT-LOTOS specification. The latter is then checked against intrinsic and extrinsic consistencies using standard RT-LOTOS reachability analysis.},
	urldate = {2017-01-24},
	booktitle = {Proceedings of the 1998 {Conference} on {MultiMedia} {Modeling}},
	publisher = {IEEE Computer Society},
	author = {Santos, C. A. S. and Courtiat, J. P. and Soares, L. F. G. and de Souz, G. L.},
	year = {1998},
	note = {00002},
	pages = {21--}
}

Downloads: 0

{"_id":"utCR78sYtJL99Emn5","bibbaseid":"santos-courtiat-soares-desouz-formalspecificationandverificationofhypermediadocumentsbasedonthenestedcontextmodel-1998","authorIDs":[],"author_short":["Santos, C. A. S.","Courtiat, J. P.","Soares, L. F. G.","de Souz, G. L."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","address":"Washington, DC, USA","series":"MMM '98","title":"Formal Specification and Verification of Hypermedia Documents Based on the Nested Context Model","isbn":"978-0-8186-8911-6","url":"http://dl.acm.org/citation.cfm?id=823464.824352","abstract":"The paper presents a methodology by which documents authored with the Nested Context Model (NCM) are automatically translated into RT-LOTOS specification. The latter is then checked against intrinsic and extrinsic consistencies using standard RT-LOTOS reachability analysis.","urldate":"2017-01-24","booktitle":"Proceedings of the 1998 Conference on MultiMedia Modeling","publisher":"IEEE Computer Society","author":[{"propositions":[],"lastnames":["Santos"],"firstnames":["C.","A.","S."],"suffixes":[]},{"propositions":[],"lastnames":["Courtiat"],"firstnames":["J.","P."],"suffixes":[]},{"propositions":[],"lastnames":["Soares"],"firstnames":["L.","F.","G."],"suffixes":[]},{"propositions":["de"],"lastnames":["Souz"],"firstnames":["G.","L."],"suffixes":[]}],"year":"1998","note":"00002","pages":"21–","bibtex":"@inproceedings{santos_formal_1998,\n\taddress = {Washington, DC, USA},\n\tseries = {{MMM} '98},\n\ttitle = {Formal {Specification} and {Verification} of {Hypermedia} {Documents} {Based} on the {Nested} {Context} {Model}},\n\tisbn = {978-0-8186-8911-6},\n\turl = {http://dl.acm.org/citation.cfm?id=823464.824352},\n\tabstract = {The paper presents a methodology by which documents authored with the Nested Context Model (NCM) are automatically translated into RT-LOTOS specification. The latter is then checked against intrinsic and extrinsic consistencies using standard RT-LOTOS reachability analysis.},\n\turldate = {2017-01-24},\n\tbooktitle = {Proceedings of the 1998 {Conference} on {MultiMedia} {Modeling}},\n\tpublisher = {IEEE Computer Society},\n\tauthor = {Santos, C. A. S. and Courtiat, J. P. and Soares, L. F. G. and de Souz, G. L.},\n\tyear = {1998},\n\tnote = {00002},\n\tpages = {21--}\n}\n\n","author_short":["Santos, C. A. S.","Courtiat, J. P.","Soares, L. F. G.","de Souz, G. L."],"key":"santos_formal_1998","id":"santos_formal_1998","bibbaseid":"santos-courtiat-soares-desouz-formalspecificationandverificationofhypermediadocumentsbasedonthenestedcontextmodel-1998","role":"author","urls":{"Paper":"http://dl.acm.org/citation.cfm?id=823464.824352"},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"http://www.telemidia.puc-rio.br/~alan/files/all.bib","creationDate":"2020-03-03T14:08:14.438Z","downloads":0,"keywords":[],"search_terms":["formal","specification","verification","hypermedia","documents","based","nested","context","model","santos","courtiat","soares","de souz"],"title":"Formal Specification and Verification of Hypermedia Documents Based on the Nested Context Model","year":1998,"dataSources":["jAxurbvLP8q5LTdLa"]}