2017 | OriginalPaper | Buchkapitel
Formalising Enterprise Architecture Decision Models
verfasst von : Marc van Zee
Erschienen in: Architectural Coordination of Enterprise Transformation
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. 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.