Object-Oriented Technology. ECOOP 2002 Workshop Reader

TheEuropeanConferenceonObject-OrientedProgramming(ECOOP)conf- ence series, in cooperation with Springer-Verlag, is glad to o?er the obje- orientedresearchcommunitythesixtheditionoftheECOOPWorkshopReader, acompendiumofworkshopreportsandpostersummariesfromthe16thEu- peanConferenceonObject-OrientedProgramming(ECOOP2002). ECOOP2002washeldinMal 'aga,Spain,fromJune10thtoJune14th2002. Asusual,theworkshopstookplaceduringthe?rsttwodaysoftheconference andgaveauthorsandparticipantsanopportunitytopresentanddiscussideas thataretopicalandinnovativeinobject-orientedtechnology,inanatmosphere thatfosteredinteraction,exchange,andproblemsolving. ECOOP2002hosted19high-qualityworkshopscoveringalargespectrumof researchtopicsrelatedtoobject-orientedtechnology. Thisyear,theseworkshops wereselectedfrom25proposalsbytheworkshopselectioncommittee,prim- ilyinaccordancewiththeirscienti?cmeritandtheirprobabilityofgenerating livelydiscussion. Thisvolumecontainsthereportsofthose19workshops. Each chaptercoversoneworkshop,summarizingthecurrentresearchbeingcarried outintheworkshoptopic,themajorissuesdiscussed,themainconclusions, andpossibledirectionsforfurtherresearch. Eachchapter?nisheswithalistof updatedreferenceswherethereadercan?ndcomplementaryinformationabout theworkshoptheme. Thelastchaptercontainsthesummariesoftheposters displayedatECOOP2002. Thisbookwasonlypossiblethankstothee?ortofalargegroupofp- plecontributinginmanydi?erentways. Wewouldliketothankthemembers oftheselectioncommittee,eachworkshoporganizer,andeachworkshopand posterparticipant. Theadditionalworkfortheworkshoporganizersinterms ofrecordingandsummarizingthediscussionswillcertainlybeappreciatedby thereaders. Finallywewishtoconveyourwarmappreciationtoourcolleagues oftheECOOP2002organizationteamfortheiruniqueblendofe?ciencyand comradeship. Preparingforandholdingtheconferencewasalotoffun. Organizingtheworkshopsandthisbookprovedtobeverystimulatingand instructive;wewishourreadersanequallyfruitfulexperience. Wearepretty surethattheECOOP2002workshopreaderwillprovideyou,thereader,with anexcellentsnapshotofthemajortrendsinobject-orientedtechnology. October2002 JuanHerna'ndez AnaMoreira Organization ECOOP2002wasorganizedbytheDepartmentofLenguajesyCienciasdela Computaci'onoftheUniversityofMal 'aga,andtheDepartmentofInformat 'ica of the University of Extremadura, under the auspices of AITO (Association InternationalepourlesTechnologiesObjets).TheproceedingsofthemainconferencewerepublishedasLNCS2374. WorkshopChairs: JuanHerna'ndez(UniversityofExtremadura) AnaMoreira(UniversidadeNovadeLisboa,Portugal) PosterChair: JuanM. Murillo(UniversityofExtremadura) WorkshopSelectionCommittee MehmetAksit UniversityofTwente,TheNetherlands Jo"aoArau'jo UniversidadeNovadeLisboa,Portugal ElisaBertino Universit'adegliStudidiMilano,Italy RobertFrance ColoradoStateUniversity,USA JuanHerna'ndez UniversidaddeExtremadura,Spain AnaMoreira UniversidadeNovadeLisboa,Portugal AmbrosioToval UniversidaddeMurcia,Spain Contents ResourceManagementforSafeLanguages...1 GrzegorzCzajkowski,JanVitek GenerativeProgramming ...15 KrzysztofCzarnecki,KasperOsterbye,MarkusVolt .. er ToolsandEnvironmentsforLearningObject-OrientedConcepts...30 IsabelMichiels,Ju..rgenB..orstler,KimB. Bruce 12thWorkshopforPhDStudentsinObjectOrientedSystems ...44 MiguelA. P'erez,PedroJ. Clemente Web-OrientedSoftwareTechnology ...55 OscarPastor,DanielSchwabe,GustavoRossi,LuisOlsina Component-OrientedProgramming...70 JanBosch,ClemensSzyperski,WolfgangWeck ConcreteCommunicationAbstractionsoftheNext701Distributed ObjectSystems...79 AntoineBeugnard,SalahSadou,LaurenceDuchien,EricJul UnanticipatedSoftwareEvolution...92 G..unterKniesel,JoostNoppen,TomMens,JimBuckley CompositionLanguages...107 MarkusLumpe,Jean-GuySchneider,BastiaanSch..onhage, ThomasGenssler TheInheritanceWorkshop...117 GabrielaAr'evalo,AndrewBlack,YaniaCrespo,MichelDao, ErikErnst,PeterGrogono,MarianneHuchard,MarkkuSakkinen Model-BasedSoftwareReuse ...135 AndreasSpeck,ElkePulvermu..ller,RagnhildVanDerStraeten, RalfH. Reussner,MatthiasClauss QuantitativeApproachesinObject-OrientedSoftwareEngineering...147 MarioPiattini,FernandoBritoeAbreu,GeertPoels, HouariA. Sahraoui MultiparadigmProgrammingwithObject-OrientedLanguages...154 KeiDavis,YannisSmaragdakis,J..orgStriegnitz VIII Contents Knowledge-BasedObject-OrientedSoftwareEngineering...160 MajaD'Hondt,KimMens,EllenVanPaesschen Object-OrientationandOperatingSystems...174 AndreasGal,OlafSpinczyk,DarioAlvarez IntegrationandTransformationofUMLModels ...184 Jo"aoArau'jo,JonathanWhittle,AmbrosioToval,RobertFrance MobileObjectSystems ...192 Ciar'anBryce Feyerabend:Rede?ningComputing...197 WolfgangDeMeuter,PascalCostanza,MartineDevos, DaveThomas FormalTechniquesforJava-likePrograms...203 SophiaDrossopoulou,SusanEisenbach,GaryT. Leavens, ArndPoetzsch-He?ter,ErikPoll PosterSession...211 JuanManuelMurillo,FernandoSan 'chez AuthorIndex ...223 ResourceManagement forSafeLanguages 1 2 GrzegorzCzajkowski andJanVitek 1 Sun Microsystems Laboratories, grzegorz. czajkowski@sun. com 2 Purdue University, jv@cs. purdue. edu Abstract. Safe programming languages o?er safety and security f- tures making them attractive for developing extensible environments on a wide variety of platforms, ranging from large servers all the way down tohand-helddevices. Extensibleenvironmentsfacilitatedynamicho- ingofavarietyofpotentiallyuntrustedcodes. Thisrequiresmechanisms to guarantee isolation among hosted applications and to control their usageofresources.