P. David Stotts
About the author:
No description available of P. David Stotts...
Publications by P. David Stotts (bibliography)
» 1998 «
Stotts, P. David, Furuta, Richard and Cabarrús, Cyrano Ruiz (1998): Hyperdocuments as Automata: Verification of Trace-Based Browsing Properties by Model Checking. In ACM Transactions on Information Systems, 16 (1) pp. 1-30
“We present a view of hyperdocuments in which each document encodes its own browsing semantics in its links. This requires a mental shift in how a hyperdocument is thought of abstractly. Instead of treating the links of a document as defining a static directed graph, they are thought of as defining an abstract program, termed the links-automaton of the document. A branching temporal logic notation, termed HTL*, is introduced for specifying properties a document should exhibit during browsing. An automated program verification technique called model checking is used to verify that browsing specifications in a subset of HTL* are met by the behavior defined in the links-automation. We illustrate the generality of these techniques by applying them first to several Trellis documents and then to a Hyperties document.”
Copyrights may apply
» 1997 «
Ladd, Brian C., Capps, Michael V. and Stotts, P. David (1997): The World Wide Web: What Cost Simplicity. In: Bernstein, Mark, Carr, Leslie and Osterbye, Kasper (eds.) Hypertext 97 - Proceedings of the Eighth ACM Conference on Hypertext April 06-11, 1997, Southampton, UK. pp. 210-211. Available online
“The ubiquity of the World Wide Web owes much to the simplicity of its graph model. Unfortunately that graph model omits powerful features found in traditional hypertext systems: concurrency and synchronization. These shortcomings are addressed in an extensible manner as part of the Multi-head, Multi-head, Multi-client Browsing Project; our research is focused on extending the Web through the use of the more powerful link semantics.”
Copyrights may apply
» 1995 «
Furuta, Richard and Stotts, P. David (1995): Dynamic Hyperdocuments: Authoring Replaces Programming. In Communications of the ACM, 38 (8) pp. 111-112
» 1994 «
Furuta, Richard and Stotts, P. David (1994): Interpreted Collaboration Protocols and Their Use in Groupware Prototyping. In: Smith, John B., Smith, F. Don and Malone, Thomas W. (eds.) Proceedings of the 1994 ACM conference on Computer supported cooperative work October 22 - 26, 1994, Chapel Hill, North Carolina, United States. pp. 121-131. Available online
“The correct and timely creation of systems for coordination of group work depends on the ability to express, analyze, and experiment with protocols for managing multiple work threads. We present an evolution of the Trellis model that provides a formal basis for prototyping the coordination structure of a collaboration system. In Trellis, group interaction protocols are represented separately from the interface processes that use them for coordination. Protocols are interpreted (rather than compiled into applications) so group interactions can be changed as a collaborative task progresses. Changes can be made either by a person editing the protocol specification "on the fly" or by a silent "observation" process that participates in an application solely to perform behavioral adaptations. Trellis uniquely mixes hypermedia browsing with collaboration support. We term this combination a hyperprogram, and we say that a hyperprogram integrates the description of a collaborative task with the information required for that task. As illustration, we describe a protocol for a moderated meeting and show a Trellis prototype conference tool controlled by this protocol.”
Copyrights may apply
» 1993 «
Stotts, P. David and Furuta, Richard (eds.) Proceedings of ACM Hypertext 93 Conference November 14-18, 1993, Seattle, Washington.
» 1992 «
Stotts, P. David, Furuta, Richard and Ruiz, J. Cyrano (1992): Hyperdocuments as Automata: Trace-Based Browsing Property Verification. In: Lucarella, D., Nanard, Jocelyne, Nanard, Marc and Paolini, P. (eds.) Proceedings of ECHT 92 the Fourth ACM Conference on Hypertext November 30 - December 04, 1992, Milano, Italy. pp. 272-281. Available online
“In many hypertext systems, meaningfully traversing a document depends on capabilities, features, and navigational aids that are part of the browser implementation. For example, if a reader browses to a node that has no out links, then backing up, or "warping" to the table of contents can allow the browsing session to continue. If hyperdocuments are to become interchangeable among hypertext systems, rather than being readable only on the systems from which they are authored, one obvious but complex approach is to try and standardize on (most likely, very many) browsing features and behaviors, forming some standard union of the capabilities of current major implementations. This approach molds (or perhaps restricts) future systems, since new browsing "features" must then be worked into such a standard. An alternate approach, used in this paper, is to de-emphasized browser features and emphasize inherent document structure with browsing semantics. An author should be able to create document structure so that the desired meaningful access patterns are inherently allowed by links rather than by browser capabilities. We present a method of analyzing the browsing properties of a hypertext document by examining the links alone. This method is not specific to any particular hypertext system or document authoring format. With it, an author can be certain that a document will allow particular access patterns when read on any browser implementation that has a single navigation operation: direct link following. The method requires a mental shift in how a hyperdocument is conceived abstractly. Instead of treating the links of a document as defining a static directed graph, they are thought of as defining an abstract program, termed the links-automaton of the document. A branching temporal logic notation, termed HTL*, is introduced for specifying properties a document should exhibit during browsing. An automated program verification technique called model checking is then used to verify that these specifications are met by the behavior of the links-automaton. We illustrate the generality of our technique by applying it first to a Trellis document, and then to a Hyperties document.”
Copyrights may apply
» 1991 «
Stotts, P. David and Furuta, Richard (1991): Dynamic Adaptation of Hypertext Structure. In: Walker, Jan (ed.) Proceedings of ACM Hypertext 91 Conference December 15-18, 1991, San Antonio, Texas. pp. 219-231. Available online
“A technique is described for adapting the apparent structure of a hypertext to the behavior and preferences exhibited by its users while browsing. Examples are given an implementation of this technique using the timing mechanism in Trellis. In the technique, event durations in a document are altered without actually changing the links in the underlying Petri net. The two extrema of instantaneous events and infinite delays can be used to create apparent node and link deletions and additions, as well as to insert new tokens (loci of activity) into a document. Adaptation of these times is accomplished using a simple data state in which the event timings (and other document properties) are variables, called attributes. As a reader traverses hypertext links, author-supplied adaptation agents are invoked to collect information and possibly change the values of the attributes. Agents encapsulate and effect the criteria for deciding when, and specifically how, a structure should be adapted. Several practical examples illustrate the conclusion of this report: sophisticated alterations do not require a complicated adaptation mechanism, that changing document constants into document variables provides flexibility to this mechanism, and that using a limited simple mechanism is the only hope for retaining analysis of the static and dynamic net properties.”
Copyrights may apply
» 1990 «
Stotts, P. David and Furuta, Richard (1990): Hierarchy, Composition, Scripting Languages, and Translators for Structured Hypertext. In: Rizk, Antoine, Streitz, Norbert A. and Andre, Jacques (eds.) ECHT 90 - European Conference on Hypertext November 27-30, 1990, Versailles, France. pp. 180-193.
“In this paper we describe a hypertext translator-generator system that uses XTed, the visual Petri net editor from the {Chi}Trellis hypertext system, to specify the semantic component of a string-to-graph translation. XTed-specified parsers convert general authoring notations into structured {Chi}Trellis documents for browsing. The operative mechanism is termed a pair grammar, in which a string grammar and a graph grammar are paired in a one-to-one correspondence. When an XTed-specified parser reduces by one of its string grammar productions, the corresponding production in its graph grammar is used to generate a portion of the Petri net that implements that syntax. The use of pair grammars in conjunction with the Trellis model results in a general method of defining hypertext structure that is both hierarchical and compositional.”
Copyrights may apply
Gallagher, Leonard, Furuta, Richard and Stotts, P. David (1990): Increasing the Power of Hypertext Search with Relational Queries. In Hypermedia, 2 (1) pp. 1-14
“We describe an SQL relational database schema for representing the objects in HyperCard, along with a technique for automatically populating this schema from a HyperCard stack using the facilities in HyperTalk with calls to the database manager. The standard relational database query language SQL can then be used to perform more general hypertext searches than are possible with the string search feature found in most hypertext browsing environments. Semiautomatic updates of the content of a hypertext are also possible using SQL updates on the object representations in the database to trigger corresponding HyperCard updates on the objects themselves. We describe a prototype implementation and present several example queries and updates to motivate this approach. These techniques, although demonstrated here specifically using HyperCard and Oracle for Macintosh, are generally applicable to a wide range of hypertext systems and relational databases.”
Copyrights may apply
Stotts, P. David (1990): Panel on Hypertext Systems. In: VL 1990 1990. pp. 66-68.
» 1989 «
Furuta, Richard and Stotts, P. David (1989): Programmable Browsing Semantics in Trellis. In: Halasz, Frank and Meyrowitz, Norman (eds.) Proceedings of ACM Hypertext 89 Conference November 5-8, 1989, Pittsburgh, Pennsylvania. pp. 27-42.
Stotts, P. David and Furuta, Richard (1989): Petri-Net-Based Hypertext: Document Structure with Browsing Semantics. In ACM Transactions on Information Systems, 7 (1) pp. 3-29
“We present a formal definition of the Trellis model of hypertext and describe an authoring and browsing prototype called {alpha}Trellis that is based on the model. The Trellis model not only represents the relationships that tie individual pieces of information together into a document (i.e., the adjacencies), but specifies the browsing semantics to be associated with the hypertext as well (i.e., the manner in which the information is to be visited and presented). The model is based on Petri nets, and is a generalization of existing directed graph-based forms of hypertext. The Petri net basis permits more powerful specification of what is to be displayed when a hypertext is browsed and permits application of previously developed Petri net analysis techniques to verify properties of the hypertext. A number of useful hypertext constructs, easily described in the Trellis model, are presented. These include the synchronization of simultaneous traversals of separate paths through a hypertext, the incorporation of access controls into a hypertext (i.e., specifying nodes that can be proven to be accessible only to certain classes of browsers), and construction of multiple specialized (tailored) versions from a single hypertext.”
Copyrights may apply
SHOW THIS LIST ON YOUR HOMEPAGE
What do YOU think?
Give us your opinion! Do you have any comments/additions
that you would like other visitors to see?
You say:
Mar 20th, 2010
Changes to this page (author)
20 Feb 2010: Enabled abstracts to be shown on P. David Stotts's author page.17 Aug 2009: Author was edited 16 Jun 2009: Author was edited
23 Jun 2007: Author was edited
28 Apr 2003: Added the author to the bibliography
