SOZRSL規(guī)格說明的求精.pdf

1、上海大學碩士學位論文SOZRSL規(guī)格說明的求精姓名：曹曉夏申請學位級別：碩士專業(yè)：計算機應用技術指導教師：繆淮扣20030215上海大學碩jr學位論文——!!!!旦!!魚!壘!!笪!!!!i!iQ!!墮壘!里!苧!!!!∑!!i!型一————RefinementofSOZRSLSpecificationAbstractInordertOovercometheshortcomingofeachsinglemethodologyandcom

2、binetheadvantagesofstructural，objectorientedandformalmethodologies，anewsoftwaredevelopmentmethodologynamedSOZRSLisputforwardWhatthisthesisfocusistherefinementofspecificationsiethetransformationfromspecificationstocodeIti

3、Sthehotanddi師cultpointoftheresearchforformalmethodsUptonowtherearestillnotoolssuppomingwholeprocessofrefinementofthespecificationsTheformalspecificationwhichonlydescribes‘‘whattodo”doesn’tdescribe‘‘howtOdo”Thereisabiggap

4、betweenspecificationwhichhasahighabstractdegreebutweakprocedurepropertyandcodewhichhasastrongprocedurepropertyandcanbeexecutedbymachineUnderpresentconditions，theentirelyautomaticrefinementofspecificationseemsimpossibleWh

5、atitcanbedoneistOestablisharefinementsystemwiththeassistantofmachine，whichcanprovideasmuchautomaticsuppoaaspossiblefortherefinementofspecificationsTheaimofthisprojectistodesignamachineaidedrefinementtoolwithinteractionbe

6、tweenusersandmachineInthisthesis，firstly，weintroducetheadvantageanddisadvantageoftheformalmethodsandSOZRSLThenwediscussthemainproblemsandapproachesofrefinementMoreover，wedescribeonrownapproachtefinementbasedonthetwokinds

7、ofrefinementmethodsWedividetheprocessofrefinementintotwodifferentlevelsAtthefirstlevel，ThehigherabstractspecificationistransformedtOthelowerabstractspecificationusingprogramsynthesisAtthesecondlevel，thelowerabstractspeci

8、ficationistransformedtocodeusingrefinementcalculationWhenweusetherefinementcalculationmethod，weputforwardatableaustructurecalledcalculationtableauThisstructurerecordstheprocessofrefinementcalculationItcanretaintheconsist

9、encyofthewholeprocessaccordingwiththedeductivetableauthatwasproposedbyManna，SelectingrulesisthemostdifficultandcreativeworkinrefinementInthisthesisweputforwardsomenewideastOapplyinggeneticalgorithmtOrefinementWepresentkn