Examples from paper "Constraint Formalization for Automated Assessment of Enterprise Models"

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.

Identifier
DOI https://doi.org/10.17026/dans-zsj-7ypt
PID https://nbn-resolving.org/urn:nbn:nl:ui:13-ol-7nkl
Related Identifier https://doi.org/10.5220/0011049200003179
Metadata Access https://easy.dans.knaw.nl/oai?verb=GetRecord&metadataPrefix=oai_datacite&identifier=oai:easy.dans.knaw.nl:easy-dataset:249391
Provenance
Creator Roubtsova, E.E. ORCID logo
Publisher Dans Easy
Contributor Joosten, S.; Roubtsova, E.E.; Prof S. Joosten (Open University of the Netherlands); Dr. E.E. Roubtsova (Open University of the Netherlands)
Publication Year 2022
Rights info:eu-repo/semantics/openAccess; License: http://creativecommons.org/licenses/by-nc/4.0/; http://creativecommons.org/licenses/by-nc/4.0/
OpenAccess true
Representation
Language English
Resource Type Dataset
Discipline Other