The proceedings contain 22 papers. The topics discussed include: Symphony: a Java-based composition and manipulation framework for distributed legacy resources;multithreaded dependence graphs for concurrent Java progr...
ISBN:
(纸本)0769501915
The proceedings contain 22 papers. The topics discussed include: Symphony: a Java-based composition and manipulation framework for distributed legacy resources;multithreaded dependence graphs for concurrent Java programs;state-based reproducible testing for CORBA applications;specifying and analyzing distributed object-oriented systems;channel dependence analysis for slicing Promela;deadlock analysis of synchronous message-passing programs;testing of concurrent programs based on message sequence charts;systematic debugging of parallel programs based on collective breakpoints;automated test sequence generation using sequencing constraints for concurrent programs;specification and modeling of flexible manufacturing systems using behaviors and Petri nets building blocks;evaluation of a methodology for the reverse engineering and parallelization of sequential code;component-based development and verification of safety critical software for a brake-by-wire system with synchronous software components;parallel object server as a data repository for CASE tools;web-based tool support for dynamic management of distribution and parallelism in integrating architecture design and performance evaluation;distributed airport simulation using CORBA and DIS;an architecture for a distributed system for product engineering lifecycle support;data interoperability via surrogate API libraries;and specification and simulation of a concurrent real-time system.
The pdse'99 symposium, now in its fourth successive year, is a continuation of the inaugural pdse'96 workshop held in conjunction with ICSE-18 in Berlin. This was followed by ICSE events in Boston, 1997 and in...
详细信息
ISBN:
(纸本)9781581130744
The pdse'99 symposium, now in its fourth successive year, is a continuation of the inaugural pdse'96 workshop held in conjunction with ICSE-18 in Berlin. This was followed by ICSE events in Boston, 1997 and in Kyoto, 1998. The pdsesymposiums attract up to 50 delegates from a wide range of backgrounds from both industry and academia from around the world. The papers are always published internationally, more recently as IEEE proceedings, and are refereed by a minimum of three independent experts in the field. The talks include keynote speakers with an emphasis on first hand experience of industrial applications and large-scale projects.
In order to obtain efficiency, current practice in distributedsoftwaresystems design often suffers from a lack of abstraction. An object-oriented design technique based on UML notations and a special type of high-le...
详细信息
ISBN:
(纸本)0769506348
In order to obtain efficiency, current practice in distributedsoftwaresystems design often suffers from a lack of abstraction. An object-oriented design technique based on UML notations and a special type of high-level Petri-Nets is used to demonstrate how designs can be kept sufficiently abstract to be platform independent and re-usable but still support design alternatives and their evaluation w.r.t. availability and principle system performance.
Component software is a promising approach for dealing with the problem of large scale distributed system development, because it decreases development costs and increases software quality. One of the central issues f...
详细信息
ISBN:
(纸本)0769506348
Component software is a promising approach for dealing with the problem of large scale distributed system development, because it decreases development costs and increases software quality. One of the central issues for component software in distributedsystems is the location of components. In large scale distributedsystems trading is already used as a service location mechanism. This is considered the only way to manage services in large scab distributedsystems where complete knowledge of the system is both unreasonable and unrealistic. Providing trading mechanisms appropriate for component development requires a move from appearance based (interface) to behaviour based (semantic) trading. We present a semantically enhanced component trading architecture that enables this move.
Exploratory Visualization is an approach for helping users learn about distributed computations without requiring users to examine source code. Instead visualizations provide intuition about the program's behavior...
详细信息
ISBN:
(纸本)0769506348
Exploratory Visualization is an approach for helping users learn about distributed computations without requiring users to examine source code. Instead visualizations provide intuition about the program's behavior and serve as an interface through which the programs are controlled. We have developed an exploratory visualization system with the goals of providing an intuitive and user-friendly user interface and developing an infrastructure that minimizes perturbation. We present a case-study to describe how a naive user can interact with the system to learn about and experiment with the running computation.
This paper describes aspects of a research project in the area of distributed object technology. The main focus of the research is the use of this technology within the domains of Groupware and Multimedia applications...
详细信息
ISBN:
(纸本)0769506348
This paper describes aspects of a research project in the area of distributed object technology. The main focus of the research is the use of this technology within the domains of Groupware and Multimedia applications. As part of this research an internet based Virtual Store has been developed as a test-bed for an enhanced object event service. The Virtual Store was designed using UML and uses an enhanced implementation of the CORBA Event Service for communication of state changes within the store and for distribution of multimedia notifications to users of the store.
We are beginning to see distributed dynamic workflow management systems being implemented using CORBA services. However these systems do not use events as the mechanism for co-ordinating workflows. Instead workflow co...
详细信息
ISBN:
(纸本)0769506348
We are beginning to see distributed dynamic workflow management systems being implemented using CORBA services. However these systems do not use events as the mechanism for co-ordinating workflows. Instead workflow components use messages to communicate with each other;thereby resulting in tightly coupled systems. We investigate the use of events as the co-ordinating mechanism for implementing dynamic event-based workflow solutions using existing CORBA services. This paper shows the limitations of the CORBA Event Service for dynamic workflow solutions based on a prototype implementation and proposes a more specialised Workflow Event Channel (WEC) that overcomes these limitations. A CORBA implementation of the WEC design enables event based workflow execution environments within a CORBA framework.
暂无评论