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

DOI

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 contains1) 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.

Date: 2022-06-23

Date Submitted: 2022-06-23

Identifier
DOI https://doi.org/10.17026/dans-zsj-7ypt
Metadata Access https://phys-techsciences.datastations.nl/oai?verb=GetRecord&metadataPrefix=oai_datacite&identifier=doi:10.17026/dans-zsj-7ypt
Provenance
Creator E.E. Roubtsova ORCID logo
Publisher DANS Data Station Phys-Tech Sciences
Contributor E.E. Roubtsova; Dans Easy
Publication Year 2022
Rights CC-BY-NC-4.0; info:eu-repo/semantics/openAccess; http://creativecommons.org/licenses/by-nc/4.0
OpenAccess true
Contact E.E. Roubtsova (Open University of the Netherlands)
Representation
Resource Type Dataset
Format application/zip; application/pdf; application/octet-stream
Size 16829; 205598; 5421; 67839
Version 1.0
Discipline Other