はじめに
対象: SoS の概念を学び始めたばかりの学部生・大学院初年度。CADL の経験は不要です。
所要時間: 約 95 分（5 分のセットアップ + 15 分 × 6 ステップ）。
持ち帰るもの: 自分で書いた CADL 仕様、その仕様から生成された Unity C# 実装、期限切れやバッテリ規則への違反が検出され、該当する契約インスタンスが
Violatedに移る、5 台構成の動くシミュレーション。初めての人へ: 第 1 章から順に読んでください。本書は使うことをすべて本文で説明しているので、先に他のページを読む必要はありません。
本書の構成
本書は、CADL のハンズオン教材のコース A です。ロボット配送システムを題材にツールチェイン全体を一通りたどり、第 4〜9 章の終わりに、同じシステムを題材にした 5 回の授業の演習を収めています。
| 部 | 章 |
|---|---|
| 第 I 部 基礎 | 第 1 章 SoS とは何か · 第 2 章ツールチェインと準備 · 第 3 章 CADL 言語の要点 |
| 第 II 部 実践 | 第 4 章構造を書く · 第 5 章規範を書く · 第 6 章ライフサイクルを可視化する · 第 7 章コードを生成し、参照ランタイムで動かす · 第 8 章 Unity でシミュレーションを動かす · 第 9 章仕様を改善する |
| 第 III 部 発展 | 第 10 章 LLM で契約を生成する · 第 11 章次に進む |
| 付録 | 付録 A 用語集 · 付録 B 記法の早見表 · 付録 C 授業での使い方 · 付録 D 参考文献 |
使い方は 2 通りです。
- 自習（約 95 分）：第 1〜8 章の本文を順に進めます。各章の終わりの演習は飛ばしてかまいません。
- 授業（5 回、または 3 回）：第 4〜9 章が 5 回の授業に当たります。各章の終わりの演習を、授業と宿題で進めます。付録 C を参照してください。