Fundamental Approaches to Software Engineering: 4th International Conference, FASE 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2–6, 2001 Proceedings

361 Pages·2001·3.87 MB·English

by  Bran Selic (auth.)

Lecture Notes in Computer Science 2029
EditedbyG.Goos,J.HartmanisandJ.vanLeeuwen
3
Berlin
Heidelberg
NewYork
Barcelona
HongKong
London
Milan
Paris
Singapore
Tokyo
Heinrich Hussmann (Ed.)
Fundamental Approaches
to Software Engineering
4th International Conference, FASE 2001
Held as Part of the Joint European Conferences
on Theory and Practice of Software, ETAPS 2001
Genova, Italy,April 2-6, 2001
Proceedings
1 3
SeriesEditors
GerhardGoos,KarlsruheUniversity,Germany
JurisHartmanis,CornellUniversity,NY,USA
JanvanLeeuwen,UtrechtUniversity,TheNetherlands
VolumeEditor
HeinrichHussmann
TechnischeUniversita¨tDresden
Institutfu¨rSoftware-undMultimediatechnik
01062Dresden,Germany
E-mail:[email protected]
Cataloging-in-PublicationDataappliedfor
DieDeutscheBibliothek-CIP-Einheitsaufnahme
Fundamentalapproachestosoftwareengineering:4thinternational
conference;proceedings/FASE2001,heldaspartoftheJoint
EuropeanConferencesonTheoryandPracticeofSoftware,ETAPS2001,
Berlin,Genova,Italy,April2-6,2001.HeinrichHussmann(ed.).-
Berlin;Heidelberg;NewYork;Barcelona;HongKong;London;
Milan;Paris;Singapore;Tokyo:Springer,2001
(Lecturenotesincomputerscience;Vol.2029)
ISBN3-540-41863-6
CRSubjectClassification(1998):D.2,D.3,F.3
ISSN0302-9743
ISBN3-540-41863-6Springer-VerlagBerlinHeidelbergNewYork
Thisworkissubjecttocopyright.Allrightsarereserved,whetherthewholeorpartofthematerialis
concerned,specificallytherightsoftranslation,reprinting,re-useofillustrations,recitation,broadcasting,
reproductiononmicrofilmsorinanyotherway,andstorageindatabanks.Duplicationofthispublication
orpartsthereofispermittedonlyundertheprovisionsoftheGermanCopyrightLawofSeptember9,1965,
initscurrentversion,andpermissionforusemustalwaysbeobtainedfromSpringer-Verlag.Violationsare
liableforprosecutionundertheGermanCopyrightLaw.
Springer-VerlagBerlinHeidelbergNewYork
amemberofBertelsmannSpringerScience+BusinessMediaGmbH
http://www.springer.de
©Springer-VerlagBerlinHeidelberg2001
PrintedinGermany
Typesetting:Camera-readybyauthor,PTPBerlin,StefanSossna
Printedonacid-freepaper SPIN10782450 06/3142 543210
Foreword
ETAPS2001isthefourthinstanceoftheEuropeanJointConferencesonTheory
and Practice of Software. ETAPS is an annual federated conference that was
established in 1998 by combining a number of existing and new conferences.
Thisyearitcomprises(cid:12)veconferences(FOSSACS,FASE,ESOP,CC,TACAS),
ten satellite workshops (CMCS, ETI Day, JOSES, LDTA, MMAABS, PFM,
RelMiS, UNIGRA, WADT, WTUML), seven invited lectures, a debate, and ten
tutorials.
The events that comprise ETAPS address various aspects of the system de-
velopmentprocess,includingspeci(cid:12)cation,design,implementation,analysisand
improvement. The languages, methodologies and tools which support these ac-
tivities are all well within its scope. Di(cid:11)erent 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 loose confederation 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 \unify-
ing" 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 opportunity to learn about research in related areas,
and thereby to foster new and existing links between work in areas that were
formerly addressed in separate meetings.
ETAPS 2001 is hosted by the Dipartimento di Informatica e Scienze dell’In-
formazione (DISI) of the Universita(cid:18) di Genova and has been organized by the
following team:
Egidio Astesiano (General Chair)
Eugenio Moggi (Organization Chair)
Maura Cerioli (Satellite Events Chair)
Gianna Reggio (Publicity Chair)
Davide Ancona
Giorgio Delzanno
Maurizio Martelli
with the assistance of Convention Bureau Genova. Tutorials were organized by
BernhardRumpe(TUMu¨nchen).OverallplanningforETAPSconferencesisthe
responsibility of the ETAPS Steering Committee, whose current membership is:
EgidioAstesiano(Genova),EdBrinksma(Enschede),PierpaoloDegano
(Pisa), Hartmut Ehrig (Berlin), Jos(cid:19)e Fiadeiro (Lisbon), Marie-Claude
Gaudel (Paris), Susanne Graf (Grenoble), Furio Honsell (Udine), Nigel
VI Foreword
Horspool(Victoria),HeinrichHussmann(Dresden),PaulKlint(Amster-
dam), Daniel Le M(cid:19)etayer (Rennes), Tom Maibaum (London), Tiziana
Margaria(Dortmund),UgoMontanari(Pisa),MogensNielsen(Aarhus),
Hanne Riis Nielson (Aarhus), Fernando Orejas (Barcelona), Andreas
Podelski (Saarbru¨cken), David Sands (Go¨teborg), Don Sannella (Edin-
burgh), Perdita Stevens (Edinburgh), Jerzy Tiuryn (Warsaw), David
Watt (Glasgow), Herbert Weber (Berlin), Reinhard Wilhelm (Saar-
bru¨cken)
ETAPS 2001 is organized in cooperation with
the Association for Computing Machinery
the European Association for Programming Languages and Systems
the European Association of Software Science and Technology
the European Association for Theoretical Computer Science
and has received generous sponsorship from:
ELSAG
Fondazione Cassa di Risparmio di Genova e Imperia
INDAM - Gruppo Nazionale per l’Informatica Matematica (GNIM)
Marconi
Microsoft Research
Telecom Italia
TXT e-solutions
Universita(cid:18) di Genova
I would like to express my sincere gratitude to all of these people and orga-
nizations, the programme committee chairs and PC members of the ETAPS
conferences, the organizers of the satellite events, the speakers themselves, and
(cid:12)nally Springer-Verlag for agreeing to publish the ETAPS proceedings.
Edinburgh, January 2001 Donald Sannella
ETAPS Steering Committee chairman
Preface
The Conference on Fundamental Approaches to Software Engineering (FASE),
as its name indicates, is a pure software engineering conference. However, being
part of the ETAPS event, it has a particular pro(cid:12)le. It focuses on the appli-
cation of theoretically founded techniques in practical software engineering and
on approaches aiming towards a proper theory of software engineering. In the
past,FASEwassometimesmistakenforaFormalMethodsconference.However,
FASE covers Formal Methods as just a small part of its pro(cid:12)le, and even then
it only covers application-oriented work on Formal Methods.
As the chairman of the program committee for FASE 2001, I am very happy
that this instance of FASE fully coincides with this intended pro(cid:12)le of the con-
ference. I am also happy that FASE is an increasingly popular event, as can be
seen from the increasing number of submissions. FASE 2001 attracted a record
number of 74 submissions. The scope of these submissions was very broad, co-
veringmanydi(cid:11)erentareasofsoftwareengineering.Theprogramcommitteehad
a di(cid:14)cult task in selecting just 22 papers out of the submissions. I am grateful
tomycolleaguesintheprogramcommitteethatthisprocesswentsmoothlyand
lead to a well-balanced program of very good scienti(cid:12)c quality. The members of
the FASE 2001 program committee were:
Egidio Astesiano (Universita(cid:18) di Genova, Italy)
Michel Bidoit (ENS Cachan, France)
Dan Craigen (ORA Ottawa, Canada)
Jos(cid:19)e Fiadeiro (Universidade de Lisboa, Portugal)
Carlo Ghezzi (Politecnico di Milano, Italy)
Heinrich Hussmann (Technische Universit¨at Dresden, Germany)
Cli(cid:11) Jones (University of Newcastle, UK)
Tom Maibaum (King’s College London, UK)
Bernhard Rumpe (Technische Universit¨at Mu¨nchen, Germany)
Doug Smith (Kestrel Institute, USA)
Martin Wirsing (Universita¨t Mu¨nchen, Germany)
WhencomparingtheprogramwithearlierFASEprograms,itisobviousthat
the section on Formal Methods has decreased in size, but still keeps a promi-
nent position, and puts strong emphasis on practical aspects, like real-world
case studies. Some other software engineering topics, such as component-based
development, distributed systems, and testing, are included. The biggest group
of papers deals with a speci(cid:12)cation and modeling language which was not even
touched upon at the (cid:12)rst FASE (1998) and just super(cid:12)cially covered at FASE
1999 and FASE 2000. More than two thirds of the papers explicitly deal with
the Uni(cid:12)ed Modeling Language (UML), in particular with its theoretical foun-
dations and possible extensions. Of course, it is quite controversial whether this
languageisascienti(cid:12)cachievementinitself,sincetheevolutionofUMLisclearly
driven by industry and much of UML was de(cid:12)ned essentially by establishing a
compromise between divergent opinions. Nevertheless, the UML seems to have
establisheditselfasoneofthemajortransmissionmechanismsbetweenscienti(cid:12)c
VIII Preface
research and practical application. It is a big step forward that nowadays many
fundamentalresearchactivitiesusetheUMLasabasisandthereforemaketheir
results easily accessible for practioners who are knowledgeable of UML. There-
fore, I am also very happy with the high percentage of UML-related papers and
hopethatFASE(andETAPSingeneral)willestablishitselfasaforumforthose
people who are interested in a seriously scienti(cid:12)c approach to UML.
It is also not just by coincidence that our invited speaker for FASE, Bran
Selic, comes from a company which is closely related to the invention of UML.
His talk, which is summarized in this volume by a short abstract, points out an
important challenge to software engineering, that is the integration of physical
andquantitativeaspects,besidesthepurelyfunctionalviewwhichprevailstoday.
Ascienti(cid:12)ceventlikeFASEisalwaystheresultoftheco-operationofalarge
group of people. Therefore, I would like to thank the members of the program
committeeandtheadditionalreferees,aslistedbelow,fortheenormousamount
of work they invested in the selection process. Special thanks go to Ansgar
Konermann for his reliable support, in particular by providing and maintaining
the Web site on which the virtual program committee meeting was carried out.
Many thanks also to Don Sannella, Egidio Astesiano, and the whole ETAPS
2001 team for providing the well-organized framework for this conference.
January 2001 Heinrich Hussmann
FASE 2001 Program Committee chairman
Referees
R. Amadio F.-U. Kumichel
L. Andrade K. Lano
H. Baumeister A. Lopes
M. Becker P. Magillo
D. Bert B. Marre
B. Blanc S. Merz
M. Cerioli B. M¨oller
D. Clark T. Nipkow
T. Clark I. Nunes
P. R. D’Argenio L. Petrucci
A. De Lucia A. Pretschner
B. Demuth G. Reggio
Th. Dimitrakos B. Reus
C. Duarte J.-C. Reynaud
L. Errington M. Saaltink
M. Fischer R. Sandner
S. Fitzpatrick Ph. Schnoebelen
C. Fox J. Thierry
F. Fu¨nfstu¨ck A. Thomas
J.-M. Geib V. Vasconcelos
J. Goubault-Larrecq F. Voisin
A. Haeberer M. Wermelinger
R. Hennicker S. Westfold
S. Kent G. Wimmel
A. Knapp J. Zappe
P. Kosiuczenko E. Zucca
S. Kromodimoeljo