将架构作为语言:一个故事英文原文:Architecture as Language: A story (作者:Markus V?lter,译者:张逸) 2008年4月16日 通常,架构要么是在Word文档中描述的一些软件系统中无形的、概念性的方面,要么就完全是由技术驱动的(“我们使用了一个XML架构”)。这两种方式都很糟糕:前者很难派上用场,而后者架构上的概念被技术宣传所掩盖。 什么才是好的表达?应该是随着架构的发展,演化出一门语言,让你得以从架构的角度来描述系统。根据我在多个真实项目中获得的经验,这种表达方式能够形象、无歧义地描述架构构建模块和具体系统,同时又不至于深入到技术决策的细节(技术决策应该有意识地放到另一个单独的步骤中)。 本篇论文的第一部分通过一个真实故事演示了这一思想。第二部分则总结了这一方法的关键点。 一个故事 系统背景 我正与一位客户在一起,他是我负责定期咨询工作中的其中一位客户。客户决定构建一个全新的航空管理系统。航空公司使用该系统跟踪和发布不同的信息,如:飞机是否降落在指定的机场;航班是否延迟;飞机的技术状态等等。系统同时还要为Internet的在线跟踪系统以及在机场等地设置的信息监控器提供数据。无论从哪个方面来看,该系统都属于一个典型的分布式系统,系统的各个部分分别运行在不同的机器上。它有一个中央数据中心负责处理繁重的数字运算,还有其他机器分布放置在相对广阔的区域中。多年来,我的客户一直在构建类似这样的系统,现在他们计划引入新一代的系统。新系统必须能够支持15-20年时间的演进。单单从这一项需求就可以清楚地看出,他们需要对技术进行某种抽象,因为在这15-20年期间可能要经历8次技术潮流的变迁。对技术进行抽象还有另一个重要的理由,那就是系统的不同部分采用了不同的技术来构建,有Java,C++,C#。采用多种技术对于大型分布式系统而言并非特殊的需求。通常,我们会在后端使用Java技术,而在Windows前端使用.NET技术。 由于系统的分布式本质,不可能在同一时间更新系统的所有组成部分。这就产生了另一项需求,就是能够一部分一部分地更新该系统。这就反过来要求能够管理不同系统组件之间的版本冲突问题(确保组件A在组件B被升级到一个新的版本之后,仍然能够与之协作)。 起点 在我进入项目的时候,他们已经决定系统的主干应该是一个基于消息传递的基础架构(对于这类系统而言,这是一个不错的决策),并且他们评估了不同的消息传递主干在性能和吞吐量方面的表现。他们已经确定了在整个系统中使用一个业务对象模型,对系统操作的数据进行描述(对于这类系统而言,这实际上不是一个好的决策,但它不影响这个故事的结论)。 因此,当我进入项目后,他们向我简要地介绍了系统的所有细节,以及他们已经做出的架构决策,然后询问我这些决策是否正确。但是我很快就发现,虽然他们了解了很多需求,也已经在架构的某些方面做出了细致的决策,但是却没有形成我所说的一致的架构(consistent architecture):即对组成实际系统构建模块的定义,也就是定义系统中的各种事物。他们没有掌握谈论这个系统的语言。 实际上,这只是我进入项目时的一个初步印象。当然,我认为该项目存在一个巨大的问题:如果你并不知道组成系统的各种事物,就很难一致地谈论和描述该系统,当然更无法一致地构建该系统。你需要定义一门语言。 背景:这门语言是什么? 当你拥有一门语言,并能够从架构的角度谈论系统时,你就拥有了一个一致的架构1。那么语言应该是什么样的呢?显然,它首先并且至少是一套定义良好的术语。定义良好首先意味着所有的利益相关者都要认同术语的含义。如果从非正式的角度来看,术语和术语的含义可能就足以定义一门语言了。 然而——这里可能显得有些突然——我一向鼓吹的是要用一门正式语言来描述架构2。要定义一门正式语言,你需要的不仅仅是术语和术语的含义。你还需要一种语法来描述如何通过这些术语组成“语句”(或者模型),同时需要一种具体的句法去表示它们3。 使用一门正式的语言来描述你的架构,会带来许多好处,随着故事的逐渐展开,这些好处也会展露无遗。同时,在本文的末尾我会对其进行总结。 发展出一门语言以描述架构 让我们继续这个故事。我的客户与我都同意值得花上一天的时间去审阅某些技术需求,并为架构建立一门正式语言来体现这些需求。实际上,我们一边讨论整个架构,一边构建出语法、某些约束以及一个编辑器(使用oAW的Xtext工具)。 开始 我们首先从组件的概念开始。我们对组件概念的定义是相对比较宽松的。它只是与架构相关的构建模块的最小单元,封装了应用程序的功能。同时,我们假定组件是能够被实例化的,以便使架构中的组件概念对应上OO编程中的类。因此,根据我们定义的初始语法,首先构建的模型应该是这样: component DelayCalculator {} 注意,在这里我们做了两件事情:我们首先定义了系统中存在组件的概念(使得组件成为我们要构建的系统的构建模块),其次我们还(初步)决定系统中存在三个组件DelayCalculator,InfoScreen和AircraftModule。我们为架构提出了一套构建模块,作为一个概念型的架构,并将这些构建模块的一套具体范本作为应用程序架构4。 接口 当然,上述关于组件的概念并无太大用处,因为组件无法交互。领域逻辑清晰地表明,DelayCalculator必须接收来自AircraftModules的消息,从而计算航班的延误状态,然后将结果转发给InfoScreens。我们知道,它们应该以某种方式交换信息(记住:已经作出了消息传递决策)。但是,我们决定不引入消息,而是将一组相关的消息抽象为接口5。 component DelayCalculator implements IDelayCalculator {} 我们认识到,上面的代码看起来有几分像是Java代码。无需惊讶,既然我的客户具有Java背景,那么系统的首选目标语言自然就是Java。因此,我们就要从他们习惯使用的语言中,抽取出广为人知的概念衍生为我们自己的语言。然而,我们很快注意到这样的表示方式没有太大用处:我们无法表示组件“使用了某个特定的接口(与提供接口相对)”。了解一个组件需要哪些接口是很重要的,因为我们希望能够了解(而且之后要用工具进行分析)组件具有的依赖关系。这对于任何一个系统都很重要,而对于版本管理的需求而言,则尤为重要。 因此,我们对语法稍加修改,支持如下的表达形式: component DelayCalculator { 描述系统 那么,我们来看看这些组件是如何被使用的。我们清晰地认识到组件需要支持实例化。很显然,系统中有许多架飞机,每架飞机都运行了一个AircraftModule组件,而InfoScreens的实例数量更多。不够明确的是我们是否需要多个DelayCalculators,但我们决定推迟对它的讨论,先处理实例化的问题。 因此,我们需要能够表示组件的实例化。 instance screen1: InfoScreen 接着,我们讨论了如何把系统的各实例“接上线”:如何表示某个InfoScreen与某个DelayCalculator“交谈”?我们必须找出某种方式来表示实例之间的关系。由于这两个类型各自具有了“可兼容”的接口,因此,DelayCalculator可以与InfoScreen“交谈”。但是暂时还难以把握这种“交谈”关系。我们还注意到一个DelayCalculator实例通常会与多个InfoScreen实例“对话”。因此,我们必须以某种方式在语言中引入下标来表示实例的个数。 经过几番修改,我引入了端口(Port)的概念(实际上在组件技术以及UML中,这是一个众所周知的概念,但是相对于我的客户而言,却是一个新名词)。端口是在组件类型上定义的一个通信端点,当拥有端口的组件被实例化时,端口也会一同被实例化。因此,我们对组件描述语言进行重构,以支持如下的表示形式。端口通过provides和requires关键字进行定义,紧接着是端口的名称和下标,一个冒号以及与端口相关联的接口。 component DelayCalculator { 以上模型表示,任何一个DelayCalculator实例都要连接多个InfoScreens。从DelayCalculator实现代码的角度来看,通过screen端口可以访问到一组InfoScreen。而AircraftModule则只能与一个DelayCalculator“对话”,正如下标[1]所示。 新的接口标识启发了我的客户对IDelayCalculator进行了修改,因为他们注意到对于不同的通信对象,应该有不同的接口(因此还应该有不同的端口)。我们对应用程序架构作出了如下修改: component DelayCalculator { 注意,端口的引入改善了应用程序架构,因为我们拥有了体现角色的接口(IAircraftStatus,IManagementConsole)。 现在,我们拥有了端口,因此我们能够命名通信端点。这就使得我们能够轻而易举地描绘出系统:互连的组件实例。注意,引入了新的结构connect。 instance dc: DelayCalculator 保持大局观 当然,从某种情况来看,为了不至于混淆所有的组件、实例和连接器(connectors),我们无疑需要引入某种命名空间的概念。自然,我们也可以将这些内容分别放到不同的文件中(工具支持保证了“转到定义”和“查找引用”仍然正常)。 namespace com.mycompany { 当然,将组件和接口的定义(本质上是类型的定义)与系统的定义(连接的实例)分开,是一个很好的想法,因次,我们如下定义了一个系统: namespace com.mycompany.test { 在一个真实的系统中,DelayCalculator必须能够在运行时动态地发现所有可用的InfoScreens。手动地描述这些连接是没有什么意义的。因此,我们需要继续前进。我们定义了一个查询,它可以采用naming/trader/lookup/registry的基础架构在运行时执行。每隔60秒,查询会被执行一次,查找任何上线的InfoScreens。 namespace com.mycompany.production { 可以使用相似的办法实现负载均衡或者容错能力。一个静态的连接器能够指向一个主要实例以及备份实例。或者,在当前使用的组件实例变为不可用时,可以重新执行一个动态查询。 为了支持实例的注册,我们在它们的定义中添加了额外的语法。一个registered的实例会在注册记录中使用自己的名称(通过命名空间识别)以及所有提供的接口,自动注册其本身。还可以指定额外的参数,如下的例子就为DelayCalculator注册了一个主要的实例和一个备份的实例。 namespace com.mycompany.datacenter { 第二部分,接口 至今我们仍然没有真正定义一个接口究竟是什么。我们知道,我们更愿意基于一个消息传递的基础架构来构建系统,因此,接口显然必须定义为消息的集合。于是就有了我们最初的想法:一组消息的集合,其中每条消息都有名称,以及一组类型化的参数。 interface IInfoScreen { 当然,同时还需要具备定义数据结构的能力。因此,我们添加了这样的内容: typedef long ID 在对接口进行了一段时间的讨论之后,我们现在注意到简单地将接口定义为一组消息还远远不够。我们希望做到的最小要求是能够定义消息的方向:它是流入端口还是流出端口?或者更一般地说,系统中存在哪些消息交互模式?我们识别出了好几个,这里是oneway和request-reply的范例: interface IAircraftStatus { 真的是消息吗? 我们对各种消息交互模式进行了长时间的讨论。显然,消息的其中一种核心用例就是将各种资源的状态更新发送到各个对其关注的部分。例如,如果航班因为飞机的一个技术问题而延误,则该信息就会被发送到系统的所有InfoScreens中。我们为一个确切状态项的“广播式”完整更新、增量更新、无效更新等方式建立了必需的几种消息原型。 然而,现实却给了我们沉重的打击:我们一直在一种错误的抽象中工作!虽然消息传递对于这些事项而言是一种适合的传输抽象,但我们真正谈论的其实应该是复制的数据结构(replicated data structures)。基本上,所有的这些结构都采用同样的方式工作:
当然,一旦我们了解到除了消息之外,系统还包括额外的核心的抽象,我们就应该将它添加到我们的架构语言中,并能够像下面所示的方式进行编写。我们定义了数据结构和复制项。然后,组件能够发布(publish)或者使用(consume)这些复制的数据结构。 struct FlightInfo { 毫无疑问,上面的描述比基于消息的描述更准确。系统能够自动地衍生出完整更新、增量更新和无效更新等需要的各种消息。这一描述同样清晰地反映了实际的架构意图:比起那种仅仅表达了我们希望如何去做(发送状态更新消息)的较低级的描述,新的描述方式更好的表达了我们希望做什么(复制状态)。 当然,我们还不能停下前进的脚步。现在,我们拥有了作为“头等公民”的状态复制,就能够为它的技术规范添加更多的信息: component DelayCalculator { 上例的意思是,只要底层的数据结构的内容发生改变,发布者就会发布复制的数据。然而,InfoScreen只需要每隔60秒进行一次更新(当它刚启动的时候,会对数据作一次完整的加载)。根据这一信息,我们能够产生出所有需要的消息,同时为参与者生成一个更新时间表。 更多内容? 在余下的讨论中,我们识别了架构的其他几个方面,并为它们添加了语言抽象:
结论 采用这种方法,我们能够快速地把握系统的整体架构。我们还因此能够区分开“希望系统做什么”和“系统如何实现它”:这样一来,技术层面的讨论仅仅属于为此处给出的概念性描述提供实现细节(当然是非常重要的实现细节)。我们明白无误地理解了不同术语所代表的含义,并给出了明确的定义。组件这一模糊的概念在这个系统中具有了正式的、明确界定的含义。 当然,它并没有到此为止。下一步要讨论的是如何为组件的实现进行编码,以及讨论系统的哪一部份可以被自动生成。更多内容参见下一节。 扼要总结&优势 我们做了什么 这种方法包括为项目或系统的概念性架构定义一门正式的语言。随着你对架构的深入理解,逐步发展了这门语言。因此,语言总是与你对架构完整而又明晰的理解相对应。随着我们对语言的增强,我们就能够使用该语言对应用程序架构进行描述。 背景:DSL 我们前面前面建立起来的语言是一种DSL——领域特定语言。以下是我对DSLs定义: DSL是一种目的明确的、可处理的语言,当我们在一个特定领域内构建系统时,可以用它来描述一个特定的关注点。它所使用的抽象与标识符号是为那些指定特定关注点的利益相关人定制的。 DSLs可以用来指定软件系统的各个方面。其中一大看点是使用DSL可以描述业务功能(例如,在保险系统中的计算规则)。DSL尤其在描述业务功能时倍显其价值所在,同样,也完全值得用DSL描述软件架构:正如我们在这里所做的那样。 因此,我们先前构建的架构语言——以及我在本篇论文中倡导的方法——其意义在于使用DSL技术去定义一种描述特定架构的DSL。 优势 参与的每个人都能清晰地理解用于描述系统的概念。提供清晰明确的词汇来描述应用程序。创建的模型可以被分析,并作为代码生成(如下所示)的基础被使用。架构总是与实现细节无关,或者换句话说:概念型架构与技术决策是解耦的,从而使得它们更加便于各自的演化发展。我们同样能够根据概念型架构定义一个清晰的编程模型(如何使用之前定义的所有架构特征对组件进行建模和编码)。最后,现在架构师就可以通过构建(或者帮助构建)团队其余成员实际能够使用的工件,直接为项目作出贡献。 为何使用文本形式? ……或者为什么不使用图形标识?文本型的DSLs有几大优势。首先是更加容易建立语言以及一个好的编辑器。其次,文本型的工件比图形化的模型库更加容易集成到现有的开发工具(CVS/SVN diff/merge)中。第三,文本型的DSLs通常更容易被开发者接受,因为“真正的开发人员不画图”。 如果对于系统的某些方面,图形标识有助于看清楚架构元素之间的关系,你可以使用类似于Graphviz或者Prefuse之类的工具。既然模型以一种清晰而又干净的形式包含了相关的数据,我们就可以轻易的将模型数据导出成GraphViz或者Prefuse工具能够阅读的形式。 工具 要使得前面介绍的方法具有可行性,你需要用工具来支持DSLs的高效定义。我们使用了openArchitectureWare的Xtext。Xtext能够为你完成如下事情:
经过一点实践就可以掌握Xtext,它真正让你能够按照自己对架构细节的理解和架构决策来设计语言。自行订制代码完成功能可能需要比较长的时间,但是你可以在对语言的摸索告一段落的时候再做这件事。 验证模型 如果我们要正式而且准确的描述一个架构,除了语法,我们还需要实施验证规则,对模型进行约束。简单的例子比如典型的名称唯一性约束、类型检查或非空检查。要表示这些(相对的)局部约束,可以直接使用OCL或者类似于OCL的语言。 但是,我们还需要验证更加复杂,而且不那么局部的约束。例如,在前面介绍的故事里,约束会检查组件和接口的新版本是否与它们的旧版本实际上是兼容的,因此可以用在相同的上下文中。要能够实现这样重要的约束,有两个前置条件是非常必要的:
生成代码 从本篇论文中可以逐渐清晰地了解到,发展架构的DSL(以及使用DSL)的关键优势在于:清晰无误地理解概念,并正式地定义它们。它有助于你理解你的系统,以及去除那些不必要的技术干扰。 当然,现在我们已经拥有了一个概念型架构的正式模型,以及我们正在构建的系统的正式描述(使用语言定义的语句(或模型)),我们将利用它获得更多的好处:
当然,为多种目标语言生成API(支持用多种语言来实现组件)以及/或者为多个目标平台(支持在不同中间件平台执行相同的组件)生成胶合代码都是完全可行的。这就很好地支持了可能的多平台的需求,同时也提供了一种方法使得基础架构能够随着时间的推移扩展规模,或者进行演化。 另一个值得注意的是,你通常应该分为几个阶段来生成代码:第一个阶段是使用类型定义(组件、数据结构、接口)去生成API代码,这样你才能对实现进行编码。第二个阶段是生成胶合代码以及系统配置代码。最后,将类型定义从模型中的系统定义分离出来,这是一种明智的做法:因为在整个过程中,它们会在不同的时刻被使用,而且通常会被不同的人创建、修改与处理。 总的说来,生成的代码支持有效的、独立于技术的实现,能够隐藏大多数潜在的技术复杂性,从而使得开发更加高效。 如何比较它与ADLs和UML 用正式的语言描述架构并非一个新的想法。各个社区都推荐使用架构描述语言(ADLs)或者统一建模语言(UML)描述架构。有的甚至可以(试图)从结果模型中生成代码。但是,所有这些方法都主张使用现有的通用语言来记录架构(虽然有一些语言能够被定制化,包括UML)。 然而(你可能从上述的故事中看出端倪)这完全忽略了重点!我并没有看到这种将架构描述硬塞到预定义/标准化语言提供的(通常是非常有限的)结构中,会带来多少好处。在本篇论文所阐释的方法中,其中一个核心活动是实际构建你自己的语言去捕捉系统的概念型架构的过程。让你的架构适配于ADL或者UML提供的不多的概念,对架构设计并无多大帮助。 关于UML Profile:是的,你可以把前面介绍的方法用在UML上面,建立一个UML Profile,而不是文本型语言。我在好多个项目中采用了这个方法,得到的结论是它在大多数环境下工作得并不好。原因如下:
为什么不直接使用编程语言 架构的抽象,例如消息或组件在现今的第3代编程语言中,并非“头等公民”。当然,你可以使用类来表示它们。使用注解(也称为特性),你甚至可以关联元数据与类和类的其他内容(操作、字段)。因此,你总是可以使用第三代语言来表示这些内容的。但是,这种方法存在问题:
我对组件的观点 对于什么是组件存在着许多种(或正式或非正式)定义。从软件系统的构建模块,到有显式定义的上下文依赖关系的物件,到包含了业务逻辑并运行在容器中的物体,都可以称之为组件。 我的理解为(注意,我并不是说我提出了一个真正的定义)组件是最小的架构构建模块。在定义系统的架构时,无需关注组件的内部。组件必须以声明方式指定它们与架构相关的属性(即以元数据或模型的方式指定)。因此,组件可以通过工具进行分析和组合。通常,它们都运行在容器中,而容器则体现为框架,处理着元数据中与运行时相关的部分。容器在哪个层次上提供技术服务(日志、监控、故障转移等),那就是组件的边界。 对于组件实际包含的元数据(以及元数据描述了什么属性),我并无任何具体的要求。我认为,组件的具体概念必须针对每个(系统/平台/产品类型)架构来定义。而这实际上也是我们在前面介绍的通过语言方式所要做到的。 组件实现 默认情况下,组件的实现都是手动完成的。实现代码可以针对之前介绍的生成的API代码来编写。要想在组件的骨架中增加手工编写的代码,开发者可以直接将代码添加到生成的类中,或者——更好的方式是——使用组合例如继承或者局部类(partial classes)。 还有其他替代方法可以实现组件,它们不使用第3代编程语言,而是针对需要描述的行为采用专门的形式化手段。
同样可以使用动作语义语言(ASLs,Action Semantics Languages)作为替代的方法。但是,需要指明的重要一点是,该语言没有提供领域特定抽象,而是采用与通用建模语言例如UML相同的方式。然而,即使你使用了更特定的标记法,仍然免不了需要泛化地指定小个片段的行为。一个很好的范例就是在状态机中的动作。 为了有效地结合用组件概念来定义行为的各种方法,可以使用元层次的子类化手段去定义各种组件,让每个组件都有自己的一组表示法去定义行为。下图说明了这一原理。 既然从技术上讲,组件实现就是与行为有关,因此通常来说使用封装在组件内部的解释器是有效的。 最后,值得一提的是,我们要认识到本节讨论的内容只涵盖应用程序特定的行为,而不是指所有的实现代码。大量的实现代码都与应用程序的技术基础架构息息相关——远程处理、持久化、工作流等——而它们都可以从架构模型衍生出来。 模式的角色 在今天的软件工程实践中,模式是相当重要的一部分。对于重复出现的问题,模式是一种经过验证的有效解决方案,模式的适用性、利弊和后果都是经过检验的。那么,模式在前面描述的方法中,又扮演了怎样的角色呢?
在谈到DSLs、代码生成以及模式时,需要提及的是你不能完全地自动化模式!一个模式并不是只包含UML图表的解决方案。在模式的定义中有很大的篇幅用来解释模式受到哪些力量的影响,何时可以应用模式何时不应该应用模式,以及使用模式会带来何种结果。模式的文档中通常还会记录下模式的多种变体,每种变体都各有不同的优势与缺点。如果环境有特殊之处,开发人员在实现模式的时候必须将之考虑在内,对它们进行评估,相应作出决策。 哪些内容需要记入文档? 我一直在鼓吹上述方法可以作为正式描述系统概念与应用程序架构的一种方法。因此,就意味着它起到了某种文档的作用,对吗? 是的,但这并不意味着你不需要将其他任何内容纳入文档。下列内容仍然需要编档:
架构还有许多方面可能值得我们去编档,但上述两点是其中最重要的。 进一步阅读 如果你喜欢本篇论文所阐释的方法,你可能需要阅读我整理的架构模式。它们延续了本文的模式话题,并为本文介绍的内容提供了理论基础。这篇论文虽然有点旧,但是本质上论述的话题仍然是相同的。可以通过如下地址获得http://www./data/pub/ArchitecturePatterns.pdf。 另外一个值得了解的内容是领域特定语言和模型驱动软件开发的完整知识。我撰写了许多关于这方面的文章,最主要的,我还是《模型驱动软件开发》一书的合作者——从中你可以了解到关于技术、工程学、管理学的内容。更多信息请访问:http://www./publications/books-mdsd-en.html。 当然,通常情况下你还需要了解关于Eclipse建模、openArchitectureWare和Xtext的更多细节内容。在eclipse.org/gmt/oaw上可以访问到许多相关的信息,包括官方的oAW文档以及大量的入门视频。 致谢 我要感谢Iris Groher、Alex Chatziparaskewas、Axel Uhl、Michael Kircher、Tom Quas和Stefan Tilkov,感谢他们对本篇论文的前一个版本提出的精彩评论。 关于作者 Markus V?lter是一名独立的咨询师,软件技术和软件工程的指导教练。他专注于软件架构、模型驱动软件开发与领域特定语言以及产品线工程(product line engineering)。Markus就中间件和模型驱动软件开发领域(合作)撰写了多篇杂志文章、书籍以及提出了多种模式。他经常在各种世界大会上发表演讲。你可以给他发送邮件voelter@acm.org,或者访问www.与他取得联系。 |
|