コードユニット(ファイルまたはscript内容)が、アプリケーション全体のなかでどのような役割を演じるか、その貢献〈contribution〉と条件〈conditon〉、期待〈expectation〉、信頼〈reliance, trust〉などを関与〈engagement〉という形で記述する。 関与宣言 ::= 'engagement' 名前 '{' 文並び '}' 文並び ::= (文 (',' 文)* ','?)? 文 ::= 要求文 | 提供文 要求文 ::= 'require' 'on' ('setup'|'running') '{' 項目並び '}' 'from' パス via 手段…