Lecture Notes in Computer Science Edited by G. Goos, J. Hartmanis and J. van Leeuwen

1385

Tiziana Margaria Bernhard Steffen Roland Riickert Joachim Posegga (Eds.)

Services and Visualization Towards User-Friendly Design

ACOS'98, VISUAL'98, AIN'97 Selected Papers

Springer

Volume Editors

Tiziana Margaria Universit~it Passau, Fakult~it ftir Mathematik und Informatik Innstr. 33, D-93040 Passau, Germany E-mail: tiziana @ fmi.uni-passau.de

Bernhard Steffen Universit~it Dortmund, Lehrstuhl for Programmiersysteme Fachbereich Informatik D-44221 Dortmund, Germany E-mail: steffen @informatik.uni-dortmund.de

Roland Rtickert Bertelsmann OMS Carl-Bertelsmann-Strade 161 O, D-33311 Gtitersloh, Germany E-mail: Roland.Rueckert @bertelsmann.de

Joachim Posegga Deutsche Telekom AG, Technologiezentrum FZ122h Am Kavalleriesand 3, D-64295 Darmstadt, Germany E-mail: posegga@tzd.telekom.de

Cataloging-in-Publication data applied for

Die Deutsche Bibliothek - CIP-Einheitsaufnahme

Services and visual izat ion : towards user-friendly design ; selected papers / ACOS '98 ... [ETAPS '98]. Tiziaua Margaria ... (ed.). - Berlin ; Heidelberg ; N e w York ; Barcelona ; Budapest ; Hong Kong ; London ; M i l a n , Paris ; Santa Clara ; Singapore ; Tokyo : Springer, 1998

(Lecture notes in computer science ; Vol. 1385) ISBN 3-540-64367-2

CR Subject Classification (1991): C.2, D.2, H.5, H.3.5

ISSN 0302-9743 ISBN 3-540-64367-2 Springer-Verlag Berlin Heidelberg New York

This work is subject to copyright. All rights are reserved, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, re-use of illustrations, recitation, broadcasting, reproduction on microfilms or in any other way, and storage in data banks Duplication of this publication or parts thereof is permitted only under the provisions of the German Copyright Law of September 9, 1965, in its current version, and permission for use must always be obtained from Springer -Verlag. Violations are liable for prosecution under the German Copyright Law.

�9 Springer-Verlag Berlin Heidelberg 1998 Printed m Germany

Typesetting: Camera-ready by author SPIN 10632053 06/3142 - 5 4 3 2 I 0 Printed on acid-free paper

F o r e w o r d

The European conference situation in the general area of software science has long been considered unsatisfactory. A fairly large number of small and medium- sized conferences and workshops take place on an irregular basis, competing for high-quality contributions and for enough attendees to make them financially viable. Discussions aiming at a consolidation have been underway since at least 1992, with concrete planning beginning in summer 1994 and culminating in a public meeting at TAPSOFT'95 in Aarhus.

On the basis of a broad consensus, it was decided to establish a single annual federated spring conference in the slot that was then occupied by TAPSOFT and CAAP/ESOP/CC, comprising a number of existing and new conferences and covering a spectrum from theory to practice. ETAPS'98, the first instance of the European Joint Conferences on Theory and Practice of Software, is taking place this year in Lisbon. It comprises five conferences (FoSSaCS, FASE, ESOP, CC, TACAS), four workshops (ACoS, VISUAL, WADT, CMCS), seven invited lectures, and nine tutorials.

The events that comprise ETAPS address various aspects of the system de- velopment process, including specification, design, implementation, analysis and improvement. The languages, methodologies and tools which support these activ- ities are all well within its scope. Different blends of theory and practice are represented, with an inclination towards theory with a practical motivation on one hand and soundly-based practice on the other. Many of the issues involved in software design apply to systems in general, including hardware systems, and the emphasis on software is not intended to be exclusive.

ETAPS is a natural development from its predecessors. It is a loose confed- eration in which each event retains its own identity, with a separate programme committee and independent proceedings. Its format is open-ended, allowing it to grow and evolve as time goes by. Contributed talks and system demonstrations are in synchronized parallel sessions, with invited lectures in plenary sessions. Two of the invited lectures are reserved for "unifying" talks on topics of interest to the whole range of ETAPS attendees. The aim of cramming all this activity into a single one-week meeting is to create a strong magnet for academic and industrial researchers working on topics within its scope, giving them the op- portunity to learn about research in related areas, and thereby to foster new and existing links between work in areas that have hitherto been addressed in separate meetings.

ETAPS'98 has been superbly organized by Jos~ Luis Fiadeiro and his team at the Department of Informatics of the University of Lisbon. The ETAPS steer- ing committee has put considerable energy into planning for ETAPS'98 and its successors. Its current membership is:

