顺序内聚指一个模块中各个处理元素都密切相关于同一功能且必须
顺序执行,前一功能元素的输出就是下一功能元素的输入。
创建错误
正如同
耦合(coupling)一样,内聚(cohesion)对于
分布式对象与服务来说仍然重要。例如,如果你仅仅因为一组方法具有相似的实现就把它们放在一个对象里,那么你将犯“创建逻辑内聚对象(logically cohesive object)”的错误。
分布式对象争论
考虑到向“新的”计算方式的转变常常伴随着对旧的方式的直接批评,所以如今对SOA的关注引起对
分布式对象的激烈反对并不出乎意料。不幸的是,其实许多适合
分布式对象系统的质量标准也同样适用于分布式服务与SOA。因此,有些人为了顺应潮流而被迫忽略它们是十分遗憾的。不过,也许不要紧,因为我们可以直接追溯到对象之前的时期,搞清楚像耦合和内聚这样的度量标准,并重新运用它们。
软件工程实践
这在近年来也许已经不怎么被注意了,直到Jim Webber最近写了一篇关于“
贫血的服务模型(Anemic Service Model)”的文章。Jim简述了过去对良好的软件工程实践的讨论,他说的一些话跟 Steve 先前的非常相似:
有些软件是
高内聚、
紧耦合的。这意味着,尽管它经过合理的设计,但由于存在紧密的相互依赖关系,所以不容易被修改。那是很糟糕的;而且很不幸地是,这在企业应用中很常见。还记得若干年前的确给你留下深刻印象,但如今维护起来却令你痛苦不堪的软件吗?原因就在于它是
紧耦合的。
松耦合、低内聚的软件是另一种糟糕的软件。这意味着模块之间少有明显的相互依赖;但是,没有一个模块是在系统中某方面处于权威地位的。这进而造成需用“散弹法(scattergun approach)”来解决持续的系统演化,因为即使很小的改动也会波及多个组件或系统。也就是我们今天所认识到的SOA。低内聚导致难以阅读代码、维护、测试和复用。
接着,该文继续讨论SOA思想完全与这一状况相悖:
一方面,我们倾向于(而且确实在SOA那帮人的怂恿之下)认为这种架构是非常符合目标的,因为它是极度
松耦合的。既然每个组件或服务都与其他别的组件或服务没有耦合,那么应该可以像玩
乐高积木那样、按无数种方式来组织或调整它们。书上教我们用一组基础服务来构建“业务服务(business services)”。事实上,我们甚至可以用BPM工具“选择-点击”来轻而易举地达到那个目标,从而避免了如开发者与一直伴随左右的变更管理这样的开销。是吗?
不。实际上根本不是。[……] 这是对架构的幻想,在真实世界的企业系统里是不可能的。实际上,一个不解决业务问题的服务根本没有资格进入SOA。
实质性争论
现在这篇文章吸引了不少值得注意的评论。然而,由这篇文章引发的实质性争论已蔓延到了别处, 尤其是Jean-Jacques Dubray的回应:
嗯,有人一直试图单枪匹马地用一种“面向其他架构(Something Else Oriented Architecture)”来推翻SOA,那就是MEST支持者Jim Webber。[……] 我觉得他这篇文章纯属误导。也许有些地方我理解不当,但Jim说的是内聚与
松耦合的关系。[……] 在我看来,内聚(cohesion)听起来是个不错的工程原则,它很像“依赖结构矩阵(Dependency Structure Matrix)”。[……]
松耦合(loose coupling)的目标正是降低内聚。一个互联的(connected)系统是不存在内聚的。内聚和耦合不可能同时存在。即使在英语里,把这两个词联系在一起也是很糟糕的。
松耦合的目标,是使得在不同时间、用不同技术、具有不同安全模型的代码片断可以一同工作。
SOA是要远离内聚的系统、转而支持更广泛的重用场景。多层内聚的系统提供“多层”(像库一样的)重用模型:上层可以重用下层。不幸的是,它强迫我们以一种与理想的
信息系统架构不兼容的方式来创建系统。问题出在内聚,而解决之道在于
松耦合。Jim,你真以为人们都在试图“把东西放在一个模块里”吗?
Jean-Jacques提出,尽管内聚是一个被充分理解的
软件工程原则,不过它跟“当代”SOA并不相关:
有些人老拿他们5年前形成的观念来看“SOA”,而那只是被他们自己错误理解的SOA,这种情形让我觉得越来越不愉快。Jim所展现的是一幅陈旧的、并不能代表2008年的SOA的情景。
现代松耦合概念
之后,Jean-Jacques 又继续讨论了Steve最初那篇文章:
……对于服务的接口与实现设计,内聚(cohesion)完全是一种没有必要的约束,它实际上会降低一个服务的重用程度、并减弱它参与不同组装的能力。也许我们该对现代
松耦合的概念作一些了解了,比如:双向接口(bi-directional interfaces)、组装(assemblies)、编制语言(orchestration languages)、可扩展及语义可达的
数据结构(extensible and semantically accessible data structures)。过去设计出那些古老的
编程技巧,就是因为编程模型里没有这些概念。