By Topic

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

Date 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.
  • Scheduling of dynamic divide-and-conquer computations on multicomputers

    Publication Year: 1993, Page(s):352 - 359
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (656 KB)

    The scheduling of tasks for applications with dynamic behavior traditionally rely on externally observable metrics such as the number of active processes. This paper presents a new scheduling strategy based on the observation that it may be possible to capture the near-term resource requirements of active tasks by expressions involving task parameters. Run-time evaluation of these expressions yiel... 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.
  • 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.
  • DELTA-DEsign Language To Actor

    Publication Year: 1993, Page(s):263 - 269
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (444 KB)

    DELTA, a DEsign Language To Actor, is a formal language used to enhance the design process. DELTA incorporates the concepts of object-oriented design into a design language. Once the preliminary steps of design have been completed, DELTA can be used to bridge the gap between architectural design and a detailed design specification. DELTA can be used to produce a documented design. Rapid prototypin... 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.
  • 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.
  • A framework for modelling evolving requirements

    Publication Year: 1993, Page(s):83 - 89
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (616 KB)

    The most crucial aspect of software engineering is the gathering of requirements. Increasing the amount of time and improving the quality of effort expended at this stage will lead to fewer and more manageable problems later on in the development life-cycle. The purpose of this paper is to highlight one of the most crucial problems that afflict user organizations when engaging in IT systems: the p... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Model-based formal specification directed testing of abstract data types

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

    A model-based formal specification directed software testing approach is presented. It provides a test oracle and introduces a new coverage criterion for the functional (black-box) testing based on formal specifications. Given the source code of an implementation, its formal specification, and the retrieve functions, a test driver can be generated to conduct, evaluate, and measure the functional t... 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.
  • 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 (540 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.
  • An integrated environment for software reliability modeling

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

    This paper introduces an integrated environment for software reliability modeling. The environment consists of three major components: (1) a software reliability modeling tool SMERFS adapted to fit our development environment; (2) a general data analysis environment in S-PLUS customized for software reliability modeling; and (3) some supporting programs written in C and AWK. This environment has b... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Use of a specification construction and animation tool to teach formal methods

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

    ZAL (Z Animation in LISP) is a package which allows a Z specification to be incrementally designed and validated in an interactive environment built on Common LISP. A Z specification is transformed into an equivalent ZAL program which can be executed in order to demonstrate the functionality of the intended implementation. ZED is a full screen editor and syntax analyser for Z. Using these two tool... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An integrated data structure with multiple access paths for database and its performance

    Publication Year: 1993, Page(s):241 - 247
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (608 KB)

    An integrated data structure is presented in this paper which offers multiple access paths for processing different types of queries efficiently. Our approach is to fuse those data structures which offer efficient access path of a particular type. To show the feasibility of our scheme we fused the B+-tree, the grid file and extendible hashing, using a proper interface. We implemented an... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Efficient commitment of events in distributed simulation

    Publication Year: 1993, Page(s):257 - 262
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (436 KB)

    We have built a distributed discrete-event simulator called Empathy. This paper describes some aspects of the Empathy simulation algorithm. Optimistic simulation incurs enormous memory overhead. In this paper, we propose an algorithm for optimistic simulation that is based on the concept of local conservative control for commitment of events. This algorithm reduces the memory overhead by an averag... 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.
  • Fault-tolerant distributed deadlock detection/resolution

    Publication Year: 1993, Page(s):224 - 230
    Cited by:  Papers (3)
    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.
  • Using computational learning theory to analyze the testing complexity of program segments

    Publication Year: 1993, Page(s):367 - 373
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (508 KB)

    We examine the complexity of testing different program constructs by defining a measure called VCP-dimension and applying it to classes of programs, where all programs in a class share the same syntactic structure. VCP-dimension gives bounds on the number of test points needed to determine approximate correctness, so it gives insight into the difficulty of testing a program construct represented b... 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.
  • A reduced incremental ECFSM-based protocol verification

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

    The extended communication finite state machine (ECFSM) model, which belongs to the state transition model, has been used to formally specify protocols with context variables and predicates. Global state reachability analysis is one of the most straight-forward ways to verify communication protocols specified in the state transition model. Many CFSM-based global state reduction techniques have bee... 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.
  • 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.
  • Choices in database workstation-server architecture

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

    The workstation-server model is emerging as the standard computing environment for engineering and scientific applications. Most object-oriented database systems choose either the object-server architecture, in which individual objects are passed between the server and the workstation, or the page-server architecture, in which a disk page is the unit of transport between the server and the worksta... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • On developing a general theory of software engineering

    Publication Year: 1993
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (160 KB)

    Theoretical approaches to various subdisciplines within software engineering have helped to make the practical application of software engineering more effective. This paper poses the question of whether a general theory of software engineering can and should be sought. The challenge is to assist practicing software engineers by investigating the theoretical bases of discipline. The panelists use ... View full abstract»

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