软件体系结构4_软件体系结构形式化描述

THUSAGroup课程编号：741001521软件体系结构形式化描述小组成员：XXXXXX报告人：XXXSoftwareArchitecture2小组工作情况XXX：1.动态软件体系结构的概述1.1模拟和描述体系结构动态更新1.2体系结构的动态更新执行2.软件体系结构动态模型2.1基于构件的软件系统结构模型2.2πADL动态体系结构XXX：1.动态体系结构的描述1.1动态体系结构描述语言1.2动态软件体系结构的形式化描述2.动态体系结构特征31动态体系结构的描述1.1动态体系结构描述语言⑴DynamicWright⑵Darwin达尔文⑶DynamicACMED⑷Rapide41动态体系结构的描述⑴DynamicWright是体系结构描述语言Wright的一个扩展，主要目的：试图模拟或标记，以解决软件系统的动态性。特点之一：能够容易的描述软件的动态环境。51动态体系结构的描述ClientServer1Server2LLClientServer1Server2LC动态描述静态描述动态描述以下是一个实例，说明采用DynamicWright来描述客户/服务器体系结构的方法。61动态体系结构的描述⑵Darwin达尔文是一个用于描述系统配置规划的ADL，它把一个程序看成是由不同级别的构件进行相应的配置。不同之处：具有一个用于对构建所需要的和提供的服务进行指定的规则。71动态体系结构的描述filterprevnextoutputComponent{provideprevport,int;requirenextport,int;}以下例子是一个采用Darwin对过滤器构件的图形化和文本化描述81动态体系结构的描述1.2动态软件体系结构的形式化描述对动态软件体系结构的形式化描述通常可以采用：（1）图形化方法（2）代数进程方法（3）逻辑方法91动态体系结构的描述（1）图形化方法ArchitecturalStructureArchitecturalStyleLeMetayerapproachSystemArchitectureContext-freegraphgrammarGraph(formallydefinedasamultiset)ArchitecturalElementBehaviorcomponentsconnectorsnodesofagraphandacsplikebehaviorspecificationedgesofagraphArchitecturalReconfigurationHirschetalapproachContext-freegraphgrammarhypergraphedgesofagraphwithCCSlabelsnodesofagraph[point-pointcommunicationandbroadcastcommunication]graphrewritingrulesgraphrewritingruleswithsideconditionstorefertothestatusofpublicvariablesTaentzeretalapproachdistributedgraph(networkgraph)localgraphofeachnetworkgraphnodeandlocaltransformationsbetweenlocalgraphsedgesofagraphgraphrewritingrulesCHAMcreationCHAMmoleculelinksbetweentwocomponentmoleculesevolutionCHAMreactionrules101动态体系结构的描述（2）代数进程方法111动态体系结构的描述（3）逻辑方法ArchitecturalStructureArchitecturalStyleGerelSystemArchitectureimplicitgraphrepresentationArchitecturalElementBehaviorcomponentsconnectorsArchitecturalReconfigurationAguirre-MaibaumZCLimplicitgraphrepresentationimplicitgraphrepresentation(definedbysetofstateschemainZ)interfaceinGerellanguageandbehaviorinaprogramminglanguageclasswithattributes,actionsandreadvariablesstateschemainZdefinedbybindoperationinconfigurationcomponentassociationconsistingofparticipantsandsynchronizationconnectionsconnectionbetweenportsofcomponentfirstorderlogicfirstorderlogic,temporallogicoperationschemainZ(predicatelogicandsettheory)122动态体系结构特征（1）可构造性动态特征（2）适应性动态特征（3）智能型动态特征132动态体系结构特征（1）可构造性动态特征ConfigurationdirectivesStaticviewDynamicview通过结合动态描述语言、动态修改语言和一个动态更新系统来实现。14（2）适应性动态特征StaticviewDynamicviewEvents有这种特征的应用程序必须有立即反映当前事件的能力15（3）智能型动态特征StaticviewDynamicviewEvents智能动态特征是用一个有限的预配置集来移除约束。16动态软件体系结构谢谢观赏！