Constraint Formalization for Automated Assessment of Enterprise Models

S.M.M. Joosten, E.E. Roubtsova*, El Makki Haddouchi

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

52 Downloads (Pure)


Enterprises always do their business within some restrictions. In a team of enterprise architects, the restrictions are transformed into the modelling conventions and the corresponding modelling constraints that should be consistently applied across all enterprise models.
This paper presents an approach for refining and formali\-zing modeling conventions into modelling constraints and using them for assessment of enterprise models by a software component called ArchiChecker. The specifics of the proposed approach is that the modeling conventions are first visualized and formalized using the types of elements and relationships of the ArchiMate modeling language, that is also used for modelling of enterprise views. The ArchiMate elements and relationships serve as types to formulate constraints. The elements and relationships in an ArchiMate model are instances of the ArchiMate elements and relationships. Using these types and instances the ArchiChecker automatically generates the lists of violations of modeling conventions in the enterprise models. Each violation shows how a specific enterprise view deviates from a given modeling convention.
The paper reports a case study of application of the proposed approach to enterprise modelling views and modelling conventions used in a medical center. The case study is used to discuss the added value of formalization and automated assessment of modelling constraints in enterprise modelling.
Original languageEnglish
Title of host publicationProceedings of the 24th International Conference on Enterprise Information Systems
EditorsJoaquim Filipe, Michal Smialek, Alexander Brodsky, Slimane Hammoudi
PublisherSCITEPRESS-Science and Technology Publications, Lda.
Pages 430-441
Number of pages12
ISBN (Print)9789897585692
Publication statusPublished - 25 Apr 2022
EventThe 24th International Conference on Enterprise Information Systems - Online,ICEIS, Setúbal, Portugal
Duration: 25 Apr 202227 Apr 2022
Conference number: 24


ConferenceThe 24th International Conference on Enterprise Information Systems
Abbreviated titleICEIS2022
Internet address


  • Ampersand-tool
  • ArchiMate
  • Enterprise Architecture Model
  • Modelling Constraints
  • Modelling Conventions


Dive into the research topics of 'Constraint Formalization for Automated Assessment of Enterprise Models'. Together they form a unique fingerprint.
  • OUrsi

    Ella Roubtsova (Speaker)

    4 Oct 2022

    Activity: Talk or presentation typesTalk or presentation (not at a conference)Academic

Cite this