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.
  • Specification and implementation of application-oriented languages

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

    Application-oriented languages are specialized languages which may be specified and implemented based on general-purpose languages and their implementations. The model used to introduce the specialized languages is based on translation. A simple model supports modifications and extensions of the general language only. An alternative model has an initial phase for defining a semantic basis for the ... 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.
  • Experiences with knowledge-base and large database integration

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

    The authors discuss the integration of several knowledge bases and a large database in the context of a manufacturing simulation. This simulation is referred to as the work load model. The knowledge bases are network data structures providing inheritance and rule-based definition/execution. The simulation represents the production activities at numerous individual facilities and is used to determi... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Specification by example using graphical animation and a production system

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

    The author describes a rapid prototyping technique based on executing requirement specifications for application domains. Entities, activities, and constraints of a real environment are specified and represented by icons, icon transformations, and production rules, respectively. The behavior of the system is simulated by execution of the production rules combined with an icon animation. The aspect... 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.
  • NF2 relations and complex objects for model management systems

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

    An SQL-based system is described that supports complex objects, nonnormalized (NF2) relations, arrays, matrices, ordered lists, and versions. Both object-oriented and data views of a relational database are supported. The system supports the integration of OR/MS (operations research and management science) modeling with corporate databases. It is part of the ASUMMS model management syst... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Petri net models of concurrent Ada programs

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

    A subset of the programming language Ada is translated to Petri nets. The subset contains the Ada rendezvous and dynamic task creation. The design of the translation algorithm was influenced by methods of denotational semantics, which made the implementation of the algorithm particularly simple in the programming language ML. Properties of a concurrent Ada program can be studied by analyzing the P... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Human-computer interaction scenarios as a design representation

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

    Research on the design of end-user applications has focused on methods for empirically determining user requirements, and for managing usability in the design process by analogy with the management of functionality. As an alternative to this approach, the authors propose that both sorts of design considerations be combined in a more comprehensive, task-oriented representation. End-user application... 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.
  • Object-oriented development as a multiview software construction methodology

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

    The author considers object-oriented development from an abstraction-level perspective and attempts to define more exactly characteristics of objects and classes at different levels of abstraction. These levels of abstraction form the basis for the multiview principle, which is used as the framework of the analysis. The most important perspective in object-oriented development is the structure per... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Using executable specification languages for interface checking of large, distributed systems

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

    The authors discuss the automatic checking of the consistency of interfaces between components of large, distributed systems. The approach is based on executable specification languages and has the following characteristics: use of specification languages for partitioning an overall system, specifying interfaces between the components, and composing rules to describe the functionality of each comp... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • DPSOI: an executable requirements specification language for information processing systems

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

    The authors present the Delphi project, which deals with the design and implementation of a software engineering environment (SEE) to enhance software productivity, in particular, one that targets information systems (IS) for business data processing problems. A set of specification languages was designed to specify the IS in a modular manner. Collectively, these languages are called the data proc... 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.
  • The constraint-based paradigm: integrating object-oriented and rule-based programming

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

    The authors introduce a novel formalism that combines the object-oriented and rule-based paradigms in an elegant and orthogonal way. The constraint-based model is a generalization of traditional object-oriented paradigms and is based on three orthogonal subparadigms. The first is constraint-based invocation, which is a generalization of the traditional invocation where dispatch is done based on th... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Graphical support for reducing information overload in rapid prototyping

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

    The authors discuss the capability of graphical representations to ease the prototyping process and reduce the problem of information overload. The application of information-hiding and multiple views, coupled with ensuring consistency and automatic programming, can improve user productivity. The development of a graphical editor for performing hierarchical decomposition of composite PSDL (prototy... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Nested table handling by flat table operators

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

    It is well known that nest and flat operations play an essential role in handling non-first-normal-form (NF2) relations. In addition to nest and flat, operations extending original relational algebra have been proposed for NF2 relations. The authors study whether those extended relational algebra operations can be expressed as sequences of nest, flat, and original relational ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Feature models for design and manufacturing

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

    The authors describe work in feature modeling at the Helsinki University of Technology. Described are three experimental software systems dealing with parametric design of mechanical parts, modeling of mechanical assemblies, and generative process planning of prismatic parts for three-axis milling. The authors conclude that the synthesized features and feature taxonomy form a good basis for linkin... 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.
  • Using an ER query and update interface for rapid prototyping of hypertext systems

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

    The author discusses a method for rapid prototyping of hypertext systems using an entity-relationship (ER) query and update interface. Prototyping of a hypertext system for literate programming is shown as an example. The approach is based on utilizing a relational database management system as a major component of the prototyped system. An ER query and update interface is described. Such an inter... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Developing support agents for software maintenance: a practical approach

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

    The authors present an approach for developing machine-based support agents that are capable of assisting in routine software maintenance. The approach consists of developing generic procedures for implementing primitive modifications that are relevant to software applications, developing a framework for categorizing maintenance activities in terms of such primitive modifications, and using these ... 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.
  • 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.
  • Finding interesting things in lots of data

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

    Many large collections of data contain information that is never discovered because the definitions of the objects of interest are many levels of abstraction removed from the level of the raw data. The authors describe their experience with some simple prototyping tools used to find convoys of processes moving through a network of queues from a database consisting of a low-level event trace. Descr... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Recursive functions with implicit termination: a new approach illustrated by software-engineering examples

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

    The author describes how the extended non-first-normal-form (ENFNF) data model in combination with a recursion mechanism based on functions with implicit termination is a promising vehicle for the database part of software engineering systems. Functions have been used primarily as a tool for implementing recursive queries. It is shown how dependencies between software objects can be modeled by obj... View full abstract»

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