@inproceedings{dd534b81fb874818be01c5462d81125a,
title = "Formalizing enterprise architecture decision models using integrity constraints",
abstract = "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.",
keywords = "Consistency check support, Decision graphs, Decision making, Enterprise architecture",
author = "{Van Zee}, Marc and Georgios Plataniotis and {van der Linden}, Dirk and Diana Marosin",
year = "2014",
month = sep,
day = "18",
doi = "10.1109/CBI.2014.27",
language = "English",
series = "Proceedings - 16th IEEE Conference on Business Informatics, CBI 2014",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
pages = "143--150",
editor = "Proper, {Henderik A.} and K.-J. Lin and Stephane Marchand-Maillet and Jolita Ralyte",
booktitle = "Proceedings - 16th IEEE Conference on Business Informatics, CBI 2014",
address = "United States",
note = "16th IEEE Conference on Business Informatics, CBI 2014 ; Conference date: 14-07-2014 Through 17-07-2014",
}