Constraint Formalization for Automated Assessment of Enterprise Models Topics: Business Modeling and Business Process Management; EA Tools and Applications; Methods, Processes and Patterns for EA Development In Proceedings of the 24th International Conference on Enterprise Information Systems - Volume 2: ICEIS, 430-441, 2022