软件体系结构形式化描述.ppt

基于WRIGHT的描述元素5：层次*THUSAGroup层次WRIGHT支持层次描述，如下层次结构（服务器有内部结构）：客户服务器协调器安全管理器数据库基于WRIGHT的描述元素5：层次THUSAGroup*ConfigurationHierServerConnectorCSConn…ComponentClientType…ComponentServerTypePortService…Computation…ConfigurationSecureDataComponentCoordinator…Instancesc:Coordinator与上图对应的层次描述，缩进可以帮助看清层次结构：定义顶层构件和连接器类型定义构件类型ServerType的端口和内部结构，包括次级构件类型Coordinator、SecurityManager（未列出）和Database（未列出）接下页ADL分类（续）*THUSAGroup根据研究范围分类研究体系结构配置结构的描述语言如Darwin、CHAM（ChemicalAbstractMachine）研究体系结构实例的描述语言如Rapide、UniCon研究体系结构风格的描述语言如WRIGHT、Aesop根据与实现细节的关系的描述语言实现无关语言（ImplementationIndependentLanguages）实现相关语言（ImplementationConstrainingLanguages）几种ADL简介*THUSAGroupOOADLDSADLXYZ/ADLＷright系统Darwin系统形式化ADL几种ADL简介（续）*THUSAGroupDarwin采用π演算来分析、描述带有演化通信结构的并发系统。在π演算中，一个系统被表述成一组具有独立功能的进程集，集合中的每个进程可以与其它进程建立连接，每个连接都有一个连接名。Darwin采用π演算对系统行为进行建模，利用其强类型系统进行静态检查。0102几种ADL简介（续）*XYZ/ADL针对国内唐稚松院士提出基于时序逻辑的XYZ语言进行扩充，用来描述验证具有实时性、可靠性要求的软件体系结构。THUSAGroup几种ADL简介（续）*THUSAGroupDSADL采用属性文法(AG)来形式化描述软件体系结构。传统的属性文法是在一上下文无关文法(ContextFreeGrammar，CFG)-G=(VN,VT,P,Z)上附加上下文有关的属性和规则。其中，VN是非终结符号集；VT是终结符号集；P是产生式集；Z是开始符号。假设G是规范CFG。P中的产生式为p:Xp,,0→Xp,1…Xp,np，np≥1，表示的右部所含符号的长度；Xp,0∈VN，Xp,i∈V;V=VN∪VT;1≤i≤np。DSADL针对分布式软件的特征引入了并行描述机制、特殊的终结符号、条件产生式。几种ADL简介（续）*THUSAGroupOOADL采用Z语言形式化描述软件体系结构。其中Z语言是基于一阶逻辑（∧，∨，?）和集合论(∩，∪，∈等）的一种数学语言。OOADL以OO范例作为核心，增加了a_kind_of”,“a_part_of”和“an_instance_of”等关键字来表示OO范例中的概括、聚集和实例化关系。几种ADL简介（续）*THUSAGroupWRIGHT采用CSP做为形式化描述语言。CSP是基于字母表、迹和拒绝集的概念。从形式上，CSP进程可以用一个3元组(A,F,D)表示，A表示字母表(Alphabet)，F表示失效（Failures），D表示偏差（Divergences）。进程的字母表是进程所参与的事件的集合。进程的迹是进程所允许的事件序列。通过ADL看软件*THUSAGroup不同的ADL对软件的理解不同WRIGHT将软件理解为构件、连接器、端口、角色，以及这些元素之间的联系和约束。CSP的描述使其有利分析复杂行为。C2将软件理解为构件、端口和连接器。不过构件有且只有Top和Bottom两个端口。同时构件和构件之间仅通过Request和Notification两种信息进行通讯。适合描述交互式系统。ACME将软件理解为具有属性的构件和连接器。具有大多数ADL的共