Andr~ Arnold (Bordeaux), Egidio Astesiano (Genova), Jan Bergstra (Amsterdam), Ed Brinksma (Enschede), aance Cleaveland (Raleigh), Pierpaolo Degano (Pisa), Hartmut Ehrig (Berlin), Jos~ Fiadeiro (Lis- bon), Jean-Pierre Finance (Nancy), Marie-Claude Gaudel (Paris), Tibor

vI

Gyimothy (Szeged), Chris Hankin (London), Stefan J~hnichen (Ber- lin), Vwe Kastens (Paderborn), Paul Klint (Amsterdam), Kai Koski- mies (Tampere), Tom Maibaum (London), Hanne aiis Nielson (Aar- hus), Fernando Orejas (Barcelona), Don Sannella (Edinburgh, chair), Bernhard Steffen (Dortmund), Doaitse Swierstra (Utrecht), Wolfgang Thomas (Kiel)

Other people were influential in the early stages of planning, including Peter Mosses (Aarhus) and Reinhard Wilhelm (Saarbriicken). ETAPS'98 has received generous sponsorship from:

Portugal Telecom TAP Air Portugal the Luso-American Development Foundation the British Council the EU programme "Training and Mobility of Researchers" the University of Lisbon the European Association for Theoretical Computer Science the European Association for Programming Languages and Systems the Gulbenkian Foundation

I would like to express my sincere gratitude to all of these people and organiz- ations, and to Jos~ in particular, as well as to Springer-Verlag for agreeing to publish the ETAPS proceedings.

Edinburgh, January 1998 Donald Sannella ETAPS Steering Committee chairman

Preface

This volume contains selected papers from three international workshops:

- ACOS'98, International Workshop on Advanced Communication Services, which took place on April 3-4, 1998,

- VISUAL'98, International Workshop on Visualization Issues for Formal Methods, which took place on April 4, 1998, and

- AIN'97, 2nd International Workshop on Advanced Intelligent Networks, which took place on July 5-6, 1997,

which all focus on specific techniques for user friendly design.

ACOS'98 and VISUAL'98 were associated with TACAS'98 (International Conference on Tools and Algorithms for the Construction and Analysis of Sys- tems), one of the main conferences of ETAPS'98, the first European Joint Con- ferences on Theory and Practice of Software, which took place at the Gulbenkian Foundation in Lisbon, Portugal, March 28 - April 4, 1998.

AIN'97 took place in Cesena, Italy, and was associated with last year's ICALP, International Colloquium on Automata, Languages and Programming, July 7-11 in Bologna, Italy.

The common goal of all three workshops is to support technology transfer, and this in three ways:

- directly, as each of them defines a field of application for formal techniques, - indirectly, by focusing on applications which themselves aim at simplifying

the use of complex techniques, thus making them acceptable and available to a wider public, but also

- on the metalevel, by addressing techniques which themselves are applicable to improve the automatic support for technology transfer in the respective application fields (bootstrapping effect).

In particular, the scope of these workshops covers both complex designs and algorithms to offer technical support towards a wider use of complex systems (typically dealt with at AIN and ACoS), as well as techniques for simplifying the use of systems by adequate visualization (VISUAL). The potential for a fruitful dialogue among participants of both communities was evidenced by the fact that ACoS and VISUAL shared common invited speakers and featured a joint session. It is our pleasure to remark that our hopes became reality: reflecting the balanced composition of the program committees, contributions and participation came equally significantly from industry and academia, thus fostering a true exchange and discussion of ideas.

The volume contains contributions by Maurizio Decina and Pamela Zave, invited speakers for AIN'97, and by Alain Lardenois, common invited speaker

VIII

for ACoS'98/VISUAL'98, together with a selection from the regular papers presented at the workshops.

ACOS'98 and VISUAL'98 were hosted by the University of Lisbon, and, being part of ETAPS, they shared the excellent sponsoring for this overall event. AIN was hosted by the University of Bologna at Cesena, and sponsored by Siemens- Nixdorf Informationssysteme AG and Cassa di Risparmio di Cesena.

Finally, warm thanks are due to the program committees and to all the referees for their assistance in selecting among the contributions, to DonMd Sannella for mastering the coordination of the whole ETAPS, to Jos@ Luiz Fiadeiro, Roberto Gorrieri, and their teams for their brilliant local organizations, and, last but not least, to Claudia Herbers for her professional assistance during the last months and for her first class support in the preparation of this volume.

March 1998 Tiziana Margaria Bernhard Steffen

Roland Riickert Joachim Posegga

IX

Program Committees

ACOS '98

Sahin Albayrak (D) Friedrich-Karl Bruhns (D) Maurizio Decina (I) Reinhard Gotzhein (D) Nancy Griffeth (USA) Jens Gutsche (D) Bengt Jonsson (S)

Tiziana Margaria (D) Walter Ozinger (A) Manfred Reitenspie$ (D) Marco Rocetti (I) Roland Riickert (D, Co-Chair) Bernhard Steffen (D, Co-Chair) Pamela Zave (USA)

