Recommended
More Related Content
What's hot
What's hot (20)
More from 増田 亨
More from 増田 亨 (20)
ドメイン駆動設計という設計スタイル
- 1. ドメイン駆動設計という 設計スタイル ギルドワークス 増田 亨 2019.8.31 レガシーをぶっつぶせ！ 現場でDDD #genbadeDDD
- 9. 設計スタイルの違い 2019/8/31 9 関心 モジュール構造 ２０：８０ 入出力 ドメインロジック ビジネスルールに基づく計算と判断のロジック画面、テーブル、Web API トランザクションスクリプト ドメインオブジェクトモデル
- 10. 設計スタイルの違い 2019/8/31 10 関心 モジュール構造 ２０：８０ 入出力 ドメインロジック ビジネスルールに基づく計算と判断のロジック画面、テーブル、Web API トランザクションスクリプト 画面やデータに注目して、入出力手続きを構造化 値の種類に注目して、独自の型を定義 ドメインオブジェクトモデル
- 11. 設計スタイルの違い 2019/8/31 11 関心 モジュール構造 ２０：８０ 入出力 ドメインロジック ビジネスルールに基づく計算と判断のロジック画面、テーブル、Web API トランザクションスクリプト ドメインロジックの設計と実装が アプリケーション全体の構造を左右する 画面やデータに注目して、入出力手続きを構造化 値の種類に注目して、独自の型でロジックを構造化 入出力の設計と実装が アプリケーション全体の構造を左右する ドメインオブジェクトモデル
- 13. ドメイン駆動設計の設計スタイル 2019/8/31 13 ビジネスルールに基づく計算と判断のロジック に焦点を合わせる ビジネスルールに登場する値の種類に注目して 独自の型を定義してロジックを整理する
- 17. ドメインロジック、ドメインの知識 2019/8/31 17 意味が広く、あいまい もっと具体的に考える ドメインロジック → ビジネスロジック ドメイン知識 → ビジネスルール
- 24. ドメイン層の全体構造を設計する時の指針 2019/8/31 24 文書化（構造化）された ビジネスルール 顧客の利益 vs 自社の利益 折り合いのつけ方の決め事 競争戦略とビジネスルール ビジネスルールの階層構造 こういう基礎的な知識を学び理解すると、ドメイン層のパッケージ構造の設計の質が変わってくる
- 26. 顧客の利益 vs 自社の利益 どこで折り合いをつけるかの決め事 Customer Value 顧客価値 提供する商品、提供するサービス内容の決め事 Customer Cost 顧客からみたコスト 価格、値引き、特典にからむビジネスルール Convenience 顧客の利便性 提供方法、提供場所、提供タイミングのビジネスルール Communication 顧客との コミュニケーション 顧客とのコミュニケーションに関するビジネスルール 2019/5/11 26 ビジネスルールは、コストの制限、リスク回避の決め事であることが多い ドメイン層のパッケージ分割の設計パターンのひとつ
- 28. ビジネスルールの階層構造 ポリシー 事業運営の決め事 ビジネスルールの方針 価格、割引、優遇、拒絶 オーバーブッキング キャンセル 約束 顧客との契約 取引先との契約 見積 予約 注文 運用 ビジネス活動の実体（イベント） ビジネスルールの起動トリガー 出荷、売り上げ 請求、回収 能力 ビジネス運営上の制約条件 在庫 出荷能力 サービス提供能力 2019/5/11 28 エヴァンス本 責務のレイヤーにも登場する階層構造のパターン
- 31. 2019/8/31 31 ビジネスルールとコード表現 Fact, Rule, Goalを表現する 独自の型を定義する 値の種類に注目する
- 32. ビジネスルールの構成要素 Fact 事実を表現する型 ビジネスの状況の記録や通知に使う型 ・ 数値、日付、場所、識別番号、名称、… Rule Factを使った 計算や判定のロジック オブジェクトが持つべき演算能力 ・算術演算 ・同一性の判定 ・大小の比較 Goal 知りたいことを表現する型 計算結果や判定結果を表現する型 ・合計金額、予定日、残数、… ・出荷可否、受付可否、割引種類、… 2019/5/11 32
- 35. 値オブジェクト 計算・判断ロジックのカプセル化 単一の値 範囲（fromとto） 数値 金額型 Amount, Money 金額範囲 x円以上 y円未満 数量型 Quantity, NumberOfXxx 数量範囲 m人以上 n人以下 率型 Percentage, Permillage 率範囲 m%以上 n%未満 時間 日付型 DueDate, XxxDate 期間 開始日 - 終了日 時刻型 HourTime, XxxTime 時間 開始時刻 – 終了時刻 空間 地点型 Point 接続 Path:出発点 – 到達点 2019/5/11 35
- 36. 計算の種類 説明、メソッド例 結果の型 等値判定 isEqual( other ) , notEqual( other ) boolean / enum 大小判定 greaterThan( other ), lessThan( other ), … boolean / enum 加算・減算 同じ型同士の計算 同じ型 乗算 同じ型同士の乗算は意味がないことが多い 別の数値型 除算 同じ型の除算と、異なる型の除算では、意味が異なる 別の数値型 境界 Max, Min の定義 同じ型（の固定値） 列挙の操作 previous(), next() が可能な集合 （循環が可/不可） 同じ型 文字列表現 値の標準的な文字列表現 toString() 文字列型 文字列からの生成 標準的な文字列表現からのオブジェクト生成 parse() 同じ型 単一値の計算・判定ロジック 2019/5/11 36
- 37. 計算の種類 説明、メソッド例 結果の型 等値判定 isEqual( other ) , notEqual( other ) boolean / enum 大小判定 greaterThan( other ), lessThan( other ), … boolean / enum 範囲に含まれる contains( element ), encloses( other ) boolean / enum 範囲が重複する isOverlapped(other) boolean / enum 厳密に隣接する isConnectedTo(other) boolean / enum 境界の値 Max, Min 要素の型 範囲演算 intersect(other), minus(other), add(other) 範囲型 文字列表現 標準的な文字列表現 toString(), show(), describe() 文字列型 範囲型(from-to)の計算・判定ロジック 2019/5/11 37
- 38. 値オブジェクト（独自の型）の効果 2019/8/31 38 ➢独自の型はロジックを集約する • 型名＝ルール名 • 金額型＝金額の計算ルール、金額の判断ルールの置き場所 • ロジックが一か所に集まる（コードの重複を防ぐ） ➢独自の型は可読性を向上する • コードの曖昧性が減る → コードの意図が理解しやすい • プリミティブな型は汎用。独自の型は用途限定。 • 整数演算をしたいのではなく、金額計算をしたい。
- 39. 値オブジェクト（独自の型）の効果 2019/8/31 39 ➢独自の型は信頼性を向上する （契約による設計） • 引数の型 → 必ず有効な値を渡す約束 • メソッドが返す型 → 必ず有効な値を返す約束 • 冗長な検査ロジックが不要になる(例えば null チェック) ➢独自の型はコードの追跡を容易かつ確実にする • 型を使っている個所 ＝ そのビジネスルールに関係する個所 • 型による追跡性 vs 変数名による追跡性 • アプリケーション全体で、ビジネスの関心事との対応がとれたコードが増 える
- 41. 条件分岐との戦い 2019/8/31 41 顧客区分、商品種別、有効期間、地域区分、金額区分、数量区分、 取引種類、取引状態、支払い方法、支払いタイミング、 割り増し条件、割引条件、キャンセル可能条件、… if文、boolean で表現された 暗黙的な区分 レガシーで 怪しげなコード体系 未使用と思われるコード 複数の分類軸の混在したコードマスター 通常の区分と超レアケースの混在 … 区分名が登場しない条件判断式 true/false に隠蔽された区分
- 43. 区分の明示化とリファクタリング 2019/8/31 43 型を使った 列挙 たとえば Java enum if文やboolean で 表現された暗黙の区分 レガシーで 怪しげなコード体系
- 44. 区分の明示化とリファクタリング 2019/8/31 44 型を使った 列挙 enumに区分ごとの 計算・判定ロジックを寄せる たとえば Java enum コードがぎこちなくなったら 区分体系のリファクタリング if文やboolean で 表現された暗黙の区分 レガシーで 怪しげなコード体系
- 45. 区分の明示化とリファクタリング 2019/8/31 45 型を使った 列挙 区分体系のリファクタリング enumに区分ごとの 計算・判定ロジックを寄せる たとえば Java enum 区分名の変更 分類軸の分割 例外的区分の除去 区分が整理できたら、計算・判定ロジックを寄せる コードがぎこちなくなったら 区分体系のリファクタリング if文やboolean で 表現された暗黙の区分 レガシーで 怪しげなコード体系
- 46. 区分の明示化とリファクタリング 2019/8/31 46 型を使った 列挙 区分体系のリファクタリング enumに区分ごとの 計算・判定ロジックを寄せる たとえば Java enum 区分名の変更 分類軸の分割 例外的区分の除去 区分が整理できたら、計算・判定ロジックを寄せる コードがぎこちなくなったら 区分体系のリファクタリング if文やboolean で 表現された暗黙の区分 レガシーで 怪しげなコード体系 改善を繰り返す
- 50. 操作の種類 説明、メソッド例 結果の型 サイズ count() int 要素の検査 contains(要素), isEmpty(), notEmpty() boolean / enum 部分集合 select(条件), reject(条件), コレクション 集約演算 sum(), min(), max(), average(), … 集約結果の型 集合演算 insersect(other), minus(other), add(other) コレクション 変換 unique(), sort(), groupBy() コレクション 要素の取り出し first(), last(), at(index) 要素の型 要素の追加 add(), addAll(), append(), insertAt(), … void 文字列表現 show(), describe() 文字列, 文字列[ ] コレクション操作のカプセル化 2019/5/11 50
- 55. エヴァンス本の拾い読みのススメ 2019/8/31 55 １章 継続的な学習、知識豊富な設計、深いモデル ２章 声に出してモデリングする、説明のためのモデル ９章 概念を掘り出す、それほど明示的でない概念をモデル化する方法 １０章 閉じた操作、副作用のない関数、設計の宣言的スタイル １５章 コアドメイン、蒸留の拡大、強調されたコア、隔離されたコア １６章 責務のレイヤ １７章 大規模な構造と蒸留を組み合わせる 全体：クラス図にメソッド定義 or 制約の記述がある個所 ビジネスロジックに焦点を合わせ、独自の型を定義するための必読個所