Abstract | ||
---|---|---|
This paper introduces hypercharts, a novel and effective notation that extends the well-known statechart formalism to make it suitable for the specification of 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 terms of conventional statechart models. Therefore, any hyperchart construction can be transformed into a statechart that exhibits the desired behavior, giving hyperchart models the same semantic behavior as statecharts. The new constructs are illustrated using a case study based on a hypermedia-modeling example. |
Year | DOI | Venue |
---|---|---|
1997 | 10.1109/32.748917 | IEEE Trans. Software Eng. |
Keywords | DocType | Volume |
extended statecharts,petri net-based multimedia model,new construct,hypermedia application,support hypermedia specification,multimedia model,major characteristic,hyperchart construction,synchronization mechanism,conventional statechart model,information synchronization requirement,effective model,hyperchart model,proposed extension,well-known statechart formalism,new definition,hypermedia specification,semantic behavior,petri net,information retrieval,synchronisation,petri nets,formal specification,history,navigation,automata | Conference | 25 |
Issue | ISSN | ISBN |
1 | 0098-5589 | 0-8186-8126-8 |
Citations | PageRank | References |
19 | 1.24 | 11 |
Authors | ||
5 |
Name | Order | Citations | PageRank |
---|---|---|---|
Fabiano Borges Paulo | 1 | 19 | 1.24 |
Paulo Cesar Masiero | 2 | 436 | 31.60 |
Maria Cristina Ferreira de Oliveira | 3 | 313 | 26.34 |
Borges Paulo, F. | 4 | 19 | 1.24 |
Maria Cristina F. De Oliveira | 5 | 238 | 13.18 |