Formalizing enterprise architecture decision models using integrity constraints

Marc Van Zee*, Georgios Plataniotis, Dirk van der Linden, Diana Marosin

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

9 Citations (Scopus)

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.

Original languageEnglish
Title of host publicationProceedings - 16th IEEE Conference on Business Informatics, CBI 2014
EditorsHenderik A. Proper, K.-J. Lin, Stephane Marchand-Maillet, Jolita Ralyte
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages143-150
Number of pages8
ISBN (Electronic)9781479957781
DOIs
Publication statusPublished - 18 Sep 2014
Externally publishedYes
Event16th IEEE Conference on Business Informatics, CBI 2014 - Geneva, Switzerland
Duration: 14 Jul 201417 Jul 2014

Publication series

NameProceedings - 16th IEEE Conference on Business Informatics, CBI 2014
Volume1

Conference

Conference16th IEEE Conference on Business Informatics, CBI 2014
CountrySwitzerland
CityGeneva
Period14/07/1417/07/14

Fingerprint

Dive into the research topics of 'Formalizing enterprise architecture decision models using integrity constraints'. Together they form a unique fingerprint.

Cite this