DCI架构是什么?

DCI是数据Data 场景Context 交互Interactions的简称,DCI是一种特别关注行为的模式(可以对应GoF行为模式),而MVC模式是一种结构性模式,MVC模式由于结构化,而可能忽视了行为事件。我在javascript事件总线一文中也谈过这个问题,Javascript这种函数式functional语言能够帮助我们更加注重行为事件。

DCI可以说是函数式functional编程比如Scala带来的一个理念,The DCI Architecture: A New Vision of Object-Oriented Programming一文(以下简称DCI Architecture)从OO思想根源来深入解剖DCI对传统面向对象的颠覆。

DCI可以使用Scala的traits方便实现,Java中可以使用AOP中的Mixin来实现,也是一种面向组合编程,这点DDD领域驱动框架Qi4j做得比较好。忘记Scala,Qi4J是下一个 Java?

DCI Architecture认为传统MVC只是表达了用户界面交互中的结构,而没有表达交互行为:

它以字处理器中拼音检查为例,拼音检查这个行为功能放在哪里?是dictionary 还是一个全局的拼音检查器呢?无论放在哪个对象内部,都显得和这个对象内聚性不高,由此带来多个调用拼音检查行为对象之间的协作耦合,在DDD中,好像认为这种情况是使用Service服务来实现;在SOA看来,拼音检查属于一种规则,可由规则引擎实现,服务整合流程和规则。

DCI架构则不同于DDD这种有些折扣的处理方法,而是思路复位,重新考虑架构,从对象的数据object Data, 对象之间的协作the Collaborations between objects, 和表达需求用例中操作者角色之间的交互这三个出发点来考虑。个人感觉又把桥模式演习了一遍,其实Qi4j代表的Composer组合模式或Mixin不就是在运行时,把对象以前没有的行为给注射进入,达到根据运行需求搭桥组合的目的。

DCI Architecture也总结了算法和对象的关系,这点在Jdon也曾经热烈讨论过,按照OO思想,应该把算法切分塞进对象中,Eric在DDD一书中也阐述过,不要因为大量算法实现(属于“做什么”),而忽视了“是什么”,我也在函数式编程functional programming的特点 中进行了复述。

当然,算法派还是相当不甘心的,这次总算凭借Scala等函数式语言进行了一次“反扑”,哈哈,DCI Architecture从交互行为入手,提出了如果算法横跨多个对象,不能被切割怎么办呢?这个问题表面上好像提得很好,那么过去我们是怎么解决呢?在SOA中,这种算法被表达为流程 工作流或规则,通过服务来进行聚合(也是一种Composer),所以,是不是可以认为DCI架构是SOA架构的另外一个翻版?

DCI Architecture认为:数据模型data model, 角色模型role model, 协作交互模型collaboration model(算法属于 协作交互模型)应该是程序语言核心关心点,应该在语言层次关注这三个方面。大概这是和SOA区别所在,传统观点:语言一般低于架构,当然,语言和架构遵循水涨船高准则。

DCI Architecture是怎么认为数据模型呢?它认为模型应该是哑的,也就是静止的,所以才叫数据性对象。这个我应该不能认同,如果是这样,数据模型实际上就是失血贫血模式了,只有setter/getter方法的数据模型。

DCI Architecture那么认为角色模式是什么呢?感觉其说得不是很明白,因为它用代码案例来表达,这种从抽象直接跳到具化的思维方式我不是很喜欢,感觉逻辑上无法前后一致,因为对具体实例的逻辑解释有很多。

在两个账户之间转账,DCI Architecture认为在我们一般人脑海中,转账这个模式是独立于账户的一个模型,它应该属于一种交互interaction模型。 由此引入了roles角色模型,正如对象表达它是什么,而角色表达的是有关对象做的一系列行为结合。

角色模型之所以对于我们如此陌生,因为我们以前的OO思维是来自OO程序,而以前的所谓OO程序包括Java/C都缺乏对角色模型的支持。角色介入混合的交互模型其实不是新概念,过去称为algorithms算法(和我们通常数学算法概念有些区别)。

当然我们可以将这些交互行为按照对象边界划分办法细分到一个个对象中去,不幸的是,对象边界本身划分实际上意味着它已经代表一些东西,比如领域知识。目前很少有这方面的建模知识:将算法逐步精化细分到正好匹配数据模型的粒度(然后就可以装到数据模型中,成为其方法了)。如果算法不能精化细分,那么我们就把算法整个装到一个对象中去,这样可能将算法中涉及到其他对象和当前对象耦合,比如上面转账这个算法,如果整合到账户Account模型中,因为转账涉及到其他账户和money对象,那么就将因为行为操作带来的耦合带到当前账户对象中了;当然,如果算法可以精化细分,那么我们把它切分到几个部分,封装成几个对象的方法,这些方法都是无法表达算法算法高内聚性的琐碎小方法,可谓面目全非,实际上,我们过去就是这么干的。

