基于圖變換的軟件演化工作流建模與分析.pdf

1、中南大學(xué)碩士學(xué)位論文基于圖變換的軟件演化工作流建模與分析姓名：曾平安申請學(xué)位級別：碩士專業(yè)：計算機(jī)應(yīng)用技術(shù)指導(dǎo)教師：任勝兵20080519ABSTRACTThestudyofthesoftwareevolutioniSsignificantforthesoftwarelifecycleextensionandimprovementofsoftwareadaptationtothenewenvironmentandreducingoper

2、atingcostsofsoftwareHowevertheexistingsoftwareevolutiontechnologyalsohasaseriesofproblems，suchashowtoprederivetheresultsofchangeandhowtodesignaflexibleplanningormechanismofsoftwareevolutionInordertofixtheseproblemsthisth

3、esisintroducesworkflowintothefieldofsoftwareevolutionThustheevolutionoperationscanbecombinatedtodealwitllmorecomplexevolutionAndthroughtheanalysisoftheevolutionworkflowwecanpre—derivetheresultsofsoftwareevolutionoroptimi

4、zethesoftwareevolutionworknOWBasedongraphtransformation，thisthesisdescribestheworkflowmodelwithtimeandresourceattributesbyattributedtypegraph(ATG)anddesignsasetofgraphtransformationrulesforworkflowmodelingInordertoimprov

5、etheapplicabilityoftheworkflowmodel，thisthesisintroducesanapproachofworkflowmodelcorrectnessanalysisusinggraphreductionformakingsurethecorrectnessofworkflowmodelstructurallyThisthesisdefinesasetofrulestodealwiththeworkfl

6、owtimeconsistancyanalysisandworkflowdeadlineanalysisandintroducesanapproachbasedontheconclusionoftheexistingresearchonthefieldofworkflowschedulabilityanalysisFinallythethesisrealizesthesoftwareevolutionworkflowmodelingan

7、danalysist001whichiSusedtotofinishtheworkflowmodelingonthesoftwareevolutionofConditionalAcceptSystemfCAS)Thethesisusesthistooltofinishthecorrectnessanalysisdeadlineanalysis，timeconsistancyanalysisandschedulabilityanalysi