Formalizing Enterprise Architecture Decision Models using Integrity Constraints (bibtex)
by Marc van Zee, Georgios Plataniotis, Diana Marosin, Dirk van der Linden
Abstract:
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.
Reference:
Formalizing Enterprise Architecture Decision Models using Integrity Constraints (Marc van Zee, Georgios Plataniotis, Diana Marosin, Dirk van der Linden), In 16h IEEE Conference on Business Informatics (CBI), 2014.
Bibtex Entry:
@InProceedings{vanzee-etal:cbi2014a,
  Title                    = {Formalizing Enterprise Architecture Decision Models using Integrity Constraints},
  Author                   = {Marc van Zee and Georgios Plataniotis and Diana Marosin and Dirk van der Linden},
  Booktitle                = {16h IEEE Conference on Business Informatics (CBI)},
  Year                     = {2014},
  Month                    = {May},

  Abstract                 = {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.},
  Url                      = {http://www.marcvanzee.nl/publications/2014/cbi2014_formalizing_EA_decision_models.pdf}
}