Alloyは全てをRelationとして解釈する
from Tutorial for Alloy Analyzer 4.0を読む
Atomも単項関係と見なせば、全てRelation
Alloyの意味論的には全てRelationで表現されている
https://alloytools.org/tutorials/online/sidenote-levels-of-understanding.html
https://alloytools.org/tutorials/online/sidenote-relations-everywhere.html
これがAlloyのコンセプトのようなものか(?)
AlloyはRelationを順序付けられたタプルの集合として表現する
relationはタプルの集合
タプルはAtomの並び
relationの行
サイズと呼ぶ
0以上
relationの列
arityと呼ぶ
1以上
arity1のrelationは単項関係
arity2のrelationは二項関係
arity3のrelationは三項関係
arity3以上の関係を多項関係と呼ぶ
例えば、Name = {(N0), (N1), (N2)}ならサイズは3でarityは1
myName = {(N0)}はサイズ1の集合、すなわちスカラ
/mrsekut-book-4274068587/052 (3.2 アトムと関係)