Z規(guī)格說明中關(guān)系和函數(shù)到C++STL的自動(dòng)轉(zhuǎn)換.pdf

1、沈陽工業(yè)大學(xué)碩士學(xué)位論文Z規(guī)格說明中關(guān)系和函數(shù)到CSTL的自動(dòng)轉(zhuǎn)換姓名：于云赫申請學(xué)位級別：碩士專業(yè)：計(jì)算機(jī)應(yīng)用技術(shù)指導(dǎo)教師：王宏生20070104z規(guī)格說明中關(guān)系和函數(shù)到csTL的自動(dòng)轉(zhuǎn)換RelationandFunctionMappingfromZSpecificationtoCSTLAbstractFormalmethodsofsoftwaredevelopingareregardedasarevolutionaryapproac

2、htosolve“soRwarecrisis“，improvedependabilityandboostefficiencyofsoftwareproductsAmongformalmethodspeople黜accustomedtousespecificationtodescribethecomputer‘howtodo“AtpresentZspecificationisthemostpopularspecificationlangu

3、age，whichwasfinishedstandardizationundertheguideoflSOin2002，andZspecificationismoreandmoreappliedineveryfieldofindustryestateHoweverbecauseoftheabstractionandgreatcomplexity，Zspecificationhasnotbeenwidelyacceptedbyprogra

4、mmersBasicdatatypeandcompounddatatypeofZspecificationwerepresentedfirstandsomeexamplesofestablishinginoperationsbasedoncompounddatatypeweregivenSecond，theprocessofaccidenceanalysis，thethoughtofsyntaxanalysisandtheerrorco

5、ntrolwereexpatiatedbrieflyonAfterthataccordingtotheconstitutionstructureofZspecificationthehandlingmedalofflamewasbroughtup，inordertodealwithdeclarationsandpredicationsmoreflexiblyAtlastthefrequente仃。體andtheirerrorcontro

6、lswerepresentedThearticlemainlystudyontheanalysisandrefinementofrelationandfunctionmappingofZspecificationItsmainstepsaSfollows：handlethestandardZspecificationwitllthemethodofaccidenceanalysisandphrasing；accordingtothedi

7、fferenceofdatatyl)eswitllthehelpofSTLsupportingdataconstructionandgeneralalgorithmandcodesprogrammedbymyselfproceedsemanticoperationsandrefinementrespectively，andsolvetheproblemofstorageofrelationandfunctionmapping；onthe

8、conditionofnochangingoftheoriginalmeaningofZspecificationrealizethetargetofautomaticconversionformZspecificationtOinterimCOdesandfrominterimCOdestoCcodesTherealizationofthisarticlewillprovidethenewapproachforsoftwareengi

9、neeringintheperiodofsummarydesignhelpsoftwareengineeringlanguagemoreandmoreusedinsoftwareexploitationandpractice，maketheprocessofsoftwaredevelopingreasonable，makethedesignofsoft：wareelaborate，andmaketheallocationoffundsa