ARMED: ARgumentation Mining and reasoning about Enterprise architecture Decisions

in Proceedings of the 27th Benelux Conference on Artificial Intelligence (BNAIC2015) (2015)

Formalizing Enterprise Architecture Decision Models using Integrity Constraints

in Unknown, Unknown (Ed.) Formalizing Enterprise Architecture Decision Models using Integrity Constraints (2014)

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 ... [more ▼]

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. [less ▲]