一種基于RSL的協(xié)議形式化描述技術(shù).pdf

1、中國科學技術(shù)大學碩士學位論文一種基于RSL的協(xié)議形式化描述技術(shù)姓名：趙靜申請學位級別：碩士專業(yè)：計算機軟件與理論指導教師：趙保華2003.5.1!里型蘭苧查查堂墮主蘭壁堡蘭塑窶AbstractProtocolisthekernelofnetworkandcommunication，researchofprotocoltbrmaltheoryiselementary，exploresiveandinnovativeItmainlyincl

2、udesformaldescription，validation，implementationandtesting，amongthem，F(xiàn)ormalDescriptionTechnique(FDT)isthefoundationofprotocolengineeringNowthereareseveralFDTsincommonuseforexampleFiniteStateMachinc(FSM)，PetriNet，Calculuso

3、fCommunicatingSystems(CCS)andtherearealsoseveralFormalDescriptionLanguages(FDL)，forexampleSDLEstelle，LOTOSDifferentFDThasdifferentabilityofprotocoldescriptionandprotocolanalysis，thereforesingleFDTcannotsatisfytheneedofpr

4、otocolengineeringInordertoenlargetheareaofFI)T’thispaperproposesanFDTbasedonRSLThisdissertationconsistsofseveralpartsofworkasfollows：●Studyandanalysisfeaturesofcommonformaldescriptiontechniques_DeeplystudybackgroundofRSL

5、andpossibilityofusingRSLasaprotocolformaldescriptionlanguage_InordertomakeRSLsuitableforformaldescriptionofprotoc01RSLisextended●StudythefeaturesofFDTbasedonextendedRSL_StudyhowtocombineCOandFDTbasedonRSLtoenhancedescrip

6、tionabilityofRSL—UsetheFDTbasedonRSLtodescriptsomeprotocolstovalidateitsdescriptionability●StudyhowtoimplytheFDTbasedONRSLintoprotocoltestingKeywords：ProtocolEngineering；FormalDescriptionTechnique；RAISESpecificationLangu