By Topic

Software Engineering for Parallel and Distributed Systems, 1999. Proceedings. International Symposium on

Date 17-18 May 1999

Filter Results

Displaying Results 1 - 24 of 24
  • Proceedings International Symposium on Software Engineering for Parallel and Distributed Systems

    Publication Year: 1999
    Request permission for commercial reuse | PDF file iconPDF (166 KB)
    Freely Available from IEEE
  • Author index

    Publication Year: 1999, Page(s): 224
    Request permission for commercial reuse | PDF file iconPDF (102 KB)
    Freely Available from IEEE
  • Deadlock analysis of synchronous message-passing programs

    Publication Year: 1999, Page(s):62 - 69
    Cited by:  Papers (4)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (152 KB)

    Reachability analysis of a concurrent program involves the derivation of states of the program and the detection of deadlocks and other types of faults. To perform reachability analysis of a concurrent program P, the number of instances of each process type in P needs to be determined. How to select such numbers for P is a difficult issue. If these numbers are large, reachability analysis of P nee... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Channel dependence analysis for slicing Promela

    Publication Year: 1999, Page(s):52 - 61
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (104 KB)

    Accurate channel analysis and communication dependence information is necessary for source code analysis tools to be useful in the concurrent specification and programming language domain. We present channel analysis along with an application thereof and describe its implications for the development and understanding of programs written in concurrent languages. We describe how communication depend... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Evaluation of a methodology for the reverse engineering and parallelization of sequential code

    Publication Year: 1999, Page(s):124 - 133
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (208 KB)

    A general methodology based on software engineering principles is proposed for the parallelization of existing sequential code. The utility of the proposed methodology is evaluated through a case study involving a numerically intensive application in the domain of petrochemical exploration. The methodology does not assume the existence of detail design documentation for the sequential code. The me... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Specifying and analysing distributed object-oriented systems

    Publication Year: 1999, Page(s):38 - 51
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (224 KB)

    The ability to check whether the modeled system satisfies certain properties is a very important aspect in the software development process. Many object-oriented methods do not pay enough attention to behavioral descriptions. Indeed, they mostly do not provide formally founded descriptions that can be checked an atomatically. This paper presents an integrated approach, consisting of formally found... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Specification and modeling of flexible manufacturing systems using behaviours and Petri nets building blocks

    Publication Year: 1999, Page(s):110 - 123
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (336 KB)

    Deals with the definition of a general approach to the modeling and the analysis of flexible manufacturing systems (FMSs). It puts together a trace-based formal specification method and a compositional Petri nets (PN) approach with predefined building blocks, leading to a unified framework whose goals are to cope with the complexity of the FMSs behaviours and constraints, and provide a practical e... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • State-based reproducible testing for CORBA applications

    Publication Year: 1999, Page(s):24 - 35
    Cited by:  Papers (5)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (148 KB)

    Reproducible testing approaches have been developed for traditional concurrent programs for over a decade to provide a deterministic way of testing, but those approaches are generally based on the control structure of the program. However in recently revitalized component based software development, state-based testing is more important than control structure based testing because such components ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Data interoperability via surrogate API libraries

    Publication Year: 1999, Page(s):190 - 196
    Cited by:  Patents (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (56 KB)

    This paper presents how a client-server system can be used to create an efficient and interoperable data delivery system for accessing local and remote data through various existing data analysis tools. The system is based on a a series of servers that provide data over the network through a data access protocol (DAP). Each server will read the data from its original format and deliver it to the c... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Parallel object server as a data repository for CASE tools

    Publication Year: 1999, Page(s):148 - 155
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (136 KB)

    In this paper we investigate features of a parallel object server when used as a data repository in a CASE tool. We argue that hierarchical structures of fine grained objects are typical for data used by CASE tools, we describe the construction of the server and the implementation of the prototype. The presented results of our experiments concern the question how the speedup depends on the number ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Automated test sequence generation using sequencing constraints for concurrent programs

    Publication Year: 1999, Page(s):97 - 108
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (216 KB)

    Sequencing constraints for a concurrent program specify restrictions on the allowed sequences of synchronization events, and they can be used in generating test sequences for the program. In earlier work, the notion of CSPE (constraints on succeeding and preceding events) constraint was defined, and the CSPE-1 coverage criterion, which requires the coverage of each CSPE constraint at least once, w... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Multithreaded dependence graphs for concurrent Java programs

    Publication Year: 1999, Page(s):13 - 23
    Cited by:  Papers (7)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (2064 KB)

    Understanding program dependencies in a computer program is essential for many software engineering activities including program slicing, testing, debugging, reverse engineering, and maintenance. We present a dependence-based representation called multithreaded dependence graph, which extends previous dependence-based representations, to represent program dependencies in a concurrent Java program.... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An architecture for a distributed system for product engineering lifecycle support

    Publication Year: 1999, Page(s):182 - 187
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (984 KB)

    An architecture has been structured to map the distributed business logic for the product engineering lifecycle. In this architecture, a commercial computer-aided design (CAD) system and an innovative computer-aided process engineering (CAPE) system, which was developed by the author and commercialised by an Australian company, are distributedly integrated using VisiBroker's Common Object Request ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Testing of concurrent programs based on message sequence charts

    Publication Year: 1999, Page(s):72 - 82
    Cited by:  Papers (12)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (140 KB)

    Most prior work on specification-based testing of concurrent programs have postulated an equivalence relation between specifications and programs. However the equivalence relation, which requires a specification and a program to encompass the same set of synchronization sequences, is not well-suited for resting concurrent programs against partial and nondeterministic specifications. We present a n... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Component-based development and verification of safety critical software for a brake-by-wire system with synchronous software components

    Publication Year: 1999, Page(s):134 - 145
    Cited by:  Papers (13)  |  Patents (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (124 KB)

    In this paper we describe the development and verification of software for an automotive brake-by-wire system. This is a new brake system without mechanical or hydraulic backup. The system is based on a time-triggered communication architecture. The central control computer in this distributed system, called Brake-by-Wire Manager, is a redundant design in order to tolerate any single failure. The ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Specification and simulation of a concurrent real-time system

    Publication Year: 1999, Page(s):197 - 204
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (280 KB)

    Interval temporal logic (ITL) is a real-time logic for specifying and verifying real-time systems. In this paper, ITL is used to specify a concurrent real-time system: an assembly line which is an abstract model of industrial robot control systems. We can specify the abstract properties of the system in ITL as well as the system design using the executable subset of ITL, Tempura. Compared with oth... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Web-based tool support for dynamic management of distribution and parallelism in integrating architecture design and performance evaluation

    Publication Year: 1999, Page(s):156 - 163
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (132 KB)

    We introduce a light weight approach to support the development of parallel and distributed software systems over the World Wide Web. Our approach considers a highly distributed development process by multiple collaborating agents, it covers architecture design and architecture analysis right to implementation generation and dynamic accommodation of evolutionary change. The foundation of our appro... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Systematic debugging of parallel programs based on collective breakpoints

    Publication Year: 1999, Page(s):83 - 96
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (164 KB)

    Introduces the concept of collective breakpoints and classifies the possible parallel breakpoints comparing their mechanisms. Based on the collective breakpoints the macrostep-by-macrostep execution mode has been defined. After introducing the concept of the execution tree and meta-breakpoints the systematic debugging of message passing parallel programs is explained. The main features and distrib... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Building test cases for use in hypersequential programming

    Publication Year: 1999, Page(s):205 - 209
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (40 KB)

    A novel concurrent programming paradigm called hypersequential programming (HSP) is being developed. HSP aims to eliminate all undesirable behaviours from a given application. A fundamental part of that system requires the use of test cases for the serialization of a program. Only those test cases found to be correct are used in the final concurrent program. Therefore, HSP relies on all the functi... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Distributed airport simulation using CORBA and DIS

    Publication Year: 1999, Page(s):166 - 173
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (440 KB)

    This paper presents the SEEDS simulation environment for the evaluation of distributed traffic control systems. Starting with an overview of the general simulator architecture, the software modules and the derived hardware architecture of the simulation environment are described with respect to performance requirements. The communication architecture of the SEEDS simulator is based on the CORBA st... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Symphony: a Java-based composition and manipulation framework for distributed legacy resources

    Publication Year: 1999, Page(s):2 - 12
    Cited by:  Papers (2)  |  Patents (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (144 KB)

    Symphony is an open and extensible Java-based framework for composition and manipulation of distributed legacy resources. Symphony allows users to compose visually a collection of programs and data by specifying dataflow relationships among them and provides a client/server framework for transparently executing the composed application. Additionally, the framework is Web-aware and helps integrate ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Evaluating object transactional monitors with OrbixOTM

    Publication Year: 1999, Page(s):210 - 216
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (76 KB)

    As more and more object-oriented transactional processing monitors are being developed, users in industries such as banking and telecommunications need systematic and critical evaluations of the strengths and weaknesses of these products. This paper presents the Middleware Evaluation Project (MEP) which aims to provide an impartial evaluation based on rigorously derived tests and benchmarks. The e... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Building mobile agent applications in HiMAT

    Publication Year: 1999, Page(s):174 - 181
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (108 KB)

    An engineered approach to the design of mobile agent applications requires appropriate abstractions for both the space where agents move and the conceptual space of mobile agent interaction. The paper introduces the HiMAT framework for mobile agent applications, which models the Internet as a collection of hierarchical domains, where programmable coordination media rule mobile agent's interaction ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A case study in object-oriented modeling and design of distributed multimedia applications

    Publication Year: 1999, Page(s):217 - 223
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (92 KB)

    This paper investigates the use of object-oriented techniques for the specification and design of distributed multimedia applications (DMAs). DMAs are a class of software applications with a range of strong-often conflicting-requirements of dynamicity, interactivity, real-time synchronized processing of several media types, network distribution, high-performance, fault-tolerance, load balancing an... View full abstract»

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