69软件体系结构

软件体系结构清华大学出版社关于教材◇出版社：清华大学出版社◇作者：张友生课程内容◇软件体系结构概论◇软件体系结构建模◇软件体系结构风格◇软件体系结构描述◇动态软件体系结构◇Web服务体系结构◇基于体系结构的软件开发◇软件体系结构的分析与测试◇软件体系结构评估◇软件产品线体系结构第5章动态软件体系结构5.1动态软件体系结构概述◇软件体系结构动态性◎交互式动态性◎结构化动态性◎体系结构动态性第5章动态软件体系结构◇动态体系结构的研究◎模拟和描述体系结构动态更新◎体系结构动态更新的执行ExternalAnalysisModulesArchitectureEvolutionManagerChangescriptsDesignenvironmentArchitectureModelChangesappliestoModelImplementationChangesimplicitlyaffectimplementation5.1动态软件体系结构概述第5章动态软件体系结构5.2软件体系结构动态模型◇基于构件的动态系统结构模型◎模型简介连接件配置构件连接构件配置构件描述执行构件接口执行构件配置构件描述执行构件接口执行应用层中间层体系结构配置体系结构描述执行构件连接件构件体系结构层第5章动态软件体系结构◎更新请求描述◇更新类型◇更新对象列表◇对象的新版本说明◇对象更新方法◇更新函数◇更新限制5.2软件体系结构动态模型◇基于构件的动态系统结构模型第5章动态软件体系结构◎更新执行步骤◇检测更新的范围◇更新准备工作◇执行更新◇存储更新5.2软件体系结构动态模型◇基于构件的动态系统结构模型第5章动态软件体系结构◎实例分析5.2软件体系结构动态模型◇基于构件的动态系统结构模型连接配置构件连接构件配置接口执行构件配置接口执行3.执行更新1.请求更新5.成功返回更新发起者2.准备4.重新连接构件A连接件B构件C◇局部更新第5章动态软件体系结构◎实例分析5.2软件体系结构动态模型◇基于构件的动态系统结构模型◇全局更新Server构件配置器体系结构配置器Client配置器连接件Server构件执行请求更新通知更新结束提交更新请求判断通知有更新请求返回准备就绪信息通知有更新请求返回准备就绪信息返回准备就绪信息通知一切就绪准备执行更新通知更新执行完毕并返回结果通知更新结束通知更新结束返回相应信息通知更新结束执行更新第5章动态软件体系结构5.2软件体系结构动态模型◇πADL动态体系结构选读第5章动态软件体系结构5.2动态体系结构的描述◇动态体系结构描述语言静态描述◎DynamicWrightClientServer1Server2LLClientServer1Server2LC动态描述第5章动态软件体系结构5.3动态体系结构的描述◇动态体系结构描述语言◎DarwinfilterprevnextoutputComponent{provideprevport,int;requirenextport,int;}第5章动态软件体系结构5.3动态体系结构的描述◇动态软件体系结构的形式化描述◎图形化方法ArchitecturalStructureArchitecturalStyleLeMetayerapproachSystemArchitectureContext-freegraphgrammarGraph(formallydefinedasamultiset)ArchitecturalElementBehaviorcomponentsconnectorsnodesofagraphandacsplikebehaviorspecificationedgesofagraphArchitecturalReconfigurationHirschetalapproachContext-freegraphgrammarhypergraphedgesofagraphwithCCSlabelsnodesofagraph[point-pointcommunicationandbroadcastcommunication]graphrewritingrulesgraphrewritingruleswithsideconditionstorefertothestatusofpublicvariablesTaentzeretalapproachdistributedgraph(networkgraph)localgraphofeachnetworkgraphnodeandlocaltransformationsbetweenlocalgraphsedgesofagraphgraphrewritingrulesCHAMcreationCHAMmoleculelinksbetweentwocomponentmoleculesevolutionCHAMreactionrules第5章动态软件体系结构5.3动态体系结构的描述◇动态软件体系结构的形式化描述◎进程代数方法第5章动态软件体系结构5.3动态体系结构的描述◇动态软件体系结构的形式化描述◎逻辑化描述方法ArchitecturalStructureArchitecturalStyleGerelSystemArchitectureimplicitgraphrepresentationArchitecturalElementBehaviorcomponentsconnectorsArchitecturalReconfigurationAguirre-MaibaumZCLimplicitgraphrepresentationimplicitgraphrepresentation(definedbysetofstateschemainZ)interfaceinGerellanguageandbehaviorinaprogramminglanguageclasswithattributes,actionsandreadvariablesstateschemainZdefinedbybindoperationinconfigurationcomponentassociationconsistingofparticipantsandsynchronizationconnectionsconnectionbetweenportsofcomponentfirstorderlogicfirstorderlogic,temporallogicoperationschemainZ(predicatelogicandsettheory)第5章动态软件体系结构5.4动态体系结构特征◇可构造性动态特征ConfigurationdirectivesStaticviewDynamicview第5章动态软件体系结构5.4动态体系结构特征◇适应性动态特征StaticviewDynamicviewEvents第5章动态软件体系结构5.4动态体系结构特征◇智能性动态特征StaticviewDynamicviewEvents第5章动态软件体系结构本章作业与思考题1、什么是动态软件体系结构？动态软件体系结构与静态软件体系结构有什么区别？2、基于构件的动态软件体系结构模型的层次结构是什么？3、如何使用πADL进行动态体系结构建模？4、试比较DynamicWright和Darwin的特点。5、试用DynamicWright描述B/S结构。