Constraint Formalization for Automated Assessment of Enterprise Models

Stef Joosten, Ella Roubtsova, El Haddouchi

2022

Abstract

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 formalizing 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.

Paper Citation

in Harvard Style

Joosten S., Roubtsova E. and Haddouchi E. (2022). Constraint Formalization for Automated Assessment of Enterprise Models. In Proceedings of the 24th International Conference on Enterprise Information Systems - Volume 1: ICEIS, ISBN 978-989-758-569-2, pages 430-441. DOI: 10.5220/0011049200003179

in Bibtex Style

@conference{iceis22,
author={Stef Joosten and Ella Roubtsova and El Haddouchi},
title={Constraint Formalization for Automated Assessment of Enterprise Models},
booktitle={Proceedings of the 24th International Conference on Enterprise Information Systems - Volume 1: ICEIS,},
year={2022},
pages={430-441},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0011049200003179},
isbn={978-989-758-569-2},
}

in EndNote Style

TY - CONF

JO - Proceedings of the 24th International Conference on Enterprise Information Systems - Volume 1: ICEIS,
TI - Constraint Formalization for Automated Assessment of Enterprise Models
SN - 978-989-758-569-2
AU - Joosten S.
AU - Roubtsova E.
AU - Haddouchi E.
PY - 2022
SP - 430
EP - 441
DO - 10.5220/0011049200003179