Download as PDF, PPTX
![値オブジェクトのカタログ単一の値 範囲型（from-to） 範囲型のコレクション数値金額型Amount, Money金額範囲x円以上 y円未満金額範囲のコレクション価格帯数量型Quantity, NumberOfXxx数量範囲m人以上 n人以下数量範囲のコレクション数量別割引率時間日付型DueDate, XxxDate期間開始日 - 終了日期間のコレクションシーズン時刻型HourTime, XxxTime時間開始時刻 – 終了時刻時間のコレクション時間帯空間地点型Point接続Path:出発点 – 到達点接続のコレクションRoute [Path,…]-地域型Area, Zone地域のコレクション階層、隣接関係、…2019/3/22 ©有限会社 システム設計 42](/image.pl?url=https%3a%2f%2fimage.slidesharecdn.com%2fessentials-of-domain-driven-design-190322040009%2f85%2f-42-320.jpg&f=jpg&w=240)
![計算の種類 説明、メソッド例 結果の型サイズ 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/3/22 ©有限会社 システム設計 56](/image.pl?url=https%3a%2f%2fimage.slidesharecdn.com%2fessentials-of-domain-driven-design-190322040009%2f85%2f-56-320.jpg&f=jpg&w=240)
![値オブジェクトのカタログ単一の値 範囲型（from-to） 範囲型のコレクション数値金額型Amount, Money金額範囲x円以上 y円未満金額範囲のコレクション価格帯数量型Quantity, NumberOfXxx数量範囲m人以上 n人以下数量範囲のコレクション数量別割引率時間日付型DueDate, XxxDate期間開始日 - 終了日期間のコレクションシーズン時刻型HourTime, XxxTime時間開始時刻 – 終了時刻時間のコレクション時間帯空間地点型Point接続Path:出発点 – 到達点接続のコレクションRoute [Path,…]-地域型Area, Zone地域のコレクション階層、隣接関係、…2019/3/22 ©有限会社 システム設計 42](/image.pl?url=https%3a%2f%2fimage.slidesharecdn.com%2fessentials-of-domain-driven-design-190322040009%2f75%2f-42-2048.jpg&f=jpg&w=240)
![計算の種類 説明、メソッド例 結果の型サイズ 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/3/22 ©有限会社 システム設計 56](/image.pl?url=https%3a%2f%2fimage.slidesharecdn.com%2fessentials-of-domain-driven-design-190322040009%2f75%2f-56-2048.jpg&f=jpg&w=240)
Uploaded by増田 亨
PDF, PPTX46,548 views
ドメイン駆動設計 本格入門
ドメイン駆動設計の考え方、ドメイン駆動設計を理解する三つのキーワード、エヴァンス本のススメ、レガシーに立ち向かう、マイクロサービスとドメイン駆動設計
Related topics:
Recommended
More Related Content
What's hot
Similar to ドメイン駆動設計 本格入門
More from 増田 亨
ドメイン駆動設計 本格入門
- 1.ドメイン駆動設計本格入門有限会社 システム設計 増田亨PREMIUM #3 2019.3.22
- 2.
- 3.全体の流れ2019/3/22 ©有限会社 システム設計3ドメイン駆動設計の考え方ドメイン駆動設計を理解する三つのキーワードエヴァンス本のススメレガシーに立ち向かうマイクロサービスとドメイン駆動設計
- 4.
- 5.2019/3/22 ©有限会社 システム設計5ドメイン駆動設計でなぜつくるのか「ソフトウエアの核心にある複雑さに立ち向かう」とはどういうことか？
- 6.
- 7.ソフトウェアの変更を楽で安全にするため➢ 何年ものあいだ、成長と進化を続けるソフトウエア➢ 新たな要求に対し柔軟性と拡張性をもってこたえるソフトウェア➢しなやかに設計された変更が容易なコードベース➢ 豊富な機能を持った大きなシステムの段階的な成長出典：まえがき 対照的な３つのプロジェクトエピローグ ５つのプロジェクトのその後2019/3/22 ©有限会社 システム設計 7
- 8.すべてにプラスに作用する2019/3/22 ©有限会社 システム設計8変更が楽で安全ビジネスの要求開発スピード開発コスト 運用コスト性能改善セキュリティ向上使いやすさ
- 9.すべてにマイナスに作用する2019/3/22 ©有限会社 システム設計9変更がやっかいで危険ビジネスの要求開発スピード開発コスト 運用コスト性能改善セキュリティ向上使いやすさ
- 10.
- 11.変更を楽で安全にするための2019/3/22 ©有限会社 システム設計11関心の分離の工夫モジュール構造の工夫
- 12.
- 13.
- 14.2019/3/22 ©有限会社 システム設計14ドメインロジック 複雑さの根源ドメインモデル 複雑さをモデルで整理オブジェクト指向 モデルと実装の一致
- 15.
- 16.2019/3/22 ©有限会社 システム設計16ドメインロジック → ビジネスルールドメインモデル → 計算モデルオブジェクト指向 → 型指向のプログラミング
- 17.
- 18.
- 19.
- 20.
- 21.
- 22.
- 23.
- 24.
- 25.
- 26.
- 27.モデル• 複雑さに立ち向かうときの根底技法• 全体をシンプルにとらえて説明する試み•関心の分離• 「抽象」というよりは「分離」• 枝葉末節も、最終的には必要になるので安易に切り捨てない• 要点を特定することと、要点以外を無視することを混同しない• 焦点を合わせるが、周辺も見る （いったりきたりする）• （計算の）中核と周辺• （計算の）主軸と補助軸2019/3/22 ©有限会社 システム設計 27
- 28.計算モデル計算モデル• 計算式• 判定式•判定結果による条件分岐データモデル• 計算（プログラム）の関心事から独立したデータの記録と参照のモデル• ビジネスアプリケーションを実現するために必須• しかし、ソフトウェアの複雑さに立ち向かう主軸ではない2019/3/22 ©有限会社 システム設計 28
- 29.ビジネスルール → 計算モデル©有限会社システム設計 292019/3/22
- 30.ビジネスルールのモデリングFact 事実の表現ビジネスの状況の記録や通知に使う値の種類・ 数値、日付、場所、識別番号、名称、…RuleFactを使った計算や判定のロジック計算式同一性の判定式大小の比較式Goal 知りたいこと計算結果や判定結果を表現する値の種類・合計金額、予定日、残数、…・出荷可否、受付可否、割引種類、…2019/3/22 ©有限会社 システム設計 30
- 31.ビジネスルールのモデリング• データモデル →外周の関心事• 計算に必要な元データの記録と参照• 計算結果の記録• 計算モデル → 中核の関心事• ビジネスルールの計算ロジック判定ロジックそのもの• メモリ上で完結する• 計算と入出力の分離• 計算の準備としての入力• 計算の後処理として出力2019/3/22 ©有限会社 システム設計 31
- 32.
- 33.
- 34.
- 35.型指向のプログラミングビジネスルール（計算／判定）の記述をモジュール化する基本値の種類（＝型）ごとにクラス(モジュール）定義する例：数値を扱う BigDecimal型, 日付を扱うLocalDate型ただし、個々のビジネスルールを記述するには汎用的すぎる2019/3/22 ©有限会社 システム設計 35
- 36.
- 37.
- 38.ビジネスルールを記述する3要素Fact 事実の表現ビジネスの状況の記録や通知に使う型・ 数値、日付、場所、識別番号、名称、…RuleFactを使った計算や判定のロジック計算式同一性の判定式大小の比較式Goal 知りたいこと計算結果や判定結果を表現する型・合計金額、予定日、残数、…・出荷可否、受付可否、割引種類、…2019/3/22 ©有限会社 システム設計 38
- 39.
- 40.
- 41.値オブジェクトとは？• Fact の表現手段•数値、時間、場所、識別番号、識別名称、…• ビジネスとして適切な値の範囲を定義する• Rule （計算ロジックや判定ロジック）の置き場所• Factを使う計算や判定をメソッドとして記述する• Factと持つオブジェクトに、関連するロジックを集める• Goal 知りたいこと（計算結果、判定結果）の表現手段• 知りたいことを表現した型（値の種類）を設計する• メソッドの返す型として使う2019/3/22 ©有限会社 システム設計 41
- 42.値オブジェクトのカタログ単一の値 範囲型（from-to） 範囲型のコレクション数値金額型Amount,Money金額範囲x円以上 y円未満金額範囲のコレクション価格帯数量型Quantity, NumberOfXxx数量範囲m人以上 n人以下数量範囲のコレクション数量別割引率時間日付型DueDate, XxxDate期間開始日 - 終了日期間のコレクションシーズン時刻型HourTime, XxxTime時間開始時刻 – 終了時刻時間のコレクション時間帯空間地点型Point接続Path:出発点 – 到達点接続のコレクションRoute [Path,…]-地域型Area, Zone地域のコレクション階層、隣接関係、…2019/3/22 ©有限会社 システム設計 42
- 43.値オブジェクトの効果• 値オブジェクト＝ビジネスに特化した値の種類を明示的に表現• 動かすだけなら、プログラミング言語が提供する汎用的な型だけでよい•プログラムの表現が、ビジネスルールの記述そのものになる• 値の種類単位で、ビジネスロジックの記述が一か所にまとまる• プログラムのあちこちにビジネスルールの記述が重複しない• ビジネスルールが変わったときのソフトウェアの変更が楽で安全2019/3/22 ©有限会社 システム設計 43
- 44.
- 45.計算の種類 説明、メソッド例 結果の型等値判定isEqual( other ) , notEqual( other ) boolean / enum大小判定 greaterThan( other ), lessThan( other ), … boolean / enum加算・減算 同じ型同士の計算 同じ型乗算 同じ型同士の乗算は意味がないことが多い 別の数値型除算 同じ型の除算と、異なる型の除算では、意味が異なる 別の数値型境界 Max, Min の存在 同じ型（の固定値）列挙 prev(), next() が可能な集合 （循環が可/不可） 同じ型文字列表現 値の標準的な文字列表現 toString() 文字列文字列からの生成 標準的な文字列表現からのオブジェクト生成 parse() 同じ型計算の候補（単一値）2019/3/22 ©有限会社 システム設計 45
- 46.計算の種類 説明、メソッド例 結果の型等値判定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/3/22 ©有限会社 システム設計 46
- 47.計算の種類（メソッド）の設計原則• ある値について、ビジネスルールに必要な計算は、限定的• 金額と金額の足し算はある•金額と金額の掛け算はない• ビジネスルールの値の範囲は、限定的• 境界値がある• １以上９９まで• 現在日以降 ９０日以内• 計算の意図を、メソッド名、メソッドの渡す引数の型、メソッドの返す型で説明する2019/3/22 ©有限会社 システム設計 47
- 48.
- 49.契約による設計変更を楽で安全にするための設計技法assert による表明 型による表明防御的な検査コードを書かない事前条件（クラスを使う側の責任：引数の型）事後条件（計算を提供するクラスの責任：返り値の型）暗黙のビジネスルールの明文化につながる値の範囲と計算の種類を限定→ 動作が安定する2019/3/22 ©有限会社 システム設計 49
- 50.
- 51.
- 52.
- 53.
- 54.
- 55.
- 56.計算の種類 説明、メソッド例 結果の型サイズ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/3/22 ©有限会社 システム設計 56
- 57.
- 58.2019/3/22 ©有限会社 システム設計58ドメインロジック → ビジネスルールドメインモデル → 計算モデルオブジェクト指向 → 型指向のプログラミング
- 59.
- 60.
- 61.登場するパターン2019/3/22 ©有限会社 システム設計61基本要素エンティティ値オブジェクトドメインサービスモジュールオブジェクトのライフサイクル集約（アグリゲート）リポジトリファクトリユビキタス言語 モデル駆動設計実践的モデラーしなやかな設計意図の明白なインタフェース副作用のない関数表明概念の輪郭独立したクラス閉じた操作レイヤードアーキテクチャスマートUIコンテキスト境界継続的な統合コンテキストマップ共有カーネル顧客・供給者順応者腐敗防止層別々の道公開ホストサービス公表された言語コアドメイン汎用的なサブドメイン凝集されたメカニズムドメインビジョン声明文コアのハイライトコアの隔離コアの抽象化進化する秩序システムのメタファ責務のレイヤ知識レベル・運用レベル
- 62.パターンについて• ひとつひとつのパターンだけ取り上げて理解しても役に立たない• よく登場するパターン名がドメイン駆動設計の本質ではない•パターンの背景にある動機を理解する• パターンとパターンの関係を理解する• そのためには、パターンの拾い読みではなく、本の構成と全体の流れを理解したほうが良い2019/3/22 ©有限会社 システム設計 62
- 63.
- 64.
- 65.
- 66.
- 67.ソフトウェアの変更を楽で安全にするため➢ 何年ものあいだ、成長と進化を続けるソフトウエア➢ 新たな要求に対し柔軟性と拡張性をもってこたえるソフトウェア➢しなやかに設計された変更が容易なコードベース➢ 豊富な機能を持った大きなシステムの段階的な成長出典：まえがき 対照的な３つのプロジェクトエピローグ ５つのプロジェクトのその後2019/3/22 ©有限会社 システム設計 67
- 68.2019/3/22 ©有限会社 システム設計68ドメインロジック 複雑さの根源ドメインモデル 複雑さをモデルで整理オブジェクト指向 モデルと実装の一致
- 69.
- 70.2019/3/22 ©有限会社 システム設計70ドメインロジック → ビジネスルールドメインモデル → 計算モデルオブジェクト指向 → 型指向のプログラミングこのように意味を限定して読んでみると、ずいぶんわかりやすくなる
- 71.
- 72.全体の構成2019/3/22 ©有限会社 システム設計72第１部ドメインモデルを機能させる第２部モデル駆動設計の構成要素第３部深い洞察に向かうリファクタリング第４部戦略的設計１章～３章 ４章～７章 ８章～１３章 １４章～１７章概論と基本事項ここだけでは役に立たない役に立つモデルを手に入れるための実用的な設計技法大規模に適用する長期的に取り組むための技法
- 73.
- 74.第３部：役に立つモデルの実用的な設計技法2019/3/22 ©有限会社 システム設計74９章暗黙的な概念を明示的にする１０章しなやかな設計ビジネスルールがコードで明示できてないことの検知「制約」や「ルール」をクラスやメソッドで表現する実験ぎこちなくても、とにかくコードにしてみる明示的になった素材を改善する設計技法意図の明白なインタフェース副作用のない関数表明概念の輪郭独立したクラス閉じた操作表現を改善するビジネスを理解する
- 75.第４部：大規模に長期的に取り組む2019/3/22 ©有限会社 システム設計75１４章モデルの整合性を維持する１５章蒸留１６章大規模な構造大規模・長期的に取り組むための準備境界づけられたコンテキスト継続的な統合コンテキストマップビジネスルールの複雑さの整理とモジュール構造の改善コアドメイン汎用的なサブドメイン凝集されたメカニズムドメインビジョン声明文コアのハイライトコアの隔離コアの抽象化全体の関係を共通理解にするモデル間の関係の整理と改善責務のレイヤ（能力・運用・約束・ポリシー）知識レベルと運用レベル
- 76.
- 77.
- 78.従来のアプローチ• プロセスモデリング• 機能分割•トランザクションスクリプト• データモデリング• ERモデリング• CRUD分析• データベースアクセスのスクリプティング• ビジネスルールの発見と整理が、主軸ではない• その結果、ビジネスルールがあちこちにちらばり重複する2019/3/22 ©有限会社 システム設計 78
- 79.
- 80.2019/3/22 ©有限会社 システム設計80ドメインロジック → ビジネスルールドメインモデル → 計算モデルオブジェクト指向 → 型指向のプログラミング
- 81.ビジネスルールを記述する3要素Fact 事実の表現ビジネスの状況の記録や通知に使う型・ 数値、日付、場所、識別番号、名称、…RuleFactを使った計算や判定のロジック計算式同一性の判定式大小の比較式Goal 知りたいこと 計算結果や判定結果を表現する型2019/3/22 ©有限会社 システム設計 81
- 82.
- 83.
- 84.
- 85.責務のレイヤの例ポリシー 事業運営の決め事価格、割引、優遇、拒絶オーバーブッキングキャンセル約束顧客との契約取引先との契約見積予約注文運用 ビジネス活動の実態（イベント）出荷、売り上げ請求、回収能力ビジネスの現実（リソース）在庫出荷能力処理能力2019/3/22 ©有限会社 システム設計 85
- 86.
- 87.
- 88.
- 89.
- 90.ポリシー• 価格、割引• 特典、優遇•提供ポリシー（時間、場所、相手、許容量、…)• オーバーブッキング• 与信• キャンセル2019/3/22 ©有限会社 システム設計 90
- 91.
- 92.エヴァンス本の構成2019/3/22 ©有限会社 システム設計92第１部ドメインモデルを機能させる第２部モデル駆動設計の構成要素第３部深い洞察に向かうリファクタリング第４部戦略的設計１章～３章 ４章～７章 ８章～１３章 １４章～１７章概論と基本事項ここだけでは役に立たない役に立つモデルを手に入れるための実用的な設計技法大規模に適用する長期的に取り組むための技法
- 93.
- 94.2019/3/22 ©有限会社 システム設計94ドメインロジック → ビジネスルールドメインモデル → 計算モデルオブジェクト指向 → 型指向のプログラミング
- 95.ビジネスルールを記述する3要素Fact 事実の表現ビジネスの状況の記録や通知に使う型・ 数値、日付、場所、識別番号、名称、…RuleFactを使った計算や判定のロジック計算式同一性の判定式大小の比較式Goal 知りたいこと 計算結果や判定結果を表現する型2019/3/22 ©有限会社 システム設計 95
- 96.
- 97.レガシーへの立ち向かい方：心の準備• ありがちな設計• トランザクションスクリプト（機能単位のモジュール）•バッチ処理• テーブルは更新可能なデータファイル• ありがちな状況• 設計や分析の資料はない／あっても古くてコードと一致していない• 命名規約は、番号重視 and/or 省略重視 ( KBN01 )• 使われていないロジック、データ、区分が混在• 手がかり• 実際に業務が回っている（実データがある）• 画面、出力帳票、データ交換用のファイル2019/3/22 ©有限会社 システム設計 97
- 98.レガシーへの立ち向かい方：手がかり• 実データ、実画面、実帳票、実ファイル• 実際に使われているデータ（事実の記録）が最大の手がかり•プログラムの意図は、コードからは読み取りにくい• そういう設計のスタイルだから• コードは意図の表現ではなく、データ処理の手続きの実現• 目のつけどころ• 区分値 ビジネスルールの複雑さの根源• 導出項目 ビジネスルールの計算・判定の結果2019/3/22 ©有限会社 システム設計 98
- 99.区分値の調査と分析• コード内のif文やswitch文と格闘する前に、区分体系を徹底的に調査する• データベースの区分カラム•GROUP BY 句で、実際のデータ内容の確認• 区分によって、使うカラム／使わないカラム、意味の異なるカラムの特定• 画面の区分表示、区分選択ボックス• データベースの区分カラムとの対応• 業務的な使い方の確認2019/3/22 ©有限会社 システム設計 99
- 100.導出項目の調査と分析• 導出項目の特定• ビジネスルールを適用した計算結果•金額、数量、期日、場所、区分• 画面の表示項目• データベースに記録された導出結果• 導出ルールの調査• 業務マニュアル／利用ガイド／料金表 …• ソースコード• ヒアリング（ありえないデータ、ありえない結果を判断できる能力を持つ人）2019/3/22 ©有限会社 システム設計 100
- 101.あるべき姿の中核を見極める• 導出（計算・判定）に焦点を合わせる• 単なる記録と参照は、いったんスコープ外にする•データベースは、計算・判定で使う項目に焦点を合わせる• 画面項目も、計算・判定で使う項目／導出結果に焦点を合わせる• ソースコード中の、計算式と判定式に焦点を合わせる• 単なるデータの記録と参照は、ばっさりスコープからはずす2019/3/22 ©有限会社 システム設計 101
- 102.あるべき姿の中核を生み出す• データベース• 導出の元になるデータと、導出結果だけに絞り込んだデータベースを用意する•FACTを正しく記録するためのテーブル群を新規に設計• イミュータブルデータモデル• データベース制約を徹底する• 特に NOT NULL 制約• 現行のデータベースから必要データを複製する仕組みづくり• 導出ロジックのプログラミングと検証• FACT駆動で作成した新データベースから、必要な計算・判定ができるプログラムを開発する• 計算結果・判定結果を、既存データベースの該当カラムと突き合わせる2019/3/22 ©有限会社 システム設計 102
- 103.複雑さの核心に切り込む• 既存の区分体系• 未使用の区分•今となっては意図が不明な区分• 複数の区分軸の混在• 区分体系の整理• 未使用を使わない• 意図不明もいったん使わない• 明らかな例外を、事前処理で除外する• 残った区分を論理的に分解する• ２軸か３軸の組み合わせになっていることが多い• すべての組み合わせが網羅されていないことが多い（その理由を分析する）2019/3/22 ©有限会社 システム設計 103
- 104.アプリケーションとして組み立てる• 中核は手に入った• FACTを記録したテーブル群（と実データ）•FACTを使った導出プログラム（計算モデル）• 計算サービス、判定サービス• 中核を使って• 画面や外部インタフェース• 作り直す• 既存の画面処理プログラムや、外部インタフェースプログラムから呼び出す• 記録して参照するだけのデータ群• 中核の外周に追加する• 既存の処理にまかせる2019/3/22 ©有限会社 システム設計 104
- 105.
- 106.マイクロサービスアーキテクチャひとつのアプリケーションを複数のサービスで構築する開発の独立性• サービスごとに開発活動が独立• サービスごとに修正・拡張が独立•サービスごとに設計改善が独立配置と運用の独立性• サービスごとに運用が独立• ただし、高可用性が要求される• サービス単位での自動スケーリング2019/3/22 ©有限会社 システム設計 106
- 107.
- 108.2019/3/22 ©有限会社 システム設計108分割の軸 説明予想されるアンチパターンビジネス能力ビジネスアーキテクチャに合わせる部門・業務・職務 （３段階の機能分割）大きなきれいな絵と入り組んだ現実のシステム構造ドメインモデルビジネスルール単位で分割・価格、割引、特典、…・在庫引き当て、予約、キャンセル、…ルールの依存性の整理の失敗区分設計の失敗アクション指向アクション単位（イベント単位）に分割引き合い、見積、在庫確認、受注、出荷指示、売上計上、請求、…手続き的なモジュール構造ロジックがあちこちに重複リソース指向リソース単位に分割リソース管理番号（ Entity, URI )FatなEntity/テーブル巨大な中央データベース orデータの重複と不整合
- 109.分割の方針４つの軸の組み合わせになる課題• 主軸の選択• 補助軸の組み合わせの優先順位の選択•大規模な取り組みの一貫性と整合性の維持• 長期的な取り組みの一貫性と整合性の維持• 「最初から正しい分割はできない」• 継続的な「分割の見直し」の現実性2019/3/22 ©有限会社 システム設計 109
- 110.
- 111.ドメイン駆動設計• マイクロサービスへの分割を目的とはしていない• 良い設計（適切な関心の分離と変更容易なモジュール構造）を目指していると•シンプルなサービスの分割に進化していく• シンプルなデータベース構造に進化していく• その結果、マイクロサービス化をやりやすくなる• 配置・運用を実際にマイクロサービス化するかは、要件しだい• マイクロサービス化のトレードオフを検討する• 不必要な複雑さを持ち込まない2019/3/22 ©有限会社 システム設計 111
- 112.モノリスからマイクロサービスへの段階的移行• ドメイン駆動設計で関心の分離とモジュール構造の改善を積重ねる• 最初はシステム全体のあちこちが変更対象になる•この段階でのマイクロサービス化は失敗への道• ある程度、開発と設計改善が進むと• アプリケーション層のクラス／メソッドが安定する• データベース設計が安定する• この段階になってから、（必要なら）マイクロサービス化を検討する2019/3/22 ©有限会社 システム設計 112
- 113.マイクロサービス化と関係する設計技法• アプリケーション層の分析・設計• データベースの分析・設計2019/3/22©有限会社 システム設計 113
- 114.アプリケーション層の設計2019/3/22 ©有限会社 システム設計114プレゼンテーション層アプリケーション層データソース層データベースビジネスルール層使う
- 115.
- 116.
- 117.
- 118.
- 119.
- 120.VETROビジネスメッセージEvent 通知、Document送付Query 問い合わせ、Command指示Validation妥当性検証メッセージ内容の妥当性を検証するデータ形式、必須属性、値範囲、…Enrich情報付加メッセージに含まれたIDなどから、関連する情報を収集するルール（ex. 顧客ID->顧客購買履歴)Translate情報導出付加された情報を元に、新たな情報を導出するルール （ex. 購買履歴 → 顧客ランク )Routing分岐判定導出された情報を元に、適切なオペレーションに分岐させるルール ( ex. 顧客ランクごとの対応 )Operation通知/記録通知ルール：誰に何を通知すべきか？記録ルール：どこに何を記録すべき？2019/3/22 ©有限会社 システム設計 120
- 121.
- 122.Sagaとは？③が不成立だった場合、①と②にキャンセル処理を実行するという、さまざまな状況とその対応方法(undo)の物語を用意する①②③を、独立して、順不同で実行する （それぞれの物語）三つともOKであれば、それで完了（Happy Goal)独立したトランザクションA独立したトランザクション B独立したトランザクション Cビジネスメッセージコーディネータひとつの大きなトランザクション → 独立した複数の小さなトランザクションに分割2019/3/22 ©有限会社 システム設計 122
- 123.Sagaとは？独立したトランザクションのコミット• 個々のトランザクションは独立して確定する（できる）ビジネス的な undoの仕組み• どこかで不都合な状況が発生した場合、キャンセル処理など適切なカウンタートランザクションを実行する仕組みを用意するビジネスレベルでの代替アクションの分析と実装• 自動的なundo以外に、人間系の代替プロセスや取消プロセスの実行に引き継ぐパターンも選択肢• その場合の支援機能を用意する2019/3/22 ©有限会社 システム設計 123
- 124.データベース2019/3/22 ©有限会社 システム設計124プレゼンテーション層アプリケーション層データソース層データベースビジネスルール層計算モデルとデータモデルのマッピング
- 125.マイクロサービスに発展可能なデータベース設計• 事実の記録を徹底する（イベントソーシング）• テーブル単位（カラム構成）を計算の関心事に従属させる•事実と参照を分ける（テーブル→スキーマ→データベース）• 事実と導出結果を分ける（テーブル→スキーマ→データベース）2019/3/22 ©有限会社 システム設計 125
- 126.事実の記録：データベース設計の基本事実の記録の原則• NULL という事実はない•NOT NULL 制約にできないカラムは事実の記録として欠陥• オプショナルな項目は、別テーブルにする• 発生時点の異なる事実は、別テーブルにする• 有効な値の範囲を定義する(型指向の設計）外部キー制約には２つの意味がある• 事実の前後関係（重要）• 同じ時点の事実を別テーブルにしている関係（別事実に分解すべき可能性）2019/3/22 ©有限会社 システム設計 126
- 127.テーブルの分割関数従属性• キーに従属するデータは同じテーブルに• この原則だけだと、テーブルが肥大化しがち発生時点で分解•事実の発生した時点が異なれば別テーブルにわける計算従属性• 計算単位ごとに、計算に必要な事実を別テーブルに分ける○ 商品番号に従属し、かつ、価格計算に関係にあるカラムだけのテーブル× 価格以外に、カタログ情報や在庫情報を持つ肥大化した商品マスター2019/3/22 ©有限会社 システム設計 127
- 128.分離・独立を段階的に発展させるテーブル → スキーマ→ データベースいきなりデータベース単位の分割を検討しない1. 小さなテーブル単位に役割を分け、利用特性を明確にする2. 同じ特性のテーブルをスキーマでグルーピング3. スキーマ単位の参照権限・更新権限を徹底する4. 独立性の高いスキーマを別データベースへの切り出しを検討する2019/3/22 ©有限会社 システム設計 128
- 129.記録と参照、事実と導出結果の分離2019/3/22 ©有限会社 システム設計129事実の記録 事実の複製 導出結果（残高,状態,集計）イミュータブル イミュータブル ミュータブルINSERT SELECT SELECT永続化を保証する 事実から再生可能 事実から再生可能複製delete/insertcreated_atupdated_at
- 130.ドメイン駆動設計マイクロサービスへの分割を目的とはしていない良い設計（適切な関心の分離と変更容易なモジュール構造）を目指す• シンプルなサービスへの分割に進化していく• シンプルなデータベース構造に進化していく•その結果、マイクロサービス化をやりやすくなる実際に配置・運用をマイクロサービスに分割するかは、要件しだい• マイクロサービス化のトレードオフを検討する• 不必要な複雑さを持ち込まない2019/3/22 ©有限会社 システム設計 130
- 131.
- 132.話した内容2019/3/22 ©有限会社 システム設計132ドメイン駆動設計の考え方ドメイン駆動設計を理解する三つのキーワードエヴァンス本のススメレガシーに立ち向かうマイクロサービスとドメイン駆動設計
- 133.変更を楽で安全に2019/3/22 ©有限会社 システム設計133変更が楽で安全ビジネスの要求開発スピード開発コスト 運用コスト性能改善セキュリティ向上使いやすさ
- 134.
- 135.2019/3/22 ©有限会社 システム設計135ドメインロジック → ビジネスルールドメインモデル → 計算モデルオブジェクト指向 → 型指向のプログラミング
- 136.ビジネスルールのモデリングFact 事実の表現ビジネスの状況の記録や通知に使う値の種類・ 数値、日付、場所、識別番号、名称、…RuleFactを使った計算や判定のロジック計算式同一性の判定式大小の比較式Goal 知りたいこと計算結果や判定結果を表現する値の種類・合計金額、予定日、残数、…・出荷可否、受付可否、割引種類、…2019/3/22 ©有限会社 システム設計 136
- 137.
- 138.
- 139.エヴァンス本の構成2019/3/22 ©有限会社 システム設計139第１部ドメインモデルを機能させる第２部モデル駆動設計の構成要素第３部深い洞察に向かうリファクタリング第４部戦略的設計１章～３章 ４章～７章 ８章～１３章 １４章～１７章概論と基本事項ここだけでは役に立たない役に立つモデルを手に入れるための実用的な設計技法大規模に適用する長期的に取り組むための技法