Formalizing Enterprise Architecture Decision Models using Integrity Constraints

In creating an enterprise architecture (EA) several
design decisions have to be made. The aim of this paper is
to provide a logic-based formalism for capturing architectural
design decisions in order to make the rationalization of these
decisions explicit as well as traceable. 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 (e.g. decisions are changed, issues are solved). 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.