2.00自适应需求建模方法--整理20160605.docxVIP

将当前的建模方法（包括需求、环境、系统）按研究方法分类：（为什么把需求、环境、系统的方法都放进来是由于他们三者的关系都是互相牵扯，一种建模方法里面可能会同时包括环境和需求或者是对系统行为的建模） 基于目标的方法：KAOS[25],i*[26],Tropos[27]最流行的方法，能够用一种很直观的方式，明确的描述stakeholder的意图以及系统的需求 时态逻辑：LTL[28],CTL[29]andFBTL[30]多用作定义语言，用于定义系统要进行自适应所需要的属性 环境模型：contextmodels[31]通过建立环境模型来捕捉环境的属性 Znotation[32]用于定义系统的行为 Transitionsystem:MarkovChain[33],PetriNet[34]andDDN[35]形式化方法描述系统的状态和状态的转化 UML模型用于建模系统的行为 Problemframe,featuremodeland问题框架，特征模型和反馈控制机制多用于设计阶段 业务流程模型和领域相关的模型更多的关注与软件本身的业务逻辑和领域相关的逻辑需求模型在软件工程的不同阶段的应用： 需求分析阶段 KAOS[25],i*[26],RELAX[30]明确需求 [37]建模自适应机制 [38]需求验证 系统设计阶段 将需求模型映射到架构模型[39]是不是涉及到体系结构模型 以需求指导软件设计[40] 软件运行时 运行时监控、诊断软件需求[41] 基于需求进行自配置，实现自修复[42] 使用需求模型在运行时支持一致的系统演化[43]参考文献：[39]Pimentel,J.,Lucena,M.,Castro,J.,Silva,C.,Santos,E.,Alencar,F.:Derivingsoftwarearchitecturalmodelsfromrequirementsmodelsforadaptivesystems:theSTREAM-Aapproach.Requir.Eng.17,259–281(2012)摘要：Somequalityattributesareknowntohaveanimpactontheoverallarchitectureofasystem,sothattheyarerequiredtobeproperlyhandledfromtheearlybeginningofthesoftwaredevelopment.Forexample,adaptabilityisakeyconcernforautonomicandadaptivesystems,whichbringstothemthecapabilitytoaltertheirbehaviorinresponsetochangesontheirsurroundingenvironments.Inthispaper,weproposeaStrategyforTransitionbetweenRequirementsandArchitecturalModelsforAdaptivesystems(STREAM-A).Inparticular,weusegoalmodelsbasedonthei*(i-Star)frameworktosupportthedesignandevolutionofsystemsthatrequireadaptability.Toobtainsoftwarearchitecturesforsuchsystems,theSTREAM-Aapproachusesmodeltransformationsfromi*modelstoarchitecturalmodelsexpressedinAcme.Boththerequirementsandthearchitecturalmodelarerefinedtoaccomplishtheadaptabilityrequirement.基于i*(i-Star)framework的目标模型，提出了STREAM-A方法，将目标模型映射到体系结构模型上。并且认为：只有将体系结构模型和目标模型都明确定义，并确定二者的关联关系后，才算是得到了一个完整的自适应需求。[40]Morandini,M.,Penserini,L.,Perini,A.:Towardsgoal-orienteddevelopmentofself-adaptivesystems.In:Proceedingsofthe2008InternationalWorkshoponSoftwareEngineeringforAdaptiveandSelf-ManagingSystems,pp.9–16(2008)ABSTR