Lecture Notes in Computer Science

ofdistributedobjectmiddlewareandmarkuplanguagestoachieveintegration of?nancialtradingsystems. December2000 WolfgangEmmerichandStefanTai ProgramCo-chairs EDO2000 Program Committee Organization ConferenceChair: VolkerGruhn,UniversityofDortmund,Germany ProgramCo-chairs:WolfgangEmmerich,UniversityCollegeLondon,UK StefanTai,IBMWatsonResearch,U. S. A. OrganizingChair: PremDevanbu,UniversityofCalifornia,Davis,U. S. A. Referees JeanBezivin,UniversityofNantes,France GordonBlair,LancasterUniversity,UK AlfredBro¨ckers,AdessoGmbH,Germany PeterCroll,UniversityofWollongong,Australia ElisabettaDiNitto,PolitecnicodiMilano,Italy AlfonsoFuggetta,PolitecnicodiMilano,Italy WilliHasselbring,UniversityofOldenburg,Germany JusukeHashimoto,NEC,Japan WalterHuersch,Zuehlke,Switzerland ArnoJacobson,INRIA,France MehdiJazayeri,TUVienna,Austria GertiKappel,UniversityofLinz,Austria WojtekKozacynski,Rational,USA BerndKr¨amer,FUHagen,Germany Je?Magee,ImperialCollege,UK NenadMedvidovic,UniversityofSouthernCalifornia,USA NeilRoodyn,Cognitech,UK DavidRosenblum,UniversityofCaliforniaIrvine,USA IsabelleRouvellou,IBMWatsonResearch,USA WalterSchwarz,DGBank,Germany DirkSlama,ShinkaTechnologies,Germany DanielSteinmann,UBS,Switzerland AlfredStrohmeier,EPFL,Switzerland StanSutton,IBMWatsonResearch,USA Sponsoring Institutions AdessoGmbH,Germany IBMWatsonResearch,U. S. A. Z¨uhlkeEngineeringGmbH,Germany Table of Contents Invited Industry Presentation ApplicationIntegrationwithCORBAandXML . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 WalterSchwarz MiddlewareSelection MiddlewareSelection . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2 StanleyM. SuttonJr. AKeyTechnologyEvaluationCaseStudy: ApplyingaNewMiddlewareArchitectureontheEnterpriseScale . . . . . . . . . . . 8 MichaelGoedickeandUweZdun AnArchitectureProposalforEnterpriseMessageBrokers. . . . . . . . . . . . . . . . . . 27 J¨ornGuySu¨ßandMichaelMewes ResourceManagement ResourceManagement. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43 StoneyJacksonandPremDevanbu TheImportanceofResourceManagementin EngineeringDistributedObjects. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44 HectorA. Duran-LimonandGordonS. Blair TowardsDesigningDistributedSystemswithConDIL. . . . . . . . . . . . . . . . . . . . . . 61 FelixBub ¨ l Architectural Reasoning ArchitecturalReasoning . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 81 WolfgangEmmerich AutomaticGenerationofSimulationModelsfortheEvaluation ofPerformanceandReliabilityofArchitecturesSpeci?edinUML . . . . . . . . . . 83 MigueldeMiguel,ThomasLambolais,SophiePiekarec, St´ephaneBetg´e-BrezetzandJ´eromeP´equery ArchitecturalRe?ection: RealisingSoftwareArchitecturesviaRe?ectiveActivities. . . . . . . . . . . . . . . . . . 102 FrancescoTisato,AndreaSavigni,WalterCazzolaandAndreaSosio VIII Table of Contents UsingModelCheckingtoDetectDeadlocks inDistributedObjectSystems. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 116 NimaKaveh ComponentMetadataforSoftwareEngineeringTasks . . . . . . . . . . . . . . . . . . . . . 129 AlessandroOrso,MaryJeanHarroldandDavidRosenblum OnUsingStaticAnalysisinDistributedSystemTesting . . . . . . . . . . . . . . . . . . 145 JessicaChen DistributedCommunication DistributedCommunication . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 163 AlfonsoFuggetta,RushikeshK. JoshiandAnt´onioRitoSilva DistributedProxy:ADesignPatternfor theIncrementalDevelopmentofDistributedApplications. . . . . . . . . . . . . . . . . 165 Ant´onioRitoSilva,FranciscoAssisRosa,TeresaGon¸calves andMiguelAntunes ModelingwithFilterObjectsinDistributedSystems. . . . . . . . . . . . . . . . . . . . . . 182 RushikeshK. Joshi Advanced Transactions 2 AdvancedTransactions:Conceptsand X TSPrototy