2.00自適應(yīng)需求建模方法--整理20160605

1、將當(dāng)前的建模方法（包括需求、環(huán)境、系統(tǒng)）按研究方法分類：（為什么把需求、環(huán)境、系統(tǒng)的方法都放進來是由于他們?nèi)叩年P(guān)系都是互相牽扯，一種建模方法里面可能會同時包括環(huán)境和需求或者是對系統(tǒng)行為的建模）?基于目標(biāo)的方法：KAOS[25]i[26]Tropos[27]最流行的方法，能夠用一種很直觀的方式，明確的描述stakeholder的意圖以及系統(tǒng)的需求?時態(tài)邏輯：LTL[28]CTL[29]FBTL[30]多用作定義語言，用于定義系統(tǒng)要進行自

2、適應(yīng)所需要的屬性?環(huán)境模型：contextmodels[31]通過建立環(huán)境模型來捕捉環(huán)境的屬性?Znotation[32]用于定義系統(tǒng)的行為?Transitionsystem:MarkovChain[33]Petri[34]DDN[35]形式化方法描述系統(tǒng)的狀態(tài)和狀態(tài)的轉(zhuǎn)化?UML模型用于建模系統(tǒng)的行為?Problemframefeaturemodel問題框架，特征模型和反饋控制機制多用于設(shè)計階段?業(yè)務(wù)流程模型和領(lǐng)域相關(guān)的模型更多的關(guān)注

3、與軟件本身的業(yè)務(wù)邏輯和領(lǐng)域相關(guān)的邏輯GoalientedTempallogicTransitionsystemUMLmodelfeaturemodelfeedbackcontrolmechaismZnotationBusinessprocessdomainspecifificmodelcontextmodelProblemframe需求模型在軟件工程的不同階段的應(yīng)用：?需求分析階段?KAOS[25]i[26]RELAX[30]明確需求?

4、[37]建模自適應(yīng)機制?[38]需求驗證?系統(tǒng)設(shè)計階段?將需求模型映射到架構(gòu)模型[39]是不是涉及到體系結(jié)構(gòu)模型?以需求指導(dǎo)軟件設(shè)計[40]?軟件運行時?運行時監(jiān)控、診斷軟件需求[41]Themonitingcomponentgenerateslogdatathatcontainsthetruthvaluesofspecifiedprepostconditionsaswellassystemactionexecutions.Suchda

5、tacanbegeneratedatdifferentlevelsofgranularitydependingondiagnosticfeedback.Thediagnosticcomponentdiagnosesthedenialofrequirementsusingthelogdataidentifiesproblematiccomponents.Tosupptdiagnosticreasoningwetransfmthediagn

6、osticproblemintoapropositionalsatisfiability(SAT)problemthatcanbesolvedbyexistingSATsolvers.Theframewkreturnssoundcompletediagnosesaccountingfobservedaberrantsystembehavis.Oursolutionisillustratedwithtwomediumsizedpublic

7、lyavailablecasestudies:aWebbasedemailclientanATMsimulation.Ourexperimentalresultsdemonstratethescalabilityofourapproach.42.YiqiaoW.MylopoulosJ.:SelfRepairthroughReconfiguration:ARequirementsEngineeringApproach.In:24thInt

8、ernationalConferenceonAutomatedSoftwareEngineeringpp.257–268(2009)摘要：摘要：Highvariabilitysoftwaresystemscandelivertheirfunctionalitiesinmultiplewaysbyreconfiguringtheircomponents.Highvariabilityhasbecomeimptantbecauseofcur

9、renttrendstowardssoftwaresystemsthatcomeinproductfamiliesofferhighlevelsofpersonalizationfitwellwithinaserviceientedarchitecture.Thepurposeofourresearchistoproposeaframewkthatexploitssuchvariabilitytoallowasoftwaresystem

10、toselfrepairincasesoffailure.Weproposeanautonomicarchitecturethatconsistsofmonitingdiagnosisreconfigurationexecutioncomponents.Thisarchitectureusesrequirementsmodelsasabasisfmonitingdiagnosisreconfiguration.Weillustrateo

11、urproposalwithamediumsizedpubliclyavailablecasestudy(anAutomatedTellerMachine(ATM)simulation)evaluateitsperfmancethroughaseriesofexperiments.Ourexperimentalresultsdemonstratethatitisfeasibletoscaleourapproachtosoftwaresy

12、stemswithmediumsizerequirements43.InverardiP.MiM.:Requirementsmodelsatruntimetosupptconsistentsystemevolutions.In:2ndInternationalWkshoponpp.1–8(2011)摘要：摘要：Selfadaptivesystemscallfruntimemanagementbecauseoftheenvironment

13、uncertainty.Inadditionusersmayputfwardnewneedswhilethesystemisinexecutionpossiblyinresponsetoenvironmentvariations.Thismeansthataselfadaptivesystemneedstoevolveatruntimeaccdinglytotheusercontextvariations.Weproposeaconte

14、xtawareframewkthatisinspiredbythefeatureengineeringperspectivebringsrequirementsspecificationsatruntimebyemphasizingtherequirementsthatarecontextdependent.Wesupptsystemevolutionbyproposinganotionofcrectnesswhichisbasedon

15、ourcontextrequirements.Ourframewkisgenericitisamenabletoaugmentthesystemwithnewrequirementsarisingatruntime.Sincenewrequirementsmayinteractwithdeployedrequirementsweprovidethesuppttokeepthoseentitiesatruntimechecktheircr