Formal Software Design with Alloy 6¶
Julien Brunel, David Chemouil, Alcino Cunha, Nuno Macedo
Structural design with Alloy¶
Property specification¶
A bestiary of binary relations
-
injective,
A lone -> B -
entire,
A -> some B -
simple,
A -> lone B -
surjective,
A some -> B