资源描述：
《软件体系结构集成开发环境-wright》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。
1、软件体系结构集成开发环境-Wright本文由dftest贡献pdf文档可能在WAP端浏览体验不佳。建议您优先选择TXT，或下载源文件到本机查看。3.6Wright系统介绍Wright体系结构描述语言用于描述软件系统的体系结构。它可以描述体系结构风格,系统族,体系结构实例和单个系统。在WrightT中，直接提供对计算构件和连接件的描述。连接件定义成具有所期望的模块间通信模式的协议。它允许模块交互的形式化定义，并支持自动检查和形式化推理。（1）实现关系与交互关系在系统设计级上，模块间的“实现”关系是指一个特定的模块在其他模块提
2、供的功能上定义。构件间的“交互”关系是指模块之间的通信，系统描述成一系列计算构件和构件间的连接。交互关系通常用Client/Server、管道过滤器组织或事件广播通信等术语描述。这些描述将构件看成独立的实体，它们之间可能有复杂的交互。在MIL中，模块的交互是基于实现的。Wright体系结构描述语言则是基于交互的。而基于实现关系和基于交互关系的系统描述有以下几点不同。①系统的推理方式。在实现关系中，推理具有层次性，模块的正确性依赖于正确使用其它模块。在交互关系中，模块逻辑上是相互独立的，模块的正确性独立于与其交互的其它模块。
3、②抽象要求。在实现关系中，编程语言（如过程调用和数据共享）的原语通常就足够了，它侧重于一个构件如何实现计算。交互关系包括不能由编程语言直接提供的抽象（例如管道、事件广播、Client/Server协议），它着重于计算是如何在整个系统中组合的，这样，使用了不同的和可能复杂的通信模式或协议。③一致性检查。对于实现关系，类型检查是判断模块的使用是否与其定义匹配；对于交互关系，主要检查协议是否被满足（如管道的读取是否在输入末尾之外，服务器是否在客户提出请求之前初始化）。（2）体系结构描述的推理体系结构描述语言的一个重要性质就是提供
4、对软件系统描述推理的能力。在体系结构连接中,对端口和角色的一致性判断是体系结构描述语言的一个重要内容。一致性检查就是对端口和任务协议的一致性检测。例如,上节中的Split端口并不使用Pipe任务所提供的所有功能。类似的还有，在管道过滤器风格中，如果将管道的任一端连接到文件，虽然文件同时支持读和写,但管道只支持其中一个。体系结构描述语言还要进行一些特定的正确性自动检测。在Wright中，描述分为两部分:协议(用CSP进程表示)和协议轨迹预测的说明。它使用现存的工具(FDR)来进行Wright描述上的自动一致性检测。（3）Wr
5、ight语言的描述作为一种体系结构描述语言,Wright是根据构件、连接件和配置等基本体系结构元素的抽象而构造的。Wright为这些元素提供了关键字,把构件作为计算部件,把连接件形式化为交互模式。如上节的Captalize系统是由管道过滤器风格构造的系统。它从系统输入读取一个字符流,并输出把每个字符转换成大写字母的字符流。为了达到这个要求,需要使用4个构件：分离过滤器(Split)、大写转换器(UpperCase)、小写转换器（LowerCase）和字符合并器(Merge)。各构件间用连接件连接。在分离过滤器中,输入流被分
6、割成两个流。这两个流经过大小写转换器并通过字符合并器重新合并,然后输出。字符流通过管道从一个构件传送到另一个构件。(1)构件一个构件描述了一个本地化、独立的计算。在Wright中,对构件的描述包括两个方面：接口(Interface)和计算(Computation)。接口由多个端口(Port)组成。每个端口表示构件参与的一种交互。对计算部分的描述说明了构件的行为。构件执行有端口描述的交互行为,并且展示了这些构件如何组成一个完整的系统。一个用于定义构件端口的描述说明了构件两个方面的内容。①端口描述了构件的部分行为。从这种观点看
7、,端口说明了构件所必须具备的与外部环境交互的属性。实际上,端口成为构件的部分说明，而计算提供了构件行为的更完整的描述。②端口表示了与系统交互的构件的期望。分离过滤器期望可以从输入中读入数据,直到数据结束。在分离过滤器中,请注意每个端口描述是如何告诉我们计算信息的。输入(Input)端口说明了数据是如何读入的,每个左(Left)端口和右(Right)都说明了输出行为的一部分信息。然而,端口的描述并没有构成整个计算的描述。这些端口不能联系不同端口上的行为。在Wright中,计算本身是完全描述的,这将作为分析构件属性的基础;端口
8、的目的在于对构件交互的分析进行结构化,并且提供附加的抽象。构件的规格说明如下所示：表3-2Wright构件描述的结构ComponentCompNamePortport1[port1specificationhere……]Portport2[port2specificationhere……]．．．Comp
