Perspectives of System Informatics: Third International Andrei Ershov Memorial Conference, PSI’99 Akademgorodok, Novosibirsk, Russia July 6–9, 1999 Proceedings

551 Pages·2000·12.394 MB·English

by  Donald Sannella (auth.), Dines Bjøner, Manfred Broy, Alexandre V. Zamulin (eds.)

Lecture Notes in Computer Science 1755
EditedbyG.Goos,J.HartmanisandJ.vanLeeuwen
3
Berlin
Heidelberg
NewYork
Barcelona
HongKong
London
Milan
Paris
Singapore
Tokyo
Dines Bjørner Manfred Broy
Alexandre V. Zamulin (Eds.)
Perspectives of
System Informatics
Third International
Andrei Ershov Memorial Conference, PSI’99
Akademgorodok, Novosibirsk, Russia
July 6-9, 1999
Proceedings
1 3
SeriesEditors
GerhardGoos,KarlsruheUniversity,Germany
JurisHartmanis,CornellUniversity,NY,USA
JanvanLeeuwen,UtrechtUniversity,TheNetherlands
VolumeEditors
DinesBjørner
TechnicalUniversityofDenmark,DepartmentofInformationTechnology
Bldg.244,2800Lyngby,Denmark
E-mail:[email protected]
ManfredBroy
TechnicalUniversityofMunich,ComputerScienceDepartment
Arcisstr.21,80290Munich,Germany
E-mail:[email protected]
AlexandreV.Zamulin
A.P.ErshovInstituteofInformaticsSystems
av.Ac.Lavrentyev6,Novosibirsk630090,Russia
E-mail:[email protected]
Cataloging-in-Publicationdataappliedfor
DieDeutscheBibliothek-CIP-Einheitsaufnahme
Perspectivesofsysteminformatics:proceedings/ThirdInternational
AndreiErshovMemorialConference,PSI’99,Akademgorodok,
Novosibirsk,Russia,July6-9,1999.DinesBjørner...(ed.).-
Berlin;Heidelberg;NewYork;Barcelona;HongKong;London;
Milan;Paris;Singapore;Tokyo:Springer,2000
(Lecturenotesincomputerscience;Vol.1755)
ISBN3-540-67102-1
CRSubjectClassification(1998):F.3,D.3,D.1,D.2,I.2
ISSN0302-9743
ISBN3-540-67102-1Springer-VerlagBerlinHeidelbergNewYork
Thisworkissubjecttocopyright.Allrightsarereserved,whetherthewholeorpartofthematerialis
concerned,specificallytherightsoftranslation,reprinting,re-useofillustrations,recitation,broadcasting,
reproductiononmicrofilmsorinanyotherway,andstorageindatabanks.Duplicationofthispublication
orpartsthereofispermittedonlyundertheprovisionsoftheGermanCopyrightLawofSeptember9,1965,
initscurrentversion,andpermissionforusemustalwaysbeobtainedfromSpringer-Verlag.Violationsare
liableforprosecutionundertheGermanCopyrightLaw.
©Springer-VerlagBerlinHeidelberg2000
PrintedinGermany
Typesetting:Camera-readybyauthor
SPIN:10719596 06/3142–543210 Printedonacid-freepaper
Preface
This volume comprises the papers presented at the Third International Andrei
Ershov Memorial Conference \Perspectives of System Informatics", Akademgo-
rodok (Novosibirsk, Russia), July 6{9, 1999. The main goal of the conference
was to give an overview of researchdirections which are decisive for the growth
of major areas of research activities in system informatics.
The conference was the third one in the line. The (cid:12)rst and second interna-
tionalconferences\PerspectivesofSystemInformatics"wereheldinNovosibirsk,
Akademgorodok, in May, 1991, and June, 1996, respectively. Both conferences
gathered a wide spectrum of specialists and were undoubtedly very successful.
Thethirdconferenceincludedmanyofthesubjectsofthesecondconference,
such as theoretical computer science, programming methodology, new informa-
tiontechnologies,andthepromising(cid:12)eldofarti(cid:12)cialintelligence|asimportant
components of system informatics. The style of the second conference was pre-
served to a certain extent in that there were a considerable number of invited
papersinadditiontothe contributedpapers.However,posterswerereplacedby
short talks mainly given by young researchers.
This time 73 papers were submitted to the conference by researchers from
all continents. Each paper was reviewed by three experts, at least two of them
from the same or a closely related discipline as the authors. The reviewers gen-
erally provided high quality assessments of the papers and often gave extensive
comments to the authors for the possible improvement of the presentations. As
a result,the programcommittee selected27highqualitypapers asregulartalks
and17papersasshorttalks.Abroadrangeof\hot"topicsinsysteminformatics
werecoveredby eightinvitedtalks givenby prominentcomputer scientistsfrom
di(cid:11)erent countries.
The conference, like the previous ones, was dedicated to the memory of
A.P.Ershov,therealandrecognizedleaderinSoviet(andRussian)informatics.
The late Academician Andrei P. Ershov was a man for all seasons. He com-
manded universal respect and received a(cid:11)ection all over the world. His view of
programming was both a human one and a scienti(cid:12)c one. At Akademgorodok
he created a unique group of scientists | some now in far away regions of the
world: a good example of \technology transfer", although perhaps not one that
too many people in Russia are happy about.
Many of his disciples and colleagues continue to work in the directions initi-
atedorstimulatedbyhim,attheA.P.ErshovInstitute ofInformaticsSystems.
The institute was the main organizer of the three conferences.
VI Preface
Wearegladtoexpressourgratitudetoallthepersonsandorganizationswho
contributed to the conference | to the sponsors for their moral, (cid:12)nancial, and
organizationalsupport,andtothemembersofthelocalorganizingcommitteefor
their mutual e(cid:11)orts towardsthe success of this event.We areespecially grateful
to N. Cheremnykh for her selfless labour when preparing the conference.
October, 1999 D. Bj(cid:28)rner,
M. Broy,
A. Zamulin
Organization
Conference Chair: Alexander Marchuk (Novosibirsk,Russia)
Program Committee Co-chairs:Dines Bj(cid:28)rner (Lyngby, Denmark)
Manfred Broy (Munich, Germany)
Alexandre Zamulin (Novosibirsk,Russia)
Program Committee:
Janis Barzdins (Latvia) Gennady Osipov (Russia)
Fr(cid:19)ed(cid:19)eric Benhamou (France) Jaan Penjam (Estonia)
Christian Boitet (France) Peter Pepper (Germany)
Mikhail Bulyonkov (Russia) Igor Pottosin (Russia)
Piotr Dembinski (Poland) Wolfgang Reisig (Germany)
Alexander Dikovsky (France) Dieter Rombach (Germany)
Victor Ivannikov (Russia) Dean Rosenzweig (Croatia)
Philippe Jorrand(France) Viktor Sabelfeld (Germany)
Leonid Kalinichenko (Russia) Vladimir Sazonov (Russia)
Alexander Kleschev (Russia) David Schmidt (USA)
Vadim Kotov (USA) Sibylle Schupp (USA)
Reino Kurki-Suonio (Finland) Valery Sokolov (Russia)
Alexander Letichevski (Ukraine) Nicolas Spyratos (France)
Eduard Ljubimsky (Russia) Alexander Tomilin (Russia)
Rudiger Loos (Germany) Enn Tyugu (Sweden)
Bernhard M¨oller (Germany) Andrei Voronkov (Sweden)
Hanspeter M¨ossenb¨ock (Austria) Tatyana Yakhno (Russia)
Valery Nepomniaschy (Russia) Zhou Chaochen (Macau)
Additional Referees
P. A. Abdulla M. Korovina U. Sarkans
I. Anureev G. Kucherov K. Schneider
C. Bunse S. Krivoi W. Schwerin
K. C(cid:20)er(cid:22)ans K. Lellahi N. Shilov
Dang Van Hung F. Moller T. Stauner
T. Ehm O. Mu¨ller M. Tudruj
S. Gaissaryan A. Mycroft M. Valiev
A. Godlevskiy J. Philipps D. von Oheimb
M. Gorbunov-Posadov K. Podnieks J. Winkovski
T. Jen A. Sabelfeld Xu Qiwen
VIII Organization
Conference Secretary
Natalia Cheremnykh (Novosibirsk,Russia)
Local Organizing Committee
Sergei Kuznetsov Vladimir Detushev Anna Shelukhina
Gennady Alexeev Olga Drobyshevich Irina Zanina
Alexander Bystrov Vera Ivanova
Tatyana Churina Vladimir Sergeev
Sponsors
Support from the following institutions is gratefully acknowledged:
(cid:15) Russian Foundation for Basic Research
(cid:15) O(cid:14)ce of Naval Research, USA
(cid:15) Nortel Networks, Canada
(cid:15) Relativity Technologies, Inc, USA
(cid:15) UN University’s International Institute for Software Technology, Macau
Table of Contents
Algebraic Speci(cid:12)cations
The Common Framework Initiative for Algebraic Speci(cid:12)cation and
Development of Software (Invited Talk) ::::::::::::::::::::::::::::::: 1
D. Sannella
A Logical Approach to Speci(cid:12)cation of Hybrid Systems ::::::::::::::::: 10
M. V. Korovina, O. V. Kudinov
Speci(cid:12)cations with States
Algebraic Imperative Speci(cid:12)cations (Invited Talk) :::::::::::::::::::::: 17
M.-C. Gaudel, A. Zamulin
Enhanced Control Flow Graphs in Montages :::::::::::::::::::::::::: 40
M. Anlau(cid:11), Ph. W. Kutter, A. Pierantonio
Abstract State Machines for the Composition of Architectural Styles ::::: 54
A. Su¨nbu¨l
Partial Evaluation and Supercompilation
TheEssenceofProgramTransformationbyPartialEvaluationandDriving
(Invited Talk) ::::::::::::::::::::::::::::::::::::::::::::::::::::: 62
N. D. Jones
Binding-Time Analysis in Partial Evaluation: One Size Does Not Fit All :: 80
N. H. Christensen, R. Glu¨ck, S. Laursen
Abstraction-Based Partial Deduction for Solving Inverse Problems |
A TransformationalApproach to Software Veri(cid:12)cation :::::::::::::::::: 93
R. Glu¨ck, M. Leuschel
Sonic Partial Deduction::::::::::::::::::::::::::::::::::::::::::::: 101
J. Martin, M. Leuschel
On Perfect Supercompilation :::::::::::::::::::::::::::::::::::::::: 113
J. P. Secher, M. H. S(cid:28)rensen
Linear Time Self-Interpretation of the Pure Lambda Calculus ::::::::::: 128
T. (cid:29). Mogensen
An Optimal Algorithm for Purging Regular Schemes ::::::::::::::::::: 143
D. L. Uvarov
X Table of Contents
Polymorphism in OBJ{P:::::::::::::::::::::::::::::::::::::::::::: 149
M. Plu¨micke
Concurrency and Parallelism
Formal Modelling of Services for Getting a Better Understanding of the
Feature Interaction Problem (Invited Talk) :::::::::::::::::::::::::::: 155
P. Gibson, D. M(cid:19)ery
Serializability Preserving Extensions of Concurrency Control Protocols ::: 180
D. Chkliaev, J. Hooman, P. van der Stok
Platform Independent Approach for Detecting Shared Memory
Parallelism:::::::::::::::::::::::::::::::::::::::::::::::::::::::: 194
Yu. V. Chelomin
Hierarchical Cause-E(cid:11)ect Structures:::::::::::::::::::::::::::::::::: 198
A. P. Ustimenko
Some Decidability Results for Nested Petri Nets ::::::::::::::::::::::: 208
I. A. Lomazova, Ph. Schnoebelen
Abstract Structures for Communication between Processes :::::::::::::: 221
G. Ciobanu, E. F. Olariu
Logic and Processes
Applying Temporal Logic to Analysis of Behavior of Cooperating Logic
Programs ::::::::::::::::::::::::::::::::::::::::::::::::::::::::: 228
M. I. Dekhtyar, A. Ja. Dikovsky,, M. K. Valiev
On Semantics and Correctness of Reactive Rule-Based Programs::::::::: 235
M. Lin, J. Malec, S. Nadjm-Tehrani
Compositional Veri(cid:12)cation of CCS Processes :::::::::::::::::::::::::: 247
M. Dam, D. Gurov
Compositional Style of Programming FPGAs:::::::::::::::::::::::::: 257
E. Trichina
Languages and Software
Using Experiments to Build a Body of Knowledge (Invited Talk) ::::::::: 265
V. Basili, F. Shull, F. Lanubile
Patterns in Words versus Patterns in Trees: A Brief Survey and New
Results ::::::::::::::::::::::::::::::::::::::::::::::::::::::::::: 283
G. Kucherov, M. Rusinowitch