COMMUNICATION-BASED SYSTEMS
COMMUNICATION-BASED SYSTEMS Proceedings of the 3rd International Workshop held at the TU Berlin, Germany, 31 March - 1 April 2000 Edited by GÜNTER HOMMEL Technische Universität Berlin, Germany Springer-Science+Business Media, B.V.
Library of Congress Cataloging-in-Publication Data Communication-based systems: proceedings ofthe 3rd international workshop held at the TU Berlin, Gennany, 31 March-l April 2000 / edited by Günter Hommel. p. cm. I. Parallel processing (Electronic computers )--Congresses. 2. Electronic data processing--distributed processing--congresses. 1. Hommel, Günter. QA76.58. C635 2000 004'.35--dc21 99-086807 ISBN 978-90-481-5399-2 ISBN 978-94-015-9608-4 (ebook) DOI 10.1007/978-94-015-9608-4 Prillied Oll acid~free paper All Rights Reserved 2000 Springer Science+Business Media Dordrecht Originally published by Kluwer Academic Publishers in 2000. Softcover reprint ofthe hardcover I st edition 2000 No part of the material protected by Ihis copyright notice may be reproduced or utilized in any form or by any means, electronic or mechanical, including photocopying, recording or by any information storage and rctricval system, without written permission from the copyright owner.
Table of Contents Preface... IX Performance Evaluation of Communication Based Systems GSPN Models of Dual-Band GSM Networks Marco Ajmone Marsan, Michaela Meo, Politecnico di Torino and Matteo Sereno, Universita di Torino... 1 Time in Message Sequence Chart Specifications and How to Derive Stochastic Petri Nets Olaf Kluge, Technische Universität Berlin... 17 Safe System-Level Diagnosis for Selected Fault Models Matthias Werner, Humboldt Universität zu Berlin... 33 Fault-Tolerance Mechanisms for a Parallel Programming System - A Responsiveness Perspective Holger Karl, Technische Universität Berlin... 43 Foundations and Applications of Communication Based Systems Run Time Modification of Algebraic High Level Nets and Algebraic Higher Order Nets using Folding and Unfolding Construction Kathrin Hoffmann, Technische Universität Berlin... 55 Compositional Specification of Distributed Systems by Distributed Graph Transformation Manuel Koch, Universita degli Studi di Roma "La Sapienza"... 73 Specifying, Analyzing and Programming Communication Systems in Maude Jose Meseguer, SRI International, Menlo Park... 93 Towards Dynamic Shaping C. Barry Jay, and Gabriele Keller, University of Technology, Sydney... 103 A Personal, Historical Perspective of Parallel Programming for High Performance Christian Lengauer, Universität Passau... 111
vi Distributed Environments for Communication Based Systems Automatie Distribution in Pangaea Andre Spiegel, Freie Universität Berlin Multiphase Consensus Finding in Collaborative Problem Solving Markus Hannebauer, Technische Universität Berlin... 131 Efficient and Seeure Information Sharing in Distributed, Collaborative Environments Part ha Dasgupta, Arizona State University, Vijay Karamcheti, and Zvi Kedem, New York University... 147 A Constraint Programming Framework for AI Planning Alexander Nareyek, Technische Universität Berlin... 163 Atomic Broadcast in a Byzantine Model Assia Doudou, EPF Lausanne, Benoit Garbinato, United Bank of Switzerland, and Rachid Guerraoui, EPF Lausanne... 179 119
vii Program Committee Hartmut Ehrig Günter Hommel (Chair) Stefan J ähnichen Klaus-Peter Löhr Miroslaw Malek Peter Pep per Radu Popescu-Zeletin Herbert Weber Adam Wolisz Organizing Committee Günter Hommel Olaf Kluge Katinka Wolter Armin Zimmermann VVorkshop Secretary SilviaRabe Technische Universität Berlin Institut für Technische Informatik Franklinstr. 28/29 10587 Berlin Germany
Preface Since 1990 the German Research Society (Deutsche Forschungsgemeinschaft, DFG) has been funding PhD courses (Graduiertenkollegs) at selected universities in the Federal Republic of Germany. TU Berlin has been one of the first universities joining that new funding program of DFG. The PhD courses have been funded over aperiod of 9 years. The grant for the nine years sums up to approximately 5 million DM. Our Grnduiertenkolleg on Communication-based Systems has been assigned to the Computer Science Department of TU Berlin although it is a joined effort of all three universities in Berlin, Technische Universität (TU), Freie Universität (FU), and Humboldt Universität (HU). The Graduiertenkolleg has been started its program in October 1991. The professors responsible for the program are: Hartmut Ehrig (TU), Günter Hommel (TU), Stefan Jähnichen (TU), Peter Löhr (FU), Miroslaw Malek (RU), Peter Pepper (TU), Radu Popescu-Zeletin (TU), Herbert Weber (TU), and Adam Wolisz (TU). The Graduiertenkolleg is a PhD program for highly qualified persons in the field of computer science. Twenty scholarships have been granted to fellows of the Graduiertenkolleg for a maximal period of three years. During this time the fellows take part in a selected educational program and work on their PhD thesis. The following research areas are covered by the Graduiertenkolleg: - Formal specification and mathematical foundations of distributed systems - Computer networks and multi-media systems - Software development and concepts for distributed applications - Language concepts for distributed systems - Distributed real-time systems - Reliability, security and dependability in distributed systems Concurrent and distributed systems have gained increasing importance in numerous application areas. Those are e.g. computer networks, distributed systems in co-operative environments, process control systems, automated manufacturing systems, multi-media systems, and parallel or distributed computer systems. The objective of the research program carried out in the Graduiertenkolleg is to study the essential practical and theoretical problems of design, development, and performance and dependability evaluation of communication-based systems. All research carried out in the Graduiertenkolleg is connected to additional projects funded by different institutions. We are now almost at the end of the program, looking back to eight years of fruitful work. Until now, 28 PhD theses have been completed successfully within the Graduiertenkolleg. Several more are to follow. Most of the fellows achieved very good or excellent marks. Fellows of the Graduiertenkolleg have been awarded with the Tiburtius award (twice), the Krone award (three times), ix
x the Carl-Ramsauer award, the IKV award, and the Chorafas award for their theses. The average completion time has been 3.5 years - far below the time required normally. This workshop on Communication-Based Systems takes pi ace as a satellite event to ETAPS 2000 (European Joint Conference on Theory and Practice of Software), the major European Multi-Conference in the field of software and theoretical computer science. The workshop is intended to present research results achieved during the last phase of the Graduiertenkolleg to an international community. To stimulate the scientific discussion renown experts have been invited to give their view on the covered research areas. My thanks go to Marco Ajmone Marsan, Rachid Gerraoui, Zvi Kedem, Christian Lengauer, and Jose Meseguer who accepted our invitation. Berlin, November 1999 Günter Hommel.