1、西安理工大學碩士學位論文基于多值邏輯狀態(tài)機的需求分歧研究姓名：尹鵬申請學位級別：碩士專業(yè)：計算機軟件與理論指導教師：張毅坤20070601西安理工大學碩士學位論文Title：SOFrWAREREQUIREMENlsINCONSlSTENCYRESEARCH0NMU啊VALUEDLOGICBASEDST酊EMACHINEName：PengYINWiththedevelopmentofsoftwareengineeringthedevelo

2、pmentofsoftwaresystemsnowadaysisacomplexandlengthyaetivitythatinvolvestheparticipationandcollaborationofmanystakeholdersThisresultsinmanypartialmodelsofthedevelopingsystemThesemodeIs啪beinconsistentwitheachothersincetheyd

3、escribethesystemfromdiffcrentperspectivesandreflecttheviewsofthestakeholdersinvolvedintheirconstructionAIthou曲inconsistencyhasnegativeeffectsinthesoftwaredevelopmentthepotentialprobleminconsistencyrevealedmayimproverequi

4、rementanalysIsprocessandleadtobetterrequirementinconsistencyanalysisresult0netheotherhand，themodemdistributedrequirementselicitationalsomakesinconsistencyacomnlonphenomenoninthesoftwaredevelopmentTherefore。theresearchont

5、herequirementsinconsistencyisveryimportantThispaperintroducedtherecentinconsistencyhandlingmethodsanddiscussedtheproblemsofthesemethodsaswellastheCaUSesoftheproblemsAnewinconsistencyanalysIsmethodispresentedbasedonsuchdi

6、scussionInthenewmethodstateroachineandmultiValuedlogicsiscollaboratedtesolyerequirementsinconsistencyThercaretwopartsrequirementsdescriptionandinconsistencyresolvingmethodinthemethodTherequirementsdescriptioniSoftwoseIs。

7、statesetandeventset，anddetmedasastatemachinetoreserveglobalcontextinformationTheinconsistencyresolvingmethodisrealizedbymultiValued109icoperationtoimproveflexibilltyandcommonalitvInthelastanauxiliarytoolofrequirementsana

8、lysisSRIAbasedonthismethodisintroducedtoprovethefeasibilityofourmethodSoftwarerequirementsareessentiallySUbjeetivedesiresThestakeholders’opinionisSOimportanttotherequirementsanalysisthatthecomplicatedfullyautomationofinc

9、onsistencyhandlingiSmostlynotdesirableincommonpracticalworkInthismethodthestakeholders’intentionisimplementedbyapplyingspecificmultivaluedlogicoperationandthequalityofinconsIstencyhandlingisimprovedbycontinuouslyevaluati