Quality of Communication-Based Systems: Proceedings of an International Workshop Held at the TU, Berlin, Germany, September 1994

by Günter Hommel (Editor)

Overview

Quality of Communication-Based Systems presents the research results of students of the Graduiertenkolleg 'Communication-Based Systems' to an international community. To stimulate the scientific discussion, renowned experts have been invited to give their views on the research areas: Formal specification and mathematical foundations of distributed systems using process algebra, graph transformations, process calculi and temporal logics Performance evaluation, dependability modelling and analysis of real-time systems with different kinds of timed Petri-nets Specification and analysis of communication prools Reliability, security and dependability in distributed systems Object orientation in distributed systems architecture Software development and concepts for distributed applications Computer network architecture and management Language concepts for distributed systems.

Product Details

ISBN-13:	9780792332596
Publisher:	Springer-Verlag New York, LLC
Publication date:	01/31/1995
Series:	Tu Berlin Germany Series
Pages:	208
Product dimensions:	6.14(w) x 9.21(h) x 0.50(d)

Table of Contents

Contributions to Quality from Specification Techniques. Abstract Datatype Semantics for Algebraic High-Level Nets Using Dynamic Abstract Datatypes; J. Padberg. Making Statics Dynamic: Towards an Axiomatization for Dynamic ADTs; A. Pierantonio. Specification of Concurrent Systems: from Petri Nets to Graph Grammars; A. Corradini, U. Montanari. Towards a Theory of Strong Bisimulation for the Service Rendezvous; M. Baldamus. Contributions to Quality from Quantitative Modelling. Transient Analysis of Real-Time Systems Using Deterministic and Shastic Petri Nets; V. Mainkar, K.S. Trivedi. Performance Modeling with Structured Actions; I. Schieferdecker. Transient Analysis of Deterministic and Shastic Petri Nets by the Method of Supplementary Variables; R. German. Discrete Time Deterministic and Shastic Petri Nets; R. Zijal. Contributions to Quality from Distributed Systems Organization. Bauhaus Linda: an Overview; N. Carriero, D. Gelernter, L. Zuck. Naming and Typing in Languages for Coordination in Open Distributed Systems; R. Tolksdorf. An Efficient Implementation of Decoupled Communication in Distributed Environments; A. Polze. Extending the Role of Object References in Distributed Systems; P. Dickman. On Prools for Loss-Less Statistical Multiplexing in Integrated Networks; M. Mateescu.

Editorial Reviews

Reports to the international community the results of the first phase of research on the quality of communication-based systems conducted at the Technische Universitat in Berlin, and includes comments on the research by experts in the field. The 13 papers discuss such topics as the formal specification and mathematical foundations of distributed systems using process algebra, graph transformations, process calculi, and temporal logics; the specification and analysis of communication protocols; computer network architecture and management; and language concepts for distributed systems. No index. Annotation c. Book News, Inc., Portland, OR (booknews.com)

Booknews