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

Dataset

Description

Instruction for installation of the Ampersand tool and for using the ArchiChecker tool to assess an Enterprise Model against formalized policies.
Enterprise model in ArchiMate (code).
File of 10 formalized policies in Ampersand (code).
Date made available23 Jun 2022
PublisherDANS EASY
Date of data production10 Apr 2022

Cite this