Details

Autor(en) / Beteiligte

• Van Zee, Marc
• Plataniotis, Georgios
• Van Der Linden, Dirk
• Marosin, Diana

Titel

Formalizing Enterprise Architecture Decision Models Using Integrity Constraints

Ist Teil von

• 2014 IEEE 16th Conference on Business Informatics, 2014, Vol.1, p.143-150

Ort / Verlag

IEEE

Erscheinungsjahr

2014

Quelle

IEL

Beschreibungen/Notizen

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