2017 | OriginalPaper | Chapter
Formalising Enterprise Architecture Decision Models
Author : Marc van Zee
Published in: Architectural Coordination of Enterprise Transformation
Publisher: Springer International Publishing
Activate our intelligent search to find suitable subject content or patents.
Select sections of text to find matching patents with Artificial Intelligence. powered by
Select sections of text to find additional relevant content using AI-assisted search. powered by
In this we introduce and validate a logic-based framework that serves as the underlying model for Chap. 23 The resulting logic-based framework aims to address some of the challenges identified in Chap. 15Our 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 formalise a set of integrity constraints, which allow guidance of decision capturing during model creation and provide the means to perform consistency checks. We apply our formal framework to a practical case study from the insurance sector.