一个规范、分析和生成标准化超媒体文档的正式框架

Proceedings of the Third IEEE International Conference on Multimedia Computing and Systems Pub Date : 1996-06-17 DOI:10.1109/MMCS.1996.535005

Roberto Willrich, P. Sénac, M. Diaz, Pierre de Saqui-Sannes

{"title":"一个规范、分析和生成标准化超媒体文档的正式框架","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":"{\"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}","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

摘要

提出一个规范、分析和生成标准化超媒体文档的正式框架。该框架基于分层时间流Petri网(HTSPN)模型，该模型适应了分布式超媒体系统中时间和逻辑约束的规范。本文提出的解释式HTSPN模型允许对超媒体文档进行准确、明确的规范。此外，它允许应用强大的分析技术来确保超媒体文档的质量。对于HTSPN规范来说，在开放的超媒体系统中存储、交换和呈现是很重要的。因此，还提出了一种将解释后的HTSPN规范转换为MHEG(多媒体和超媒体专家组)表示的过程。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

A formal framework for the specification, analysis and generation of standardized hypermedia documents

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.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

Proceedings of the Third IEEE International Conference on Multimedia Computing and Systems

自引率

0.00%

发文量