Twenty-Third Annual Hawaii International Conference on System Sciences

2-5 Jan. 1990

Go

Filter Results

Displaying Results 1 - 25 of 61
  • R-trees for large geographic information systems in a multi-user environment

    Publication Year: 1990, Page(s):10 - 17 vol.2
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (591 KB)

    The authors explore the application of the R-tree hierarchical data structure to a geographic information system (GIS). In addition to demonstrating the R-tree's efficiency in accessing large databases in secondary storage, the authors show how an R-tree-based data structure can facilitate Boolean operations such as unions and intersections as well as area and perimeter calculations on regions. Be... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Detecting when UNNEST after a sequence of NESTs and UNNESTs can always be reversed with a single NEST

    Publication Year: 1990, Page(s):268 - 277 vol.2
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (560 KB)

    Algebraic database languages for nested relations use two operators, NEST and UNNEST, which change the nesting levels of relations. Consider a first-normal form relation scheme R and a sequence SEQ of NEST and UNNEST operators on R, with the last operator being an UNNEST on attribute Y. SEQ is single-nest-reversible if, for all instances r of <... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Extensible transaction management in Papyrus

    Publication Year: 1990, Page(s):503 - 511 vol.2
    Cited by:  Papers (1)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (732 KB)

    The authors describe the extensible transaction management architecture of Papyrus and its motivation. In Papyrus, persistent data are encapsulated in data servers, which provide a collection of methods that clients may use to access and update the data. The Papyrus architecture allows data servers to specify their own concurrency-control algorithms. A data server can present its clients with a ch... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Preserving consistency in nested transactions

    Publication Year: 1990, Page(s):472 - 480 vol.2
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (604 KB)

    The support of advanced applications such as CAD/CAM (computer-aided design and manufacturing) by nonstandard database systems (NDBs) has become important in database system research. Because complex integrity constraints are important, NDBSs have to provide a flexible mechanism to deal with them. For this purpose, the nested transaction concept developed for advanced applications is combined with... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Specification-based code generation

    Publication Year: 1990, Page(s):165 - 173 vol.2
    Cited by:  Papers (5)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (816 KB)

    The authors review strategies for designing directly implemented algebraic specifications and discuss code generation. They introduce a small specification language that supports the use of the design strategies and facilitates the perception and understanding of the various components of a specification. They review the binary choice and the recursive reduction strategies that can be employed dur... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • ELL: Extendable Library Language

    Publication Year: 1990, Page(s):257 - 266 vol.2
    Cited by:  Patents (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (704 KB)

    The authors summarize an approach that considers reuse as a higher-level specification method with its own environment. A prototype for semiautomatic software generation has been developed by combination of a reuse process with knowledge of an application domain in terms of objects, functions, templates, and rules. The prototyped reuse environment is described with emphasis on the Extendable Libra... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Software development environment transactions: their implementation and use in Cosmos

    Publication Year: 1990, Page(s):493 - 502 vol.2
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (940 KB)

    Describes the design, implementation, and use of the Cosmos transaction mechanism, which is based on the concept of immutable objects that can be grouped to form consistent configurations. Configurations evolve from one consistent version to the next through the application of atomic transactions. Such transactions can be long-term, and the creation of save points, the synchronization mechanizatio... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • FORS: a flexible design environment

    Publication Year: 1990, Page(s):463 - 470 vol.2
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (632 KB)

    The author describes a modular design environment called FORS (flexible organizations), which is based on a network representation of the design effort. Each design network consists of tools (programs distributed over the whole network) and aspects (the models to which the tools are applied). The system's communication and exchange of data are based on distributed problem-solving techniques. The m... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Multi-agent hypermedia systems in CIM

    Publication Year: 1990, Page(s):436 - 444 vol.2
    Cited by:  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (672 KB)

    The authors discuss integration aspects of CIM (computer-integrated manufacturing) systems with many communicating enterprises, units, and users. Communicating nodes are modeled as nested enterprise objects. An enterprise object consists of an active agent, applications, and other enterprise objects. The distributed hypermedia paradigm is used as a framework for integration, and the consequent gen... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Algebraic concepts for formal specification and transformation of modular software systems

    Publication Year: 1990, Page(s):153 - 164 vol.2
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1112 KB)

    The role of formal methods for software specification and transformation is discussed, and it is shown how algebraic concepts can support the software development process. Algebraic specification techniques in general are discussed, as are the formal specification languages Act One and Lotos for data types, software systems, and distributed systems. The specification languages are introduced toget... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Design issues and first experiences with a visual database editor for the extended NF2-data model

    Publication Year: 1990, Page(s):308 - 317 vol.2
    Cited by:  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (808 KB)

    The authors describe a visual database editor for the extended NF 2 (eNF2)-data model for simple tasks like browsing the database, data entry, and editing. The editor's interface, called a finger, is based on the paradigm of a two-dimensional cursor, and can be used even by casual users. The system, named Escher, serves as a research vehicle for self-referencing methods in th... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • OBSERV-a prototyping language and environment combining object oriented approach, state machines and logic programming

    Publication Year: 1990, Page(s):247 - 256 vol.2
    Cited by:  Papers (2)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (848 KB)

    The OBSERV methodology for software development is based on rapid construction of an executable specification (or prototype) of a system, which may be examined and modified repeatedly to achieve the desired functionality. The objectives of OBSERV also include facilitating a smooth transition to a target system and providing the means for reusing specification, design, and code of (sub)systems. Of ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Evolutionary prototyping: techniques for structuring the iterative development of knowledge-based systems

    Publication Year: 1990, Page(s):211 - 219 vol.2
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (748 KB)

    A knowledge-based software project management system called Dr. Watson is being developed using the automated reasoning tool (ART) and Common Lisp on Symbolics workstations. Dr. Watson has evolved over 1-1/2 years from a simple prototype of two to three pages of ART code to a system composed of 26 files; the current system comprises a conceptual model of project management, algorithms, and reasoni... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Redundancy: an approach to the efficient implementation of semantic integrity assertions

    Publication Year: 1990, Page(s):393 - 399 vol.2
    Cited by:  Patents (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (468 KB)

    Semantic integrity assertions accurately model the real world by defining consistent database states; however, the assertions are expensive to enforce because checking them may require numerous database accesses. The authors therefore propose a method which alleviates this expense by storing redundant data. Integrity constraints are assumed to be expressed in a relational calculus-like language wi... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The HITS Icon Editor: the specification of graphic behavior without coding

    Publication Year: 1990, Page(s):523 - 530 vol.2
    Cited by:  Papers (1)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (628 KB)

    The authors describe the Icon Editor, a platform for exploring the construction of dynamic graphical icons and techniques for relating those entities to an application. Discussed is the specification of dynamic icons for use in an interface. Considered are a conceptualization for building appearance and behavior and a prototype system. The authors generalize the notion of tapping, the process of r... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A cooperative transaction model

    Publication Year: 1990, Page(s):491 - 492 vol.2
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (196 KB)

    Database interactions in engineering applications are very different from those of classical applications. One key aspect of these engineering transactions is their correspondence to interactive design activities. Designers want to work together, interact with each other, see someone else's intermediate results and so on. The author presents a transaction model that is designed to support this coo... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The integration of inspection into the CIM environment

    Publication Year: 1990, Page(s):455 - 462 vol.2
    Cited by:  Papers (3)  |  Patents (4)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (716 KB)

    The authors describe a CIM (computer-integrated manufacturing) system that combines inspection specification and planning with the design process. A part is described in terms of generic features: form features (e.g. pockets or ribs) and inspection and tolerance features (e.g. callouts). Rules for inspection are incorporated as part of the generic features. Part definitions and data structures nec... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Temporal specification of Ada tasks

    Publication Year: 1990, Page(s):410 - 419 vol.2
    Cited by:  Papers (4)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (656 KB)

    The authors report work on a language called Ada/TL for the specification of the temporal behavior of interacting Ada tasks in both concurrent and distributed systems. Ada/TL is an extension of the task-specification declarations required by Ada. The extensions include temporal assertions about rendezvous and other events of external interactions and nontemporal in and out assertions about paramet... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • InfoSound: an audio aid to program comprehension

    Publication Year: 1990, Page(s):541 - 546 vol.2
    Cited by:  Papers (15)  |  Patents (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (440 KB)

    The authors have explored ways to enhance users' comprehension of complex applications using music and special sound effects to present application program events that are difficult to visually detect. A prototype system, InfoSound, allows developers to create and store musical sequences and special sound effects, to associate stored musical sequences and sound effects to application events, and t... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Forget-Me-Not-controlling intercompany operations by intelligent electronic mail

    Publication Year: 1990, Page(s):428 - 435 vol.2
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (604 KB)

    The Forget-Me-Not (FMN) system relies on a programmable messaging system. Messages are organized into higher-level structures modeling ongoing activities in the real world. The key idea is that messages exchanged are not separate pieces of data, but parts of large tasks. FMN is a system for describing the messages and the higher-level activities in a way which makes it possible to better understan... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Using objects evolution for software processes representation

    Publication Year: 1990, Page(s):121 - 130 vol.2
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (632 KB)

    The authors suggest an object orientation for behavioral modeling software processes, in which the objects used for the elaboration of the software product can also allow effective representation of software processes. They suggest representing the software process through a multiform object encapsulating the various data items generated by this process. To allow an accurate analysis of actual exp... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • RETEST-development of a selective revalidation prototype environment for use in software maintenance

    Publication Year: 1990, Page(s):92 - 101 vol.2
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (632 KB)

    The authors examine problems associated with regression testing, giving particular attention to aspects concerning selective revalidation. They describe a prototype retesting environment called RETEST that will allow maintenance personnel to cope with revalidation procedures. It is noted that large amounts of time and computational resources are expended for revalidation and that the maintainers' ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Querying databases of trajectories of differential equations. I. Data structures for trajectories

    Publication Year: 1990, Page(s):18 - 24 vol.2
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (324 KB)

    One approach to qualitative reasoning about dynamical systems is to extract qualitative information by searching or making queries on databases containing many trajectories. The efficiency of such queries depends crucially upon finding an appropriate data structure for trajectories of dynamical systems. Suppose that a large number of parameterized trajectories γ of a dynamical system evolvin... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Transforming from flat algebra to nested algebra

    Publication Year: 1990, Page(s):298 - 307 vol.2
    Cited by:  Papers (2)  |  Patents (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (644 KB)

    Consider a database which at the conceptual level consists of a set of 1NF (flat) relations but which is physically stored in denormalized (prejoined) form. Denormalization reduces the number of joins required to compute a query. To reduce redundancy, each prejoined relation can be converted into a NF2 (nested) relation by a series of nest operations. The authors consider the problem of... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An object-oriented framework to support architectural design development

    Publication Year: 1990, Page(s):349 - 357 vol.2
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (656 KB)

    The authors present a requirements-specification methodology, called knowledge-based assistant for program specification (KAPS), that analyzes domain information from an object-oriented perspective. The methodology is based on an environment that provides knowledge-based assistance for the generation of a requirements specification model. The model is used to derive a framework for an object-based... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.