VISUAL'98

Lou Feijs (NL) Kathi Fisler (USA) Tiziana Margaria (D, Co-Chair) Louise Moser (USA)

Doron Peled (USA) Joachim Posegga (D, Co-Chair) Peter Reintjes (USA) Dave Robertson (UK)

A I N ' 9 7

Jane E. Cameron (USA) Reinhard Gotzhein (D) Nancy Griffeth (USA) Bengt Jonsson (S) Tiziana Margaria (D)

Manfred Reitenspiet](D) Marco Roccetti (I) Luigi Santagostino (I) Bernhard Steffen (D, Chair) Giorgio Tenerini (I)

Referees

Maria Elena Bonfigli (AIN'97) Volker Braun (AIN'97) Jan Bredereke (ACOS'98) Carla Capellmann (VISUAL'98) Stelvio Cimato (AIN'97) Renzo Davoli (AIN'97) Mauro Gaspari (AIN'97) Shriram Krishnamurthi (VISUAL'98) Cosimo Laneve (AIN'97)

Gustaf Naeser (ACoS'98) Jan Nystr6m (ACOS'98) Fabio Panieri (AIN'97) Paola Salomoni (AIN'97) Jochen Schiller (AIN'97) Torge Schmidt (ACOS'98) P.H. Schmitt (VISUAL'98) Vincenzo Scinicariello (AIN'97) Harald Vogt (VISUAL'98)

Table of Co nten t s

I n v i t e d L e c t u r e s

ACOS'98 ~ V I S U A L ' 9 8

The Web Impact: A White Paper . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . A. Lardenois

A I N ' 9 7

'Calls Considered Harmful ' and Other Observations: A Tutorial on Telephony . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . P. Zave

Convergence of Telecommunications and Comput ing on Networking Models for Integrated Services and Applications . . . . . . . . . . . . . . . . . . . M. Decina

28

S e l e c t e d P a p e r s

ACOS'98

The Net Academy - A New Concept for Online Publishing and Knowledge Management . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . S. Handschuh, U. Lechner, D.-M. Lincke, B. Schmid, P. Schubert, D. Selz, K. Stanoevska-Slabeva

Distributed Compression of Live Video - An Application for Active Networks . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . R. Hess, D. Geske, S. K/immel, H. Th/irmer

Incremental Scene Graph Distribution Method for Distributed Virtual Environments . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . K. Kakizaki

Value-Added Services in Industrial Automat ion . . . . . . . . . . . . . . . . . . . . A. Hergenhan, C. Weiler, K. Weit?, W. Rosenstiel

Requirements and a Proposal for the Prevention of a Class of Service Interactions in Intelligent Networks . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . D. O. Keck

INAP Protocol Test Suite Verification Method Using the IUT Simulator for AIN System Conformance Testing . . . . . . . . . . . . . . . . . . . H. Do, S. Bae, S. Kim

29

44

61

75

90

106

xII

Testing IN Protocol Implementat ion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . P. F1orschfitz

Agent-Based Data Services in Future IN-Platforms .................

S. Albayrak, J. MeinkOhn

VISUAL'98

Visualisation of Executable Formal Specifications for User Validation M.B. Ozcan, P.W. Parry, L C. Morrey, J.I. Siddiqi

Design and Evaluation of a Visual Formalsism for Real Time Logics M. Lusini, E. Vicario

Visualising the Behaviour of Intelligent Networks . . . . . . . . . . . . . . . . . . C. Capellmann, S. Christensen, U. Herzog

Formal Methods and Customized Visualization: A Fruitful Symbiosis T. Margaria, V. Braun

Using a Visual Formalism for Design Verification in Industrial Environments . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . R. SchIOr, B. Josko, D. Werth

A I N ' 9 7

Automat ic Error Location for IN Service Definition . . . . . . . . . . . . . . . . V. Braun, T. Margaria, B. Steffen, H. Yoo

The Generat ion of Service Database Schema Through Service Creation Environment . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . J. Kang, J. Choi, S. Cho

A Study of Intelligent Multimedia Services over PSTNs and the Internet . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . L. Orozco-Barbosa, D. Makrakis, N.D. Georganas

Open Switching for ATM Network . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . M. Duque-Ant6n, R. Gfinther, R. Karabek, T. Meuser, d. Wasel

Application of INAP to AIN Intelligent Peripheral . . . . . . . . . . . . . . . . . H.J. Lira, G.B. Choi

IN Evolution to Support Mobility in D E C T Access Networks . . . . . . S. Biacchi, G. Ferrari, R. Gobbi

A Mobile Broadband Service Switching Point: A New Network Element for Multimedia and Mobile Services . . . . . . . . . . . . . . . . . . . . . . . D. Blaiotta, L. Faglia, M. Varisco, L. Vezzoli

117

128

142

158

174

190

208

222

238

250

265

278

291

306

Author Index ..................................................... 323