2.00自適應需求建模方法--整理20160605

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

2、適應所需要的屬性?環(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)的轉化?UML模型用于建模系統(tǒng)的行為?Problemframefeaturemodel問題框架，特征模型和反饋控制機制多用于設計階段?業(yè)務流程模型和領域相關的模型更多的關注

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

4、[37]建模自適應機制?[38]需求驗證?系統(tǒng)設計階段?將需求模型映射到架構模型[39]是不是涉及到體系結構模型?以需求指導軟件設計[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