P. David Stotts Richard Furuta Computer Science Department Department of...  Home/Search
Context Related
| unc.edu/pub/users/sto...modelCheck.ps.Z Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: unc.edu (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: As hypertext systems proliferate and as networks become more ubiquitous, an important problem is to determine how to provide hyperdocument interoperability. Instead of taking the approach of standardizing, and implementing, a large and complex set of browsing features gleaned from some "union" of existing systems, we present an approach that allows each document to encode its own browsing semantics in the links of the hyperdocument. Any implementation offering the "follow link" operation can... (Update)
Context of citations to this paper: More
...not possible. Furuta and Stotts formally model document structure by Petri nets [29] Thereby, they concentrate on browsing information. In [30], they use model checking to analyze browsing properties. Design and implementation of hyperdocuments is proposed by HDM [24] and OOHDM...
.... work related to structuring media objects and locating positions in them, such as the Trellis model [Stotts and Furuta, 1989, Stotts et al. 1998] XPath and XLink (c.f. Deitel et al. 2001] or the Composite design pattern [Gamma et al. 1995] Chang and Shih give a detailed...
Cited by: More
A Comparison of Hyperstructures: Zzstructures, mSpaces, and .. - McGuffin, schraefel (2004) (Correct)
Towards the Algebraic Analysis of Hyperlink Structures - Fronk (2003) (Correct)
Model-Checking and its Relevance - Krishnan (Correct)
Similar documents (at the sentence level):
19.1%: Hyperdocuments as Automata: Trace-based Browsing Property.. - Stotts, Furuta, Ruiz (1992) (Correct)
17.6%: Hyperdocuments as Automata: - Verification Of Trace-Based (Correct)
Active bibliography (related documents): More All
0.6: Modeling And Prototyping Collaborative Software Processes - Stotts, Furuta (1993) (Correct)
0.6: Modeling and Prototyping Collaborative Software Processes - Stotts, Furuta (Correct)
0.4: Petri Net Based Hypertext: - Document Structure With (Correct)
Similar documents based on text: More All
0.3: Collaborative Hyperdocuments and Prototyping Groupware - Navon, Stotts, Furuta (Correct)
0.3: A Formal Approach to Analyzing the Browsing Semantics of.. - De Bra, Houben, Kornatzky (1994) (Correct)
0.2: Context-Aware Hypermedia in a Dynamically-Changing.. - Jin-Cheon Na And (2000) (Correct)
Related documents from co-citation: More All
7: Petri-net-based hypertext: Document structure with browsing semantics - Stotts, Furuta - 1989
3: Dynamic Adaptation of Hypertext Structure (context) - Stotts, Furuta - 1991
3: XML How to Program (context) - Deitel, Deitel et al. - 2001
BibTeX entry: (Update)
P.D. Stotts, R. Furuta, and J.C. Ruiz. Hyperdocuments as automata: Verification of trace-based browsing properties by model checking. ACM Transactions on Information Systems, 1997. To appear. http://citeseer.ist.psu.edu/166754.html More
@article{ stotts98hyperdocuments,
author = "P. David Stotts and Richard Furuta and Cyrano Ruiz Cabarrus",
title = "Hyperdocuments as Automata: Verification of Trace-Based Browsing Properties by Model Checking",
journal = "Information Systems",
volume = "16",
number = "1",
pages = "1-30",
year = "1998",
url = "citeseer.ist.psu.edu/166754.html" }
Citations (may not include all citations):1838 Foundations of Logic Programming (context) - Lloyd - 1987 ACM
1097 Automatic verification of finitestate concurrent systems usi.. (context) - Clarke, Emerson et al. - 1986
539 The temporal logic of programs (context) - Pnueli - 1977 ACM DBLP
413 Petri Net Theory and the Modeling of Systems (context) - Peterson - 1981 ACM
368 analysis and applications (context) - Murata - 1989
324 A logic-based calculus of events (context) - Kowalski, Sergot - 1983 ACM DBLP
230 Checking that finite state concurrent programs satisfy their.. (context) - Lichtenstein, Pnueli - 1985 ACM DBLP
188 Reflections on NoteCards: Seven issues for the next generati.. (context) - Halasz - 1988 ACM DBLP
177 Temporal logic can be more expressive (context) - Wolper - 1981 DBLP
168 Petri Nets: An Introduction (context) - Reisig - 1985
163 the temporal analysis of fairness (context) - Gabbay, Pnueli et al. - 1980
98 State-based model checking of event-driven system requiremen.. - Atlee, Gannon - 1993 ACM DBLP
83 Petri-net-based hypertext: Document structure with browsing .. - Stotts, Furuta - 1989 ACM DBLP
77 Now you may compose temporal logic specifications (context) - Barringer, Kuiper et al. - 1984 ACM DBLP
73 HAM: A general purpose hypertext abstract machine (context) - Campbell, Goodman - 1988 ACM DBLP
70 Verification of concurrent programs: the temporal framework (context) - Manna, Pnueli - 1981
63 The temporal logic of branching time (context) - Ben-Ari, Pnueli et al. - 1981 ACM DBLP
59 Modalities for model checking: Branching time strikes back (context) - Emerson, Lei - 1985 DBLP
44 Temporal Logic of Programs (context) - Kroger - 1987 ACM
39 A logical query language for hypertext systems (context) - Beeri, Kornatzky - 1990 ACM DBLP
34 is sometimes (context) - Lamport - 1980
31 Reasoning about digital circuits (context) - Moszkowski - 1983 ACM
29 A temporal logic for reasoning about partially ordered compu.. (context) - Pinter, Wolper - 1984
24 Research on automatic verification of finite-state concurren.. (context) - Clarke, Grumberg - 1987
22 Mechanizing temporal knowledge (context) - Kahn, Gorry - 1977 DBLP
21 Hyperdocuments as automata: Tracebased browsing property ver.. - Stotts, Furuta et al. - 1992
21 Program proving as hand simulation with a little induction (context) - Burstall - 1974 DBLP
18 Petri Nets an Introduction (context) - Wolfgang - 1985
17 Journal of Visual Languages and Computing (context) - Stotts, Furuta - 1990
15 The multimedia object presentation manager of MINOS: A symme.. (context) - Christodoulakis, Ho et al. - 1986 ACM DBLP
14 Active paths through multimedia documents (context) - Zellweger - 1988 ACM
14 browsing knowledge in hypertext systems (context) - Marchionini, Shneiderman - 1988
13 and document formation in MINOS: A model and a system (context) - Christodoulakis, Theodoridou et al. - 1986
11 Browsing parallel process networks - Stotts, Furuta - 1990 ACM DBLP
6 Directed paths through collections of multi-media documents (context) - Zellweger - 1987
6 revisited: on branching vs (context) - Emerson, Halpern - 1983
5 Temporal inferencing on administrative databases (context) - Lee, Coelho et al. - 1985 DBLP
3 Symbolic model checking: 10 to the 20 states and beyond (context) - Bursh, Clark et al. - 1989
3 Structured dynamic behavior in hypertext (context) - Furuta, Stotts - 1991 ACM
3 Temporal Logics and their applications (context) - Antony - 1987 ACM
3 Logics for Petri-nets: Partial order logics (context) - Sinachopoulos - 1989
3 Temporal Petri nets and their application to modeling and an.. (context) - Suzuki, Lu - 1989
1 Hyperprograms: Concurrent automata as information structures (context) - Stotts, Furuta - 1991
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.math.jussieu.fr/~fermigie/fermivista/ftp/ftp.cs.unc.edu.html): More
Predicting Worst Case Execution Times on a Pipelined RISC.. - Bharrat, Jeffay (1995) (Correct)
Kernel Support for Live Digital Audio and Video - Jeffay, Stone, Smith (1992) (Correct)
A Framework for Implementing Objects and Scheduling Tasks.. - Anderson, Ramamurthy (1996) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC