Constraint Formalization for Automated Assessment of Enterprise Models

Autor: Joosten, S.M.M., Roubtsova, E.E., Haddouchi, El Makki, Filipe, Joaquim, Smialek, Michal, Hammoudi, Slimane
Přispěvatelé: RS-Research Line Process research (part of AIS program), Department of Computer Science, Department of Information Science, RS-Research Line Innovation (part of LIRS program)
Jazyk: angličtina
Rok vydání: 2022
Předmět:
Zdroj: Proceedings of the 24th International Conference on Enterprise Information Systems, 2, 430-441
Popis: 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.
Databáze: OpenAIRE