Computer Software and Applications Conference, 1993. COMPSAC 93. Proceedings., Seventeenth Annual International

1-5 Nov. 1993

Filter Results

Displaying Results 1 - 25 of 59
  • Proceedings of 1993 IEEE 17th International Computer Software and Applications Conference COMPSAC '93

    Publication Year: 1993
    Request permission for commercial reuse | PDF file iconPDF (22 KB)
    Freely Available from IEEE
  • SD/sup 2/-A system for distributed software development

    Publication Year: 1993, Page(s):131 - 137
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (474 KB)

    We design and implementation a system for distributed software development. The system helps the program designer by first extracting the program model (in Petri nets). The system then monitors the program run and collects program trace into a database. The monitor also interacts with the network management system for resource allocation. Program debugging is achieved by replaying the trace data, ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A software architecture for maintaining temporal consistency in a distributed real-time environment

    Publication Year: 1993, Page(s):380 - 387
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (627 KB)

    Control applications constitute an important class of real-time systems. Such applications have specific temporal requirements that have to be taken into account during the system design. One such requirement is data temporary consistency. This paper gives an overview of the temporal consistency problem and addresses implementation issues for a distributed real-time system that is configured accor... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Secure group communication protocol for distributed systems

    Publication Year: 1993, Page(s):159 - 165
    Cited by:  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (580 KB)

    In distributed applications like groupware, group communication among multiple entities is required. The local area networks (LANs) and radio networks provide broadcast communication at the media access control (MAC) layer, that is, every entity can receive every protocol data unit (PDU) transmitted in the network. Group communication among multiple entities can be easily realized by these network... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Design and implementation of a distributed database

    Publication Year: 1993, Page(s):152 - 158
    Cited by:  Patents (5)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (756 KB)

    We describe an approach for controlling certain unauthorized inferences in a multilevel secure distributed database management system. In such a system, two or more multilevel secure database management systems are connected via a trusted network. Furthermore, the environment that we have considered is a limited heterogeneous one where not all of the nodes handle the same accreditation ranges. In ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An extended recursive algebra for nested relations and its optimization

    Publication Year: 1993, Page(s):145 - 151
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (532 KB)

    This paper considers query optimization for nested relational databases based on a recursive algebra. A recursive algebra which has been proposed in the literature for nested relations has been extended to accommodate arbitrary algebraic expressions in any nested level of the query. This extended algebra can be used to conveniently express queries in two query languages proposed for the nested rel... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Developmental testing of abstract data types

    Publication Year: 1993, Page(s):49 - 55
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (568 KB)

    Abstract data types (ADTs) represent the fundamental building blocks of object-oriented software development. Consequently, a number of different testing techniques for ADT modules have been proposed in the literature. Most of these techniques at least tacitly assume that the ADT module under test has been completely implemented. In this paper, we present a class of testing techniques that are eas... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Object-oriented database views for supporting multidisciplinary concurrent engineering

    Publication Year: 1993, Page(s):19 - 26
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (640 KB)

    In this paper we present a new approach for creating materialized object-oriented (OO) views. We investigate the required semantic content of an OO model in order to support views. We present a view algebra which is capable of manipulating both the is-a dimension and association dimension of a composite object. We also propose a methodology for constructing materialized OO views View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Petri net based modelling of procedures in complex object database applications

    Publication Year: 1993, Page(s):138 - 144
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (632 KB)

    In this paper a new type of high level Petri nets is introduced for modelling procedures in complex object database applications. Places in these so-called nested relation/transition nets (NR/T-nets) represent schemes of unnormalized (nested) relations. The marking of each place is a nested relation of the respective type. Each transition represents a specific type of operation on the relations in... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Two-level processor scheduling for multiprogrammed NUMA multiprocessors

    Publication Year: 1993, Page(s):343 - 351
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (776 KB)

    Non-uniform memory access multiprocessors have potential gains for achieving high performance. These machines are frequently used as computation servers with multiple parallel processes (we use this word instead of jobs) executing at the same time. In such environments, the efficiency of a parallel process can be significantly affected by the processor scheduling strategy. LA two-level scheduling ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A formal technique to analyze real-time systems

    Publication Year: 1993, Page(s):180 - 185
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (424 KB)

    A technique to analyze the temporal properties of real-time systems is presented in this paper. In our framework, the behavior of the system under development, which is modeled in an extension of Statecharts called Statecharts+, is captured by the underlying computational model, Timed Automata. On the basis of the operational semantics defined for arbitrary time domains, we present a formal transl... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Specification slicing in formal methods of software development

    Publication Year: 1993, Page(s):313 - 319
    Cited by:  Papers (10)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (396 KB)

    Specifications are important in software development because a large percentage of the errors at implementation and test phases are traceable to a lack of precision of the specifications. Formal methods are studied and applied to produce clear specifications and argue about them rigorously. As formal methods may even increase the ratio of specification phase in the software life-cycle, it is neces... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Process-centered project management system by stepwise particularizing software process

    Publication Year: 1993, Page(s):41 - 48
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (484 KB)

    This article proposes a process-centered project management system to facilitate controlling a wide variety of project activities. The essential idea is to employ software process descriptions as vehicles of exchanging activity plans between a project manager and a large number of staff. The system allows a manager to plan and monitor overall project processes which are stepwise particularized acc... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Visual CASE: A software development system for home appliances

    Publication Year: 1993, Page(s):11 - 18
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (620 KB)

    This paper describes Visual CASE: a software development system that provides a framework which can be used by the whole development team: product planners, product designers, and software developers. This system includes interactive browsers, editors, and databases to manipulate the object model we designed specifically for the software in home appliances. We apply the object model to an entity t... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Multimedia object modelling and storage allocation strategies for heterogeneous parallel access storage devices in real time multimedia computing systems

    Publication Year: 1993, Page(s):216 - 223
    Cited by:  Papers (1)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (660 KB)

    The improvements in disk speeds have not kept up with improvements in processor and memory speeds. Conventional storage techniques, in the face of multimedia data, are inefficient and/or inadequate. Here, an efficient multimedia object allocation strategy is presented. We describe a multimedia object model, the object and storage device characteristics, and the fragmentation strategy. A bipartite ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A task allocation algorithm for distributed computing systems

    Publication Year: 1993, Page(s):336 - 342
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (464 KB)

    Most performance lapses in distributed computing systems can be traced to the lack of a good task allocation strategy for distributed software. Random assignment of tasks or modules onto processors or subsystems can substantially degrade the performance of the entire distribution system. In this paper a heuristic algorithm for task allocation for any distributed computing system where the subsyste... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Integrating abstraction flexibility with diverse program perspectives

    Publication Year: 1993, Page(s):186 - 192
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (620 KB)

    Technically, because of the limited dimensions of the presentation media, and psychologically, because of the limited human attention span, graphical program visualization in computer assisted reverse engineering becomes increasingly difficult with scale. This problem becomes compounded when multi-perspective visualization is taken into consideration. In this research we present a system called HV... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The Motorola software engineering benchmark program: Organization, directions, and results

    Publication Year: 1993, Page(s):284 - 290
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (544 KB)

    In mid-1991, teams of Motorola's senior executives, software engineering technologists, and researchers chartered to provide the future software management and technology directions in Motorola, joined forces to develop and execute a benchmark program for software engineering. The author has managed this program since its inception. The goal of the program is to determine and continuously monitor ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Tool integration frameworks-Facts and fiction

    Publication Year: 1993, Page(s):115 - 116
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (124 KB)

    Tool integration frameworks are gaining popularity as a means to provide integrated support for activities across the software development life cycle. Framework-based integrations leverage best-in-class tools and use vendor-neutral interfaces and mechanisms to support relationships between individual tools. This panel brings together framework providers, tool providers, and integrators/end users t... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The Xthreads library: Design, implementation, and applications

    Publication Year: 1993, Page(s):173 - 179
    Cited by:  Papers (3)  |  Patents (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (712 KB)

    The purpose of the Xthreads library is to provide a cheap concurrent programming environment. The design of the Xthreads library is patterned after Xinu, a small and elegant operating system in which all processes share a single address space and hence enjoy reduced overheads in process creation, interprocess communication, and so on. Our approach is to map the Xinu process structure into the Xthr... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Maintenance support needs for object-oriented software

    Publication Year: 1993, Page(s):63 - 69
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (584 KB)

    The object-oriented (OO) programming paradigm for developing software systems has become more mainstream in the past several years. Existing research into the use of the OO paradigm is heavily biased toward front-end problems: design, programming languages, and development environments. Lost in this has been support for maintenance of OO system, yet maintenance is 80% of the effort for successful ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Software process assessment and improvement using production models

    Publication Year: 1993, Page(s):34 - 40
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (504 KB)

    With the advent of process assessment and process improvement as key objectives for many software development organizations, it has become important to provide viable mechanisms to do so. This paper suggests to use production models paired with software metrics that quantify key drivers of productivity. We also show capabilities of production models with two examples. Production models must be use... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Entity behaviour descriptions-A specification model for communicating entities

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

    This paper presents the Entity Behavior Description (EBD) modelling technique for specifying the behavioral requirements of a set of communicating entities in a concurrent system. EBDs are finite state machines which describe the abstract behaviour of an entity. This abstract behavior is defined as the combination of the application-specific behavior, and the semantics of the communications. EBDs ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Parallel software engineering with PARSE

    Publication Year: 1993, Page(s):124 - 130
    Cited by:  Papers (5)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (576 KB)

    The aims of the PARSE methodology are described, and the process graph design notation is summarised. Process graphs are a new graphical notation for describing systems comprising a collection of parallel processes in a language- and architecture-independent fashion. Further, process graph designs can be mechanically transformed into Petri nets to give a more detailed, executable design specificat... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Fault-tolerant distributed deadlock detection/resolution

    Publication Year: 1993, Page(s):224 - 230
    Cited by:  Papers (4)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (608 KB)

    In an unreliable distributed system, faulty processors may prevent a deadlock detection algorithm from properly detecting deadlocks. However, few of the algorithms proposed in the literature address the issue of handling process failures in a distributed system. This paper proposes a fault-tolerant distributed deadlock detection algorithm which integrates a priority-based probe algorithm with a PM... View full abstract»

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