Recommended
More Related Content
What's hot
What's hot (20)
Similar to アジャイルなソフトウェア設計を目指して
Similar to アジャイルなソフトウェア設計を目指して (20)
More from 増田 亨
More from 増田 亨 (19)
アジャイルなソフトウェア設計を目指して
- 2. ソフトウェアの開発
- 3. ソフトウェアの開発 = プログラミング プログラミング = 設計 設計 = ソースコードで表現
- 4. よい設計とは？
- 8. ソフトウェアの変更容易性
- 13. 硬直化したモジュール構造
- 14. 開発のスタイル 技法やドキュメント 関心の焦点 モジュール構造 機能分割駆動 三階層の機能一覧/機能詳細 部門/業務/職務の分解 アプリケーション層 トランザクション スクリプト データモデル駆動 ER図 テーブル定義書 CRUD分析 データソース層 データベーススクリプト スマート Entity ワークフロー・ ユースケース駆動 アクテビティ図 ユースケースモデル ユースケース記述 アプリケーション層 トランザクション スクリプト 画面/API 駆動 (インタフェース駆動) ワイヤフレーム 画面一覧/画面遷移 API一覧/API定義 プレゼンテーション層 スマートUI ファットコントローラ 開発のスタイルとモジュール構造 どの開発スタイルでも、データ処理の手続き単位のモジュールになる (モジュール＝ソースコードファイルの分割単位）
- 16. モジュール構造を変えずに変更をねじ込む その場しのぎの if 文の追加 その場しのぎの switch文のcaseの追加 その場しのぎの enum(区分定数)の追加 丸ごとコピーして一部修正 同じ計算式や類似の条件判定があちこちに重複する
- 17. さらに状況を悪化させる悪しき習慣
- 19. 力ずくのプログラミングの横行 言語が提供する型だけでがんばる int, long, boolean String, BigDecimal, LocalDate, LocalTime, List, Map, Set 大きなクラス、長いメソッド、たくさんのパラメータでがんばる
- 22. 変更を楽で安全にする設計技法
- 33. ビジネスルール層は？
- 36. 型指向のプログラミング ビジネスルール（計算／判定）の記述をモジュール化する基本 値の種類（＝型）ごとにクラス(モジュール）定義する 例：数値を扱う BigDecimal型, 日付を扱う LocalDate型 ただし、個々のビジネスルールを記述するには汎用的すぎる
- 37. 型指向のプログラミング ビジネスルールに登場する値を分類する 値の種類(=型)ごとに、独自のクラスを定義する 値の種類ごとに有効な値の範囲を定義する 値の種類ごとに必要な計算・判定のロジックを特定する
- 39. ビジネスルールを記述する3要素 Fact 事実の表現 ビジネスの状況の記録や通知に使う型 ・ 数値、日付、場所、識別番号、名称、… Rule Factを使った 計算や判定のロジック 計算式 同一性の判定式 大小の比較式 Goal 知りたいこと 計算結果や判定結果を表現する型
- 41. 値オブジェクト
- 42. 値オブジェクトとは？ Fact の表現 数値、時間、場所、識別番号、識別名称、… オブジェクトのフィールド変数（インスタンス変数）とメソッドの引数 ビジネスとして適切な値の範囲を定義する Rule （計算ロジックや判定ロジック）の置き場所 Factを使う計算や判定をメソッドとして記述する Factと持つオブジェクトに、関連するロジックを集める Goal 知りたいこと（計算結果、判定結果）の表現手段 知りたいことを表現した型（値の種類）を設計する メソッドの返す型として使う
- 43. 値オブジェクトの分類表 単一の値 from-to [ from-to, … ] 数 値 金額型 Amount, Money 金額範囲 x円以上 y円未満 金額範囲のコレクション 価格帯 数量型 Quantity, NumberOfXxx 数量範囲 m人以上 n人以下 数量範囲のコレクション 数量別割引率 時 間 日付型 DueDate, XxxDate 期間 開始日 - 終了日 期間のコレクション シーズン 時刻型 HourTime, XxxTime 時間 開始時刻 – 終了時刻 時間のコレクション 時間帯 空 間 地点型 Point 接続 Path:出発点 – 到達点 接続のコレクション Route [Path,…] 地域型 Area, Zone - 地域のコレクション 階層、fuzzy、重複、… 参考： アナリシスパターン 基本型
- 44. 値オブジェクトの効果 値オブジェクト＝ビジネスに特化した値の種類 動かすだけなら、プログラミング言語が提供する汎用的な型だけでよい ビジネスに特化した型 プログラムが、ビジネスルールの記述そのものになる 値の種類ごとにビジネスロジックの計算判定の記述が一か所にまとまる あちこちに重複しなくなる ビジネスルールの変更にかかわるソフトウェアの変更が楽で安全になる
- 46. 計算の種類 説明、メソッド例 結果の型 等値判定 isEqual( other ) , notEqual( other ) boolean / enum 大小判定 greaterThan( other ), lessThan( other ), … boolean / enum 加算・減算 同じ型同士の計算 同じ型 乗算 同じ型同士の乗算は意味がないことが多い 別の数値型 除算 同じ型の除算と、異なる型の除算では、意味が異なる 別の数値型 境界 Max, Min の存在 同じ型（の固定値） 列挙 prev(), next() が可能な集合 （循環が可/不可） 同じ型 文字列表現 その値の標準的な文字列表現 toString() 文字列 文字列からの生成 標準的な文字列表現からのオブジェクト生成 parse() 同じ型 どんな計算が必要か、値の種類ごとに検討する 計算の意図を、結果の型とメソッド名で説明する
- 52. コレクションのカプセル化
- 55. 型指向のプログラミング 具体例
- 57. attendance.Attendance 勤怠 attendance.AttendanceStatus 勤怠状況 attendance.Recorded 勤務記録有無 attendance.TimeRecords 勤務実績一覧 attendance.TotalWorkTime 総勤務時間 attendance.WorkMonth 勤務月 contract.Contract 従業員契約 contract.Contracts 従業員契約一覧 contract.ContractStartingDate 契約開始日 contract.ContractStatus 契約状態 contract.ContractWage 契約給与 contract.ContractWages 契約給与一覧 contract.HourlyWage 時給 contract.MidnightHourlyExtraWage 深夜時給割増額 contract.OverTimeHourlyExtraWage 深夜時給割増額 contract.WageCondition 給与条件 employee.ContractingEmployees 契約中従業員一覧 employee.Employee 従業員 employee.EmployeeNumber 従業員番号 employee.MailAddress メールアドレス employee.Name 氏名 employee.PhoneNumber 電話番号 legislation.DailyOvertimeWork 時間外労働 legislation.ExtraPayRate 割増率（％） legislation.Midnight 深夜 legislation.MidnightExtraRate 深夜割増率 legislation.OverTimeExtraRate 時間外割増率 payroll.PaymentAmount 支払い金額 payroll.PaymentWorkTime 支払い対象時間 payroll.Payroll 給与 payroll.Payrolls 給与一覧 payroll.PayrollStatus 給与ステータス timerecord.ActualWorkTime 勤務時間実績 timerecord.bindingtime.BindingTime 拘束時間 timerecord.bindingtime.DaytimeBindingTime 日中拘束時間 timerecord.bindingtime.MidnightBindingTime 深夜拘束時間 timerecord.breaktime.BreakTime 休憩時間合計 timerecord.breaktime.DaytimeBreakTime 日中休憩時間 timerecord.breaktime.MidnightBreakTime 休憩時間（深夜） timerecord.DaytimeWorkTime 日中勤務時間 timerecord.EndTime 勤務終了時刻 timerecord.MidnightWorkTime 深夜勤務時間 timerecord.OverWorkTime 時間外勤務時間 timerecord.StartTime 勤務開始時刻 timerecord.TimeRange 勤務の開始と終了 timerecord.TimeRecord 勤務実績 timerecord.WorkDate 勤務日付 timerecord.WorkTime 勤務時間 amount.Amount 金額 amount.Percentage 率（割増や税などの金額に掛けられるもの） amount.RoundingMode 端数処理 date.Date 日付 date.DayOfWeek 曜日 date.Month 月 date.Year 年 date.YearMonth 年月 time.ClockTime 時刻を時分単位で表す time.ClockTimeRange 開始時刻と終了時刻を表現する(時刻間の時間間隔を返す time.Hour 時間(数) time.HourAndMinute x時間y分 time.Minute 分(数) time.QuarterHour 15分単位の時間 time.QuarterRoundClockTime 15分単位の時刻 time.QuarterRoundClockTimeRange 15分単位の時刻 給与計算に関するFact-Rule-Goalを表現したクラス群＝ビジネスルール用語集 （ソースコードから自動生成したドキュメント）
- 76. アプリケーション層の分析設計技法
- 79. VETRO分析
- 81. VETRO Validation 妥当性検証 Enrich 情報付加 Translate 情報導出 Routing 分岐判定 Operation 通知/記録ビジネス メッセージ 出典: Camel Design Patterns 非同期メッセージングを使った EIP: Enterprise Integration Patternsの応用パターン
- 82. VETRO ビジネス メッセージ Event 通知、Document送付 Query 問い合わせ、Command 指示 Validation 妥当性検証 メッセージ内容の妥当性を検証する データ形式、必須属性、値範囲、… Enrich 情報付加 メッセージに含まれたIDなどから、関連する情報 を収集するルール（ex. 顧客ID->顧客購買履歴) Translate 情報導出 付加された情報を元に、新たな情報を導出する ルール （ex. 購買履歴 → 顧客ランク ) Routing 分岐判定 導出された情報を元に、適切なオペレーションに 分岐させるルール ( ex. 顧客ランクごとの対応 ) Operation 通知/記録 通知ルール：誰に何を通知すべきか？ 記録ルール：どこに何を記録すべき？
- 84. Sagaとは？ ③が不成立だった場合、①と②にキャンセル処理を実行する という、さまざまな状況とその対応方法(undo)の物語を用意する ①②③を、独立して、順不同で実行する （それぞれの物語） 三つともOKであれば、それで完了（Happy Goal) 独立したトランザクション A 独立したトランザクション B 独立したトランザクション C ビジネス メッセージ コーディ ネータ ひとつの大きなトランザクション → 独立した複数の小さなトランザクションに分割
- 85. Sagaとは？ 独立したトランザクションのコミット 個々のトランザクションは独立して確定する（できる） undo の仕組み どこかで不都合な状況が発生した場合、キャンセル処理など適切なカウン タートランザクションを実行する仕組みを用意する ビジネスレベルでの代替アクションの分析と実装 自動的なundo以外に、人間系の代替プロセスや取消プロセスの実行に引き 継ぐパターンも選択肢 その場合の支援機能を用意する
- 86. まとめ
- 91. Validation 妥当性検証 Enrich 情報付加 Translate 情報導出 Routing 分岐判定 Operation 通知/記録ビジネス メッセージ 独立したトランザクション A 独立したトランザクション B 独立したトランザクション C ビジネス メッセージ コーディ ネータ VETRO Saga アプリケーション層の分析設計
- 93. 参考書籍
- 94. コードを使ったワークショップなど リファクタリングの1stサンプルを使った体験学習 サンプルアプリケーション（時給ベースの給与計算）の解説 型指向のプログラミングの体験学習 ビジネスルールの分析設計の体験学習