Roberto Willrich, P. Sénac, M. Diaz, Pierre de Saqui-Sannes
{"title":"A formal framework for the specification, analysis and generation of standardized hypermedia documents","authors":"Roberto Willrich, P. Sénac, M. Diaz, Pierre de Saqui-Sannes","doi":"10.1109/MMCS.1996.535005","DOIUrl":null,"url":null,"abstract":"Proposes a formal framework for the specification, analysis and generation of standardized hypermedia documents. This framework is based on the hierarchical time stream Petri net (HTSPN) model adapted to the specification of temporal and logical constraints in distributed hypermedia systems. The interpreted HTSPN model presented in the paper allows the accurate and unambiguous specification of hypermedia documents. Moreover, it permits powerful analysis techniques to be applied for insuring the quality of hypermedia documents. It is important for a HTSPN specification to be stored, exchanged and presented within open hypermedia systems. Therefore, a procedure for translating interpreted HTSPN specification into an MHEG (Multimedia and Hypermedia Experts Group) representation is also proposed.","PeriodicalId":371043,"journal":{"name":"Proceedings of the Third IEEE International Conference on Multimedia Computing and Systems","volume":"307 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1996-06-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"10","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings of the Third IEEE International Conference on Multimedia Computing and Systems","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/MMCS.1996.535005","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 10
Abstract
Proposes a formal framework for the specification, analysis and generation of standardized hypermedia documents. This framework is based on the hierarchical time stream Petri net (HTSPN) model adapted to the specification of temporal and logical constraints in distributed hypermedia systems. The interpreted HTSPN model presented in the paper allows the accurate and unambiguous specification of hypermedia documents. Moreover, it permits powerful analysis techniques to be applied for insuring the quality of hypermedia documents. It is important for a HTSPN specification to be stored, exchanged and presented within open hypermedia systems. Therefore, a procedure for translating interpreted HTSPN specification into an MHEG (Multimedia and Hypermedia Experts Group) representation is also proposed.
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
