Formalizing Enterprise Architecture Decision Models Using Integrity Constraints

The aim of this paper is to introduce and validate a logic-based framework that serves as the underlying model for a recently introduced formalism for capturing enterprise architecture design decisions by Plataniotis et al. Our working hypothesis is that capturing of design knowledge in terms of a logic-based framework will enable consistency checks of the underlying rationales and advanced impact/what-if analysis when confronted with changes. We formalize a set of integrity constraints, which allow guidance of decision capturing during model creation and provide means to perform consistency checks. We apply our formal framework to a practical case study from the insurance sector.