Hypercharts:扩展状态图以支持超媒体规范

Proceedings. Third IEEE International Conference on Engineering of Complex Computer Systems (Cat. No.97TB100168) Pub Date : 1997-09-08 DOI:10.1109/ICECCS.1997.622306

F. B. Paulo, P. Masiero, Maria Cristina Ferreira de Oliveira

{"title":"Hypercharts:扩展状态图以支持超媒体规范","authors":"F. B. Paulo, P. Masiero, Maria Cristina Ferreira de Oliveira","doi":"10.1109/ICECCS.1997.622306","DOIUrl":null,"url":null,"abstract":"This paper introduces hypercharts, a novel and effective model that extends the well-known statechart formalism to make it suitable for the specification of the temporal and information synchronization requirements of hypermedia applications. Three new definitions are added: timed history, timed transitions and a set of synchronization mechanisms. The proposed extensions are based on the major characteristics of some Petri net based multimedia models, and have their semantics described in the paper in terms of conventional statechart models.","PeriodicalId":168372,"journal":{"name":"Proceedings. Third IEEE International Conference on Engineering of Complex Computer Systems (Cat. No.97TB100168)","volume":"46 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1997-09-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"37","resultStr":"{\"title\":\"Hypercharts: extended statecharts to support hypermedia specification\",\"authors\":\"F. B. Paulo, P. Masiero, Maria Cristina Ferreira de Oliveira\",\"doi\":\"10.1109/ICECCS.1997.622306\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"This paper introduces hypercharts, a novel and effective model that extends the well-known statechart formalism to make it suitable for the specification of the temporal and information synchronization requirements of hypermedia applications. Three new definitions are added: timed history, timed transitions and a set of synchronization mechanisms. The proposed extensions are based on the major characteristics of some Petri net based multimedia models, and have their semantics described in the paper in terms of conventional statechart models.\",\"PeriodicalId\":168372,\"journal\":{\"name\":\"Proceedings. Third IEEE International Conference on Engineering of Complex Computer Systems (Cat. No.97TB100168)\",\"volume\":\"46 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1997-09-08\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"37\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings. Third IEEE International Conference on Engineering of Complex Computer Systems (Cat. No.97TB100168)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/ICECCS.1997.622306\",\"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. Third IEEE International Conference on Engineering of Complex Computer Systems (Cat. No.97TB100168)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ICECCS.1997.622306","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 37

摘要

本文介绍了一种新颖而有效的超图模型，它扩展了众所周知的状态图形式，使其适合于超媒体应用程序的时间和信息同步需求的规范。添加了三个新的定义:定时历史、定时转换和一组同步机制。本文提出的扩展是基于一些基于Petri网的多媒体模型的主要特征，并根据传统的状态图模型描述了它们的语义。

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

查看原文本刊更多论文

Hypercharts: extended statecharts to support hypermedia specification

This paper introduces hypercharts, a novel and effective model that extends the well-known statechart formalism to make it suitable for the specification of the temporal and information synchronization requirements of hypermedia applications. Three new definitions are added: timed history, timed transitions and a set of synchronization mechanisms. The proposed extensions are based on the major characteristics of some Petri net based multimedia models, and have their semantics described in the paper in terms of conventional statechart models.

求助全文

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

来源期刊

Proceedings. Third IEEE International Conference on Engineering of Complex Computer Systems (Cat. No.97TB100168)

自引率

0.00%

发文量