角色提供了和用户相关的自然的边界,以转账为例子,我们实际谈论的是钞票转移,以及源账户和目标账户的角色,算法(用例 角色行为集合)应该是这样:
1.账户拥有人选择从一个账户到另外一个账户的钞票转移。
2.系统显示有效账户
3.用户选择源账户
4.系统显示存在的有效账户
5.账户拥有人选择目标账户。
6.系统需要数额
7.账户拥有人输入数额
8.钞票转移 账户进行中(确认金额 修改账户等操作)

设计者的工作就是把这个用例转化为类似交易的算法,如下:
1.源账户开始交易事务
2.源账户确认余额可用
3.源账户减少其帐目
4.源账户请求目标账户增加其帐目
5.源账户请求目标账户更新其日志log
6.源账户结束交易事务
7.源账户显示给账户拥有人转账成功。

代码如下:


template <class ConcreteAccountType>
class TransferMoneySourceAccount: public MoneySource
{
private:
ConcreteDerived *const self() {
return static_cast<ConcreteDerived*>(this);
}
void transferTo(Currency amount) {
// This code is reviewable and
// meaningfully testable with stubs!
beginTransaction();
if (self()->availableBalance() < amount) {
endTransaction();
throw InsufficientFunds();
} else {
self()->decreaseBalance(amount);
recipient()->increaseBalance (amount);
self()->updateLog(
"Transfer Out", DateTime(),
amount);
recipient()->updateLog(
"Transfer In",
DateTime(), amount);
}
gui->displayScreen(SUCCESS_DEPOSIT_SCREEN);
endTransaction();
}

以上几乎涵盖了用例的所有需求,而且易懂,能够真正表达用户需求心理真正想要的。这称为methodful role

角色role体现了一种通用抽象的算法,他们没有血肉,并不能真正做任何事情。在某些时候这一切归结为那些表现领域模型的对象。 数据模型表达的“是什么 what-the-system-is”,那么有一个bank和子对象集合account, 而算法表达的“做什么what-the-system-does”则是在两个账户之间转移钞票。

到这里,我有一个疑惑,我们倡导DSL,是希望把“是什么”和“怎么做”分离,这里“做什么”和“怎么做”是不同含义吗?我过去认为算法属于怎么做,属于实现部分,但DCI Architecture却认为它属于“做什么”部分,看来对算法定义不同,算法如果是数学算法规则公式,应该属于“怎么做”(使用算法实现),如果算法属于用户角色的行为,那倒是属于“做什么”问题,但是在DDD中,我们认为“做什么”应该属于“是什么”的一部分,DCI Architecture将其分离。

为什么分离?因为“做什么”和具体用户角色有关,通俗讲,可以看成是人和物相互交互的结果,是一种用例场景,人和物可能有各种交互场景,这就成为Context,是 Use Case scenario的Context。

看来,DCI Architecture是将“是什么”和“做什么”进行分离,然后根据需求在不同场景动态结合,还是桥模式的味道。

待续...



[该贴被banq于2010-01-08 11:15修改过]

上贴总算搞明白: DCI Architecture “是什么”问题,哈哈,有点绕人,DCI Architecture自己也是有关“是什么”的。

DCI Architecture一文下半部就是如何实现它的架构思想,是关于“怎么做”的了,建议传统语言在编译时,就将角色的行为或算法混合Mixin到数据模型类中,这是典型的AOP思想。

下图就是DCI Architecture架构把MVC模式肢解,将C和V用对应的Context来替代。

这样,DCI架构真正含义可以归结如下:
1.数据data:是领域对象中代表领域类概念的那部分。
2.场景context:根据运行时即时调用,将活的对象实例带到符合用例需求的场景中
3.交互interactions, 描述需求用户心目中角色的活动算法。

就象上图中,把场景Context看成是一张表,角色行为作为横行加入,而数据模型作为纵行加入。

具体实现,可以在运行时,通过动态反射将业务逻辑行为注射到领域模型对象中,动态语言比较方便,C++ 和 C使用pre-load预加载,Scala使用hybrid 混合,DCI Architecture一文没有提到AOP,可以使用AOP中静态weave方式混合,现在javassit等动态代理框架都支持静态weave,包括AspectJ/Spring,在编译时就将业务行为注射到模型中。

DCI Architecture一文接下来详细介绍了Scala中的traits 是如何实现这一注射的。traits 能够让方法在程序运行时注射到一个对象实例中:


trait TransferMoneySourceAccount extends SourceAccount {
this: Account =>

// This code is reviewable and testable!
def transferTo(amount: Currency) {
beginTransaction()
if (availableBalance < amount) {
. . . .
}
}

. . . .
//通过下面特别的对象创建方式生成符合用例的源账户和目标账户
val source = new SavingsAccount with TransferMoneySourceAccount
val destination = new CheckingAccount with TransferMoneyDestinationAccount

个人思考:在代码编译时混合注射已经不是新鲜方式,Spring2.0开始已经可以做到,Scala以一种更易懂代码方式实现,现在需要思考:我们这样做的目的是什么?就是实现Context场景混合,说白了,就是到用户现场烧菜。

条条大路通罗马,为实现这一目标,我们可以采取另外一种方式,用户现场的本质是什么?用户现场为什么是活的,Context为什么是活的?因为用户的动作,动作引发事件,因此,事件模式可能是Context的本质。

如果是这样,只要我们遵循事件编程模型如EDA架构,也许也能实现DCI架构?比如通过Domain Events来激活角色行为:

账户拥有人操作自己的账户(领域模型),这个账户领域模型发出事件,驱动目标账户进行帐目更新,最后返回给账户拥有人,转账成功。

绕了半天,什么OO,什么算法,用事件模式就搞定了?

相关帖子:
Akka介绍

[该贴被banq于2010-01-08 15:19修改过]

看了一遍,说实话是一点没有看明白。
但隐约看到了我这两天正在思考的问题。
先回一下,再看他个几遍,搞搞明白是不是解决了我正在想的问题。

2010年01月18日 13:36 "poren"的内容
搞搞明白是不是解决了我正在想的问题

明白DCI架构,需要纠正以前OO被语言技术误导的思维,重新重新从角色职责和场景的角度来考虑:

对象的职责

DCI架构的本质
[该贴被banq于2010-03-17 13:24修改过]

有点迷糊,不知道是不是我所理解的这个意思:实体还是那个实体,只有属性(或者说是数据),至于这个实体能做什么,得到实际用到它的时候将它的行为注入。

看不太懂,看来我的功力还不够,觉得还是要多看几遍。

看到那个methodful role的代码,我惊醒了,原来还可以用泛型编程代替接口编程,而且在灵活性还大大增强了,真是受教了
[该贴被layzerar于2010-11-19 14:52修改过]

我还是个学生,在学校授课的时候,总是先交的语言,在教语言的时候被告知这个语言是一种面向对象的语言,然后语言学完了再教面向对象,这是个错误也说不定。

确实,是先有实体没错,然后我们能从实体中分析出他的属性和行为。

但是,我还有点迷惑:
所谓的面向对象不就是参照现实的对象模型,来进行建模,方便理解我们解题的思维吗?
那么,对于我之前在扩展继承那个帖子上的建模问题,用户、角色不是实体么,这不叫OO么,还是说其实我应该瞄准具体的业务去分析业务模型呢?

TO layzerar
若果你只是考虑建立参照现实的对象模型,那么请注意了,在你的理解中“实体中分析出他的属性和行为”,行为变成只是一个名词,只是一个描述,所以,你所表达的就变成全静态了。你的思想还是停留在“什么东西能干什么”阶段。“能”这个字,看起来貌似挺合理,但它却把行为和类死死地绑在一起。

设计师们,最希望就是任何地方都可以设计,以达到灵活。而DCI正好提供一个“个性------=------共性”的调轴,让我们自由去调整。

所谓的面向对象,不单单是对象模型,还有对象间的交互。交互永远不可能是一个名词那么简单。

说的我有点明白了。

也就是说,对象模型是静态的,它不足以表现出业务;
我们需要在这个基础上,再对业务行为的更深层次的抽象;
也就是说,对象不一定都对应实体,或者说不对应实体的对象才算是抽象分析的结果。

谢谢SpeedVan和banq的热血指导,来这里真是获益不浅
[该贴被layzerar于2010-11-21 15:59修改过]

banq, 不知道payframework属不属这个范畴?

每每当我感觉自己停滞不前了,就来Jdon论坛来逛一圈,总有收获,虽然有些地方看不懂,但至少说明我在看,在思考,比起以前的悠哉,真是很感谢板桥

这东西就不能用一种通俗的语言来表达吗?就是入门的例子也好啊!

2011年03月18日 15:28 "wq13480"的内容
这东西就不能用一种通俗的语言来表达吗?就是入门的例子也好啊 ...

演员的例子比较容易理解,我们将某个软件系统就看成是一场戏,戏由一段段场景组成(如京剧戏剧或话剧),每个场景实际就是用户的功能。场景这个事物外部是观众,或者说软件用户,场景这个事物内部有什么组成呢?场景=人(带有演员角色特征)+表演行为。

DCI(Data Context Interactions)中含义就是:Context=实体Data(带有角色特征) + 角色应具有的行为。

通过这种角色行为思路,可以让不同人表演不同角色,将人或Data和具体行为分离,因为很多行为不是人或Data实体本身具有的,比如我们在家是儿子,在单位是领导,正如 希拉里·克林顿说:我在单位是国务卿,在家是母亲(后半句是不过我认为母亲更应该是我的基本角色)。

在实际生活中,我们常说屁股决定脑袋:屁股位置变了,实际就是角色变了,在家和在单位你的屁股转移,担当的角色也会变,角色变,角度变,观点就不同,所以说屁股决定脑袋。软件分析中注重角色行为可谓抓住了本质。

使用DCI使得软件设计实现更加和需求一致,不至于失真,从而能让软件和需求变化保持一致,随变而变,变的过程中不至于走样,中间翻译过程越多,失真越厉害,比如用数据库来表达就是一种可能失真翻译,使用过多数学概念也是一种失真方式,这个话题延伸太多,不谈。

DCI是在DDD上面演化出来,可见我的PPT:
http://www.jdon.com/mda/DDD_DCI_CQRS.ppt



[该贴被admin于2011-04-07 15:26修改过]