Examples from paper Joosten, S., Roubtsova, E. E., & El Makki Haddouchi. (2022). Constraint Formalization for Automated Assessment of Enterprise Models. In ICEIS (2) (pp. 430-441).
The source contains
1) An ArchiMate model with two views.
2) 10 Formalized policies in Ampersand.
3) An instruction on how to install the Ampersand tool and how to run Ampersand for automatic assessment of an ArchiMate model against formalized policies.