SOFSEM’ 98: Theory and Practice of Informatics: 25th Conference on Current Trends in Theory and Practice of Informatics Jasná, Slovakia, November 21–27, 1998 Proceedings

465 Pages·1998·5.784 MB·English

by  Maarten Boasson (auth.), Branislav Rovan (eds.)

Lecture Notes in Computer Science 1521
Editedby G.Goos,J. Hartmanisand J.van Leeuwen
3
Berlin
Heidelberg
NewYork
Barcelona
HongKong
London
Milan
Paris
Singapore
Tokyo
Branislav Rovan (Ed.)
SOFSEM ’98:
Theory and Practice
of Informatics
25th Conference on Current Trends
in Theory and Practice of Informatics
Jasna´, Slovakia, November 21-27, 1998
Proceedings
1 3
SeriesEditors
GerhardGoos,KarlsruheUniversity,Germany
JurisHartmanis,CornellUniversity,NY,USA
JanvanLeeuwen,UtrechtUniversity,TheNetherlands
VolumeEditor
BranislavRovan
ComeniusUniversity,DepartmentofComputerScience
SK-84215Bratislava,Slovakia
E-mail:[email protected]
Cataloging-in-Publicationdataappliedfor
DieDeutscheBibliothek-CIP-Einheitsaufnahme
Theoryandpracticeofinformatics:proceedings/SOFSEM’98,
25thSeminaronCurrentTrendsinTheoryandPracticeof
Informatics,Jasna´,Slovakia,November21-27,1998/Branislav
Rovan(ed.).-Berlin;Heidelberg;NewYork;Barcelona;Hong
Kong;London;Milan;Paris;Singapore;Tokyo:Springer,1998
(Lecturenotesincomputerscience;Vol.1521)
ISBN3-540-65260-4
CRSubjectClassification(1998):C.2,D,F,H
ISSN0302-9743
ISBN3-540-65260-4Springer-VerlagBerlinHeidelbergNewYork
Thisworkissubjecttocopyright.Allrightsarereserved,whetherthewholeorpartofthematerialis
concerned,specificallytherightsoftranslation,reprinting,re-useofillustrations,recitation,broadcasting,
reproductiononmicrofilmsorinanyotherway,andstorageindatabanks.Duplicationofthispublication
orpartsthereofispermittedonlyundertheprovisionsoftheGermanCopyrightLawofSeptember9,1965,
initscurrentversion,andpermissionforusemustalwaysbeobtainedfromSpringer-Verlag.Violationsare
liableforprosecutionundertheGermanCopyrightLaw.
(cid:1)c Springer-VerlagBerlinHeidelberg1998
PrintedinGermany
Typesetting:Camera-readybyauthor
SPIN10692809 06/3142–543210 Printedonacid-freepaper
Preface
This volume contains the invited papers and papers selected for presentation at
the25thconferenceonTheoryandPracticeofInformatics|SOFSEM’98,held
in Jasna(cid:19), Slovakia, November 21{27, 1998.
The SOFSEM conference series started in 1974 as a local event in Czecho-
slovakiaandfromtheverybeginningbecamethetopdomesticeventinsoftware
theory and practice. It has been unique in several respects, being a mix of win-
terschool,conference,andadvancedworkshop.Itbroughttogetherprofessionals
from academia and industry and provided an opportunity for both theoretici-
ans and practitioners to learn about the new developments in a broad range of
computer science subjects via a series of invited talks. The conference gradually
evolvedintoaninternationalevent,keepingmostofitsoriginalcharacteristics.It
features a relatively large number of invited talks, refereed papers (contributed
papers), and refereed poster contributions. In addition, time and space for flash
communications, industrial presentations, and exhibitions are provided.
SOFSEM is every year result of a considerable e(cid:11)ort by a number of peo-
ple. Its Advisory Board (Dines Bj(cid:28)rner, Manfred Broy, Michal Chytil, Peter
van Emde Boas, Georg Gottlob, Keith G. Je(cid:11)rey, Maria Zemankova) and En-
dowment Board (Keith G. Je(cid:11)rey, Jan Pavelka, Franti(cid:20)sek Pla(cid:19)(cid:20)sil, Igor Pr(cid:19)(cid:16)vara,
Branislav Rovan, vice-chair, Jan Staudek, Ji(cid:20)r(cid:19)(cid:16) Wiedermann, chair) is in process
of being transformed into a Steering Committee. All members of these commit-
tees have devoted special attention to the silver jubilee SOFSEM and I am glad
to acknowledge this. As usual, the core of the work has been done by the Pro-
gramCommitteeandtheOrganizingCommitteelistedbelow.Specialthanksgo
also to the referees who helped to evaluate the 48 submissions, from which of
18papershavebeenselectedbytheProgramCommitteeforpresentationatthe
conference and for publication in the Proceedings.
Theinvitedtalksaretraditionallygroupedintoanumberoftrackschosenby
the Endowment Board for that particular year. SOFSEM’98 has a special silver
jubilee track featuring (cid:12)ve talks with a historic aspect in the area of models
of computation (R. Freivalds), algorithms (G. Ausiello), formal (M. Broy) and
practical(D.Rombach)aspectsofsoftware,anddatabasesystems(G.vanEmde
Boas-LubsenanP.vanEmdeBoas).Inaddition,fourmoretracksofinvitedtalks
arefeatured:ParallelandDistributedComputing(M.Boasson,U.Kastens,and
P. Ru(cid:20)zi(cid:20)cka), Electronic Commerce (P. Han(cid:19)a(cid:20)cek, W. Lamersdorf, B. Preneel,
L.A.M. Strous, and Ch. Vanoirbeek), Electronic Documents and Digital Libra-
ries (R. Lu¨ling, Ch. Nikolaou, C. Roisin), and Trends in Algorithms (B. Chor,
A. Marchetti-Spaccamela, R. Niedermeier, J. Rolim). All but one of these talks
are documented in this volume (two of them as abstracts only).
The decision of Springer-Verlag to make available in parallel the electronic
versions of the volumes published in the LNCS series adds extra duties to the
volume editors. Perhaps, this is the necessary price for the convenice the com-
VI Preface
puter science community is enjoying. I would like to thank all the authors who
did their best to follow the guidelines. It would be very di(cid:14)cult (if at all possi-
ble) to produce the volume in time without the technical assistance of Miroslav
Chladny(cid:19) (ComeniusUniversity,Bratislava),whoalsodesignedandoperatedthe
electronic support for the work of the Program Committee. Last but not least,
I would like to thank Springer-Verlag for the traditionally excellent and smooth
co-operation in producing this volume.
September 1998 Branislav Rovan
SOFSEM’98 Program Committee Chair
SOFSEM’98
Organized by
Slovak Society for Computer Science
Czech Society for Computer Science
Slovak Research Consortium for Informatics and Mathematics
In co-operation with
Faculty of Mathematics and Physics, Comenius University, Bratislava
Institute of Informatics and Statistics, Bratislava
Faculty of Natural Sciences, Sˇafa´rik University, Koˇsice
SOFTEC, Ltd., Bratislava
FacultyofElectricalEngineeringandInformationTechnology,SlovakUniversity
of Technology, Bratislava
Institute of Informatics, Slovak Academy of Sciences, Bratislava
Faculty of Informatics, Masaryk University, Brno
Sponsors
The principal sponsors of SOFSEM’98 are:
Andersen Consulting IBM
Digital Slovakia SAP Slovensko
We also appreciate the sponsorship of the following companies:
ERCIM ORACLE Slovensko
Microsoft Slovakia VSZˇ Informatika
Telenor Slovakia provided the Internet connection to the conference site and a
mirror site for the SOFSEM’98 Web page.
VIII Conference Organisation
Program Committee
Kurt Bauknecht University of Zu¨rich, CH
Dines Bjørner, vice-chair Technical University of Denmark, Lyngby, DK
Janos Demetrovics Hungarian Academy of Sciences, Budapest, H
Viliam Geffert Sˇafa´rik University, Koˇsice,SK
Georg Gottlob Vienna University of Technology, Vienna, A
Nicolas Hermann LORIA, Nancy, F
Vaˇsek Hlav´aˇc Czech Technical University, Prague, CZ
Mojm´ır Kˇret´ınsky´ Masaryk University, Brno, CZ
Klaus-Jo¨rnLange Tu¨bingen University, DE
Lˇudov´ıt Molna´r Slovak Technical University, Bratislava,SK
Pekka Orponen University of Jyva¨skyla¨,FI
Jan Pavelka DCIT, Prague, CZ
Frantiˇsek Pl´aˇsil Charles University, Prague, CZ
Veith Risak Techno-Z FH TKS, Salzburg, A
Branislav Rovan, chair Comenius University, Bratislava,SK
Wilhelm Scha¨fer University of Paderborn,DE
Anton Scheber SOFTEC, Bratislava, SK
Witold Staniszkis Rodan System, Warsaw, PO
Gerard Tel Utrecht University, NL
Imrich Vrˇto Slovak Academy of Sciences, Bratislava, SK
Judith Wusteman University College Dublin, IRL
Referees
M.de Berg,H.L.Bodlaender,G.Castagna,W.Castelnovo,C.Castro,I.Cˇerna´,
V. Chevrier, F. Damiani, L. Dreschler-Fischer, T. Eiter, F. Fages, H. Fernau,
V. Geffert, G. Gottlob, P. de Groote, T. Hagerup, M. Hermann, V. Hlava´ˇc,
T. Hru´z, I. Kalaˇs,U. Kastens, M. Kaufmann, S.T. Klein, M. Kˇret´ınsky´,M. van
Kreveld, A. Kuˇcera, K.-J. Lange, P. Mederly, F. Meyer auf der Heide, M. Mid-
dendorf,P.O’hIceadha,P.Orponen,J.Pavelka,T.Plachetka,F.Pla´ˇsil,K.Rein-
hardt, Ch. Ringeissen, V. Risak, L. Ronyai, R. Rosati, B. Rovan, P. Ruˇziˇcka,
P. Sanders, W. Scha¨fer, A. Scheber, L. Sˇkarvada, L. Stacho, W. Staniszkis,
W. Strasser, M. Stumptner, S.D. Swierstra, O. Sy´kora, G. Tel, H.S. Thomp-
son, H. Tompits, B. Uhrin, M. Veldhorst, I. Vrˇto, F. Wotawa, J. Wusteman
Organizing Committee
Gabriela Andrejkova´,Martin Beˇcka,RadovanCˇervenka,Ivona Dost´alov´a,Mar-
cela Gschillova´, Vanda Hamba´lkova´, Jozef Jira´sek, Rastislav Kr´aˇloviˇc, Zuzana
Kubincova´, Dana Pardubska´, vice-chair, Igor Pr´ıvara, chair, Martin Stanek,
Marek Tamajka
Table of Contents
Invited Talks
Software Architecture for Distributed Reactive Systems................. 1
Maarten Boasson
A Logical Basis for Modular Software and Systems Engineering.......... 19
Manfred Broy
From Quartets to Phylogenetic Trees ................................. 36
Benny Chor
Reuse Methods for Construction of Parallel Software ................... 54
Christoph Eilingho(cid:11) and Uwe Kastens
Compiling Horn-Clause Rules in IBM’s Business System 12, an Early
Experiment in Declarativeness....................................... 68
Ghica van Emde Boas-Lubsen and Peter van Emde Boas
Models of Computation, Riemann Hypothesis, and Classical Mathematics. 89
Ru(cid:22)sin(cid:24)(cid:20)s Freivalds
Security of Electronic Money ........................................ 107
Petr Han(cid:19)a(cid:20)cek
Algorithms Based on Randomization and Linear and Semide(cid:12)nite
Programming...................................................... 122
Klaus Jansen and Jose Rolim
Distributed Systems Technology for Electronic Commerce Applications ... 135
Winfried Lamersdorf, Michael Merz, and Tuan Tu
Parallel Interactive Media Server Systems ............................. 149
Reinhard Lu¨ling, Francisco Cortes Gomez, and Norbert Sensen
Online Routing Problems for Broadband Networks ..................... 167
Alberto Marchetti-Spaccamela
Some Prospects for E(cid:14)cient Fixed Parameter Algorithms ............... 168
Rolf Niedermeier
System Infrastructure for Digital Libraries: A Survey and Outlook ....... 186
Christos Nikolaou and Manolis Marazakis
An Introduction to Cryptology ...................................... 204
Bart Preneel