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,KasperØsterbye,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,MatthiasClauß 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.