DCIの疑問点をまとめる
以下勉強会(DCI hansei meetup)用のメモです。
自分の立場
問題意識は理解できる。しかしこの問題は以前から理解されていたものであり、それぞれの方法論等で常に問題になっているものである。DCIで解決策として示されているものが、それ以外の方法に比べて特にすぐれているとは思えない。
DCIに関する自分の理解
コンテキスト
ユーザーとの相互作用があるソフトウェアをつくる際には、ユーザの意図とソフトウェアの内部で起きていることを同期させる必要がある。具体的にはGUIアプリケーションの構築時など。
DCIが解決しようとしている問題
従来のMVVの道具(オブジェクト指向の道具)では、、いろいろな不具合がある!
ユーザのメンタルモデルをソフトウェアが表現できていない。
オブジェクト指向の道具(クラス、インスタンス、インスタンス間で交換されるメッセージ)では、メンタルモデルの構造を表現すのには向いているが、「振る舞い」を正しくマッピングできない。
複数の小さなオブジェクトが分担してアルゴリズムを実行するというモデルはユーザのメンタルモデルから乖離し風雑さを増している。(余談ですがアルゴリズムという言い方は(ビジネスロジックという言い方より明確でいいですね))
どのオブジェクトが振る舞いのどの部分を分担するのかは常に明確じゃない。(新人研修のころ「サイコロ」をモデル化するために、「人間がサイコロを振る」「サイコロが転がる」のか一日論争になった記憶がよみがえります)
継承の問題点もろもろ
良くある話なので割愛
データモデルは安定し、アルゴリズムは安定しない。
したがってドメインクラスはデータの処理をおこなってはならない
ちなみに元の論文ではモデルの肥大化については特に語っていません。(間接的には関係あると思いますが)
フォース
と、Trygve Reenskaug氏とJames O. Coplien氏 は考えている
この矛盾したフォースを調和させるために、、
ここから俺の疑問です
実現手段としての「トレイト」の問題点
メンタルモデルとドメインモデルの乖離問題はよくわかる。しかし、そこで問題となるのは振る舞いとデータの乖離ではなく、粒度ではないのか。(トレイトでは解決しないのでは)
例えば論文のサンプルにあった預金口座オブジェクトに対応するデータ構造はふつうの銀行関連アプリケーションにはないだろう 。通常はトランザクションや監査ログなどの細かいデータの集合として実現される(論文でも触れていますが)
トレイトとしてロールを表現する場合、対象となるデータオブジェクトに対して振る舞いを組み込むのみ。メソッドが増えたり減ったりするのみ。 粒度の違いについては解決しない。
上記の例だと口座を構成する複数のデータのうちどれにロール被せればいいのかわからない。
問題を記述するには細かすぎるオブジェクトを集約して大きな粒度であつかう技法が必要なのでは
- アダプタやサービス、ファサードを使った間接層をはさむとか
- 集約ルートを使ってデータ(的)オブジェクトよりは大きな単位で処理を記述するとか
- SQLアンチパターンではActiveRecordを持つドメインモデルを導入(永続データと処理を行なうオブジェクトの分離)
- OOSEにおけるBCEも少し関係するかも
上記方式ではなく、トレイトを使うとオブジェクトの同一性が保たれるのがメリットとされるが、なぜメリットなのかよくわからない。
※振る舞いの再利用手段としてのトレイトは否定しません。たとえば、永続化機能がないドメインオブジェクトにActiveRecordトレイトを組み込むとか、そういう用途に便利そう。
データオブジェクトがコンテキスト共通であるという誤解
特定にコンテキストしか使わないデータオブジェクトというのは確実に存在する(つまりデータのレベルでもコンテキストに依存するものがある)
結局データの階層がシステムでもっともロバストだというのは幻想である。データの中にもシステム共通のもの、それぞれのコンテキスト依存のものがあり、保守のライフサイクルが異なるはず。ライフサイクルが異なるものはパッケージやレイヤなどで分離した方がいい。
またドメインモデル、データモデルの段階でロールっぽいものを抽出する方法論も存在する。データだからコンテキスト共通ということはない。。
例:
- UML in Color (Peter Coad)におけるロール
- ドメインモデルを分析する段階で、ロールオブジェクトを抽出し、共通のドメインオブジェクトに集約させる (DCIとは依存の)
- 「ロール」は「パーティ/場所/物)」がイベント(瞬間時間間隔)にどのように参加するかを示す
その他: T字系のVirtualEntityとか(自信なし)
コンテキストが複数ある場合のパターンが示されていない
元論文ではコンテキストを別のコンテキストから利用するというケースが想定されている。しかしその実現手段については述べられていない。コンテキストはマクロな目でみればデータ(状態)と振る舞いを持つふつうのオブジェクトであり、これらが協調動作する、というのは結局一周し元のモデルに戻っているのでは。
WDYT?