By Topic

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.
  • 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.
  • 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.
  • 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.
  • The specification of a robust network

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

    The authors describe the process used to specify a robust network using the Spec specification language, which is intended for giving black-box specifications of large software systems in the early stages of software design and in the software evolution process. The underlying computational model of Spec combines temporal events with message passing to support system descriptions. The authors illu... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An optimistic multi-level concurrency control for nested typed objects

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

    The authors present a transaction model adapted to an object-oriented environment and capable of taking the semantics of objects and operations into account. They also describe a multilevel concurrency control fitted to this model. The main advantage, compared to locking methods, of this optimistic method which uses timestamps intervals is that it exploits conditional commutativity, depending upon... 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.
  • An adaptation system for high-performance parallel applications

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

    The authors outline a system that enables the programming of embedded real-time applications that are statically and dynamically adaptable. They describe the need for adaptation support and present the mechanisms that facilitate the programming of adaptations. They present algorithms that have been used in robotics applications to ensure that deadlines are met despite changes in the execution envi... 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.
  • Petri net-based models of software engineering processes

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

    A Petri-net-based formal specification method for distributed systems is accommodated to software process modeling. The authors introduce domain-specific concepts, stressing the distributedness and dynamic nature of software processes. Development states are viewed as distributed entities. Development activities are characterized by their effects on software objects, pertinent information exchange... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Function-theoretic principles of program understanding

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

    The authors propose a comprehensive methodology for automated program abstraction of computer programs. The theoretical foundations that support program abstraction are functional abstraction, data analysis, program slicing, and pattern matching. The theory of functional abstraction is applied to an example program. The localization of data scope is described as a step to facilitate the abstractio... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • System life cycle methods: an evaluation of their applicability

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

    The authors examine the most frequently used methods for system development. Two development methodologies and over 15 techniques are examined for their applicability during different phases of the system development life cycle, for different types of systems, and for different levels of structure in the problem domain. The results obtained support the use of a contingency approach in the selectio... 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.
  • 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.
  • 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.
  • 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.
  • 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 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.
  • 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.
  • An optimistic algorithm for consistent replicated shared data

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

    The authors present the Toris algorithm for implementing the shared data model of interprocess communication in a distributed environment. Data are replicated at all processing sites. An optimistic algorithm maintains consistency between replicas of shared data and ensures that the synchronization requirements of the processes are met. Transactions are used to improve the performance of the optimi... 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:  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.
  • 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.
  • Aggregation semantics and NF2 model of data

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

    Aggregation is formalized in terms of the power set and the Cartesian product operators. It is shown that aggregation semantics can be represented by a labeled directed acyclic graph (LDAG). Vertices and edges of this graph are labeled to capture the semantics (constraints) of aggregations. Examples of popular real-world aggregations are given in terms of this LDAG. It is argued that the non-first... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A programmer's interface: a visually enhanced and animated programming environment

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

    The authors describe LOGOmotion, a programming environment that is visually enhanced, animated, unobtrusive, extensible, and monomorphic. The programmer can obtain with ease visual and animated presentations of the execution of programs written in the LOGO language. The programmer can also define new methods of program presentation by writing visualization procedures in LOGO without altering the o... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The design and implementation of a specification language type checker

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

    The authors discuss the design and implementation of a type checker for an advanced specification language using an attribute grammar tool. The design specifically addresses language features, such as generic parameters, name and operator overloading, subtypes, importation, and inheritance, which are especially important for large software system specification. The authors discuss the issues invol... View full abstract»

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