抽象によるソフトウェア設計／付録 A 練習問題 解答例 - Model Base

[ Alloy Analyzer ]

---

A.1 論理の問題

• A.1.1 二項関係の性質 (省略する)
• A.1.2 関係計算・述語論理形式
• A.1.3 モデリング時の関係的性質
• A.1.4 ナビゲーションのリファクタリング
• A.1.5 木を特徴付ける
• A.1.6 スパニング木
• A.1.7 リングを特徴付ける
• A.1.8 無向グラフの非循環性を定義する
• A.1.9 推移閉包を公理化してみる
• A.1.10 アドレス帳の制約と式
• A.1.11 地下鉄をモデリングする

A.2 単純なモデルを拡張する

• A.2.1 電話のスイッチング接続
• A.2.2 アドレス帳の不変条件を保存する
• A.2.3 囚人の割り当て

A.3 古典的パズル

• A.3.1 驚くような三段論法
• A.3.2 天井と床
• A.3.3 床屋のパラドックス
• A.3.4 Halmos の握手問題
• A.3.5 ヤギ、キャベツ、狼
• A.3.6 外科医のグローブ

A.4 メタモデル

• A.4.1 状態機械の定義
• A.4.2 状態機械の模倣関係
• A.4.3 Alloyのメタモデル
• A.4.4 Javaのメタモデル