Alloy Framework のドキュメントの日本語訳です。