網(wǎng)絡(luò)計(jì)算環(huán)境中的協(xié)調(diào)技術(shù)研究.pdf

1、上海交通大學(xué)博士學(xué)位論文網(wǎng)絡(luò)計(jì)算環(huán)境中的協(xié)調(diào)技術(shù)研究姓名：夏順東申請學(xué)位級別：博士專業(yè)：計(jì)算機(jī)軟件與理論指導(dǎo)教師：尤晉元20030301上海交通大學(xué)博士論文網(wǎng)絡(luò)計(jì)算環(huán)境中的協(xié)調(diào)技術(shù)研究AbstractIIAbstractwkcomputingisanewcomputingparadigmemergingwiththerapiddevelopmentofwkinfrastructureespeciallyInter.wkcomputing

2、environments(NCEs)canbeenvisionedascollectionsofinteractivecooperativecomputingcomponentssuchasprogramstoolsclientsintelligentagents.Currentlythereisalackofefficientmethodologytechnologytosupptthesecomputingcomponentstoi

3、nteractcooperate.SoitiscomplextodevelopmaintainapplicationsinNCEs.Itisalsoafacttomakethewkapplicationslagbehindthedevelopmentofwkinfrastructure.Incomputersciencecodinationtechnologyisanimptantresearchareainrecentyearsisi

4、nitiallyappliedtolargedistributedparallelsystems.ItisapromisingtechnologytosolvetheproblemofinteractioncooperationinNCEs.Datadrivencodinationtechnologyabranchofcodinationtechnologyprovidesacommunicationmechanismfcomputin

5、gcomponentsthroughashareddataspacewherethecommunicationinfmationisindependentoftheactivityhistyofcomputingcomponents.Thenthecomputingcomponentsneednotbespatiallycoupledtempallycoupled.Sodatadrivencodinationtechnologyispo

6、tentiallysuitablefNCEs.HowevertherearealotofproblemsfdadadriventechnologytobeappliedtoNCEs:ThecodinationlanguageistoosimpleFlackofsecuritymechanismtheactivityofcomputingcomponentsincodinationmediaisnotcontrolledThereisal

7、ackoffmalbasisThesharedataspaceisnotscalableThereisalackofmechanismtoprovidetrustwthycodination.TosolvetheseproblemsthisdissertationproposedabetterdatadrivencodinationtechnologyfNCEs–SIKA(SecureInterlinKArchitecture).Idi

8、dfollowingresearchwkinthisdissertation:?ProposingSIKAcodinationmodellanguage.SIKAcodinationmodelbasedonshareddataspaceisenhancedbysecuritymechanismdatatransfmationmechanism.Thesecuritymechanismisusedtoenfcethecodinationp

9、olicyincodinationprocess.Thedatatransfmationmechanismisbasedonchemicalabstractmachineisusedtomaketheshareddataspacemeflexiblecontrollable.Thisdissertationalsoproposedapowerfulcodinationlanguage–SIKA_Lwhichcandescribeanin

10、tegratedcodinationpolicyisusefulfsoftwareengineering.?ResearchonfmalbasisofSIKAcodinationmodellanguage.AtypesystemisusedtodescribethestaticsemanticsofSIKA_L.ContextualPlaceTransitionisextendedtoanadvancedPetri:Contextual

11、ColedPetri(CCPN)whichisusedtodescribethedynamicsemanticsofSIKA_L.Thedynamicsemanticprovidesabasisfverifyemulatecodinationpolicy.BecauseofthecommonbasisinalldatadrivencodinationtechnologyCCPNhasgeneralsignificancefcodinat

12、iontechnologyinNCEs.?ResearchontheSIKAphysicalmodeltheimplementationofvirtualmachine.AdistributedvirtualmachinecrespondingsecureinteractionprotocolsareproposedtomeettherequirementofscalabilitysecurityinNCEs.CCPNcanalsobe