<!DOCTYPE article PUBLIC "-//NLM//DTD JATS (Z39.96) Journal Archiving and Interchange DTD v1.0 20120330//EN" "JATS-archivearticle1.dtd">
<article xmlns:xlink="http://www.w3.org/1999/xlink">
  <front>
    <journal-meta />
    <article-meta>
      <title-group>
        <article-title>A Semi-formal Evaluation of Architecture Design Based on Architecture Principles</article-title>
      </title-group>
      <contrib-group>
        <contrib contrib-type="author">
          <string-name>Diana Marosin</string-name>
          <email>marosin.diana@gmail.com</email>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Sepideh Ghanavati</string-name>
          <email>sepideh.ghanavati@ttu.edu</email>
          <xref ref-type="aff" rid="aff1">1</xref>
        </contrib>
        <aff id="aff0">
          <label>0</label>
          <institution>Radboud University Nijmegen</institution>
          ,
          <addr-line>Nijmegen</addr-line>
          ,
          <country country="NL">the Netherlands</country>
        </aff>
        <aff id="aff1">
          <label>1</label>
          <institution>Texas Tech University</institution>
          ,
          <addr-line>Lubbock, TX</addr-line>
          ,
          <country country="US">USA</country>
        </aff>
      </contrib-group>
      <abstract>
        <p>Enterprise architectures (EA) and principles have been dened multiple times in literature. The main focus is how architecture principles help ful lling organization's goals. There is a consensus on the guiding roles of principles and on the fact that architecture designs are limited by them. However, there are no (semi-)formal methodologies to truly evaluate the links between principles and design. There is also no method to evaluate miss-alignments between principles and design or to guide re-design in case the set of principles changes. In this paper, we make initial steps towards a semi-formal method for traceability and consistency checks between architecture principles and EA design. We aim to provide a mechanism that supports overall change management of the EA design when de ning and re ning the set of EA principles.</p>
      </abstract>
    </article-meta>
  </front>
  <body>
    <sec id="sec-1">
      <title>Introduction</title>
      <p>
        In the current literature, there are multiple de nitions for concepts such as
\enterprise", \enterprise architecture (EA)" and \enterprise architecture principles".
The di erent de nitions of \EA principles" are presented in multiple research
papers, and included in several literature studies such as [
        <xref ref-type="bibr" rid="ref5 ref9">9, 5</xref>
        ]. EA principles
are similar to non-functional requirements (NFR) however, they are widely
accepted as a term in practitioners' dictionary. Due to the similarities between EA
principles and NFR, we model principles with goal modeling languages.
      </p>
      <p>
        In our research, we collaborate with multiple practitioners and use their case
studies. One important observation is that architecture models are static and
we cannot perform any formal analysis. To overcome this limitation, we
introduced a semi-formal framework, called Principles-based GRL [
        <xref ref-type="bibr" rid="ref1">1</xref>
        ], that is based
on Goal-oriented Requirements Language (GRL) [
        <xref ref-type="bibr" rid="ref2">2</xref>
        ]. By leveraging metadata
for stereotyping and graphical representation, we developed a methodology to
link principles to strategies and to evaluate their impacts [
        <xref ref-type="bibr" rid="ref8">8</xref>
        ]. We justi ed the
relationships with goals and vision of the organization and we provided
rationales for design decisions. With the help of what-if analysis, we analyzed what
happens if EA principles support con icting goals, if the set contains con icting
principles or if some principles support only partially the goals.
      </p>
      <p>In this paper, we focus on the in uences EA principles exhibit on the design
of EA models. To that end, we aim to answer the following research question:
How to manage and evaluate the consistency between architecture principles
and architecture design models?</p>
      <p>
        In past, there were some e orts to map EA designs with EA principles
through ArchiMate [
        <xref ref-type="bibr" rid="ref6">6</xref>
        ] and Motivation Model [
        <xref ref-type="bibr" rid="ref4">4</xref>
        ]. This mapping does not
provide analysis of the consistencies, nor does it have a tool-support. In this work,
we model ArchiMate's elements in Use Case Maps (UCM) which is part of the
User Requirements Notation (URN) [
        <xref ref-type="bibr" rid="ref7">7</xref>
        ] and it is combined with GRL. Modeling
architecture designs with UCM helps analyzing the consistency between the
design and principles in a tool-supported manner (through URN links and scenario
analysis functionality of jUCMNav [
        <xref ref-type="bibr" rid="ref3">3</xref>
        ]) which is not possible with ArchiMate.
      </p>
      <p>We introduce our approach and background assumptions, in Section 2. Next,
we present an extension of our framework with UCM elements, in Section 3.
We apply the extension and present an evaluation of a model in Section 4. We
conclude and present directions of future work in Section 5.
2</p>
    </sec>
    <sec id="sec-2">
      <title>Background - Principle-based GRL Approach</title>
      <p>
        Example - part 1: For a better understanding of the context of our work,
we present an extract from the set of EA principles de ned and used by
\The Tax and Customs Administration" of a European country, further-on
called TaxAdministration. In de nition of a high-level EA principle, \We
have an exclusive digital administration", TaxAdministration de ned four
Key Actions, as follows: [
        <xref ref-type="bibr" rid="ref1">1</xref>
        ] The information in digital administrations are
fast and trustworthy accessible where and when necessary for the work. [
        <xref ref-type="bibr" rid="ref2">2</xref>
        ]
We make applications either speci c for mass, automatized administrative
processes or speci c for activities that are focused on human interaction.
[
        <xref ref-type="bibr" rid="ref3">3</xref>
        ] Where we administer digitally we also archive digitally. [
        <xref ref-type="bibr" rid="ref4">4</xref>
        ] We take
measures so that the safety of our information is ensured.
      </p>
      <p>
        Each Key Action is linked semi-formally to a di erent task or a (soft-)goal,
such that it supports the realization of higher level goals of the organization,
contributing to an Added Value. This situation is represented in Fig. 3. The
mapping of EA principles to GRL elements was tackeld in details in our
framework [
        <xref ref-type="bibr" rid="ref8">8</xref>
        ]. The mapping presented in Table 1 contains ontological elements exist
in the de nition of EA principles. We de ned stereotypes and OCL rules such
that we preserve the essence of principles while formally representing them with
GRL. This modeling e ort results in the GRL model represented in Fig.3.
3
      </p>
    </sec>
    <sec id="sec-3">
      <title>Framework Extension with UCM Scenarios</title>
      <p>Example - part 2: In Section 2, we introduced an architecture principle of
TaxAdministration. This principle is an extract from Concern Architecture,
which contains a total of nine architecture principles and the corresponding
strategy for new tasks related to digitalization of the organization. We also
investigated Fundamental Architecture for Online Services. This document
is a specialization of Concern Architecture and provides guidelines and
patterns on how to design and implement provisioning of online services. The
representation is textual or modeled by ArchiMate.</p>
      <p>In TaxAdministration's architecture documents, the architecture
instructions, such as Provide Personal Information, describe which functions are
recognized and which data are needed for implementation.</p>
      <p>After modeling and formalizing EA principles with GRL, we focus on
analyzing how the impact of EA principles can be propagated to the design layer.
We select one of the major architecture languages, ArchiMate - a graphical
language, which o ers an integrated way to describe and visualize di erent
architecture layers, their relations and dependencies. We exploit the traceability links
between GRL and UCM to perform di erent types of analysis such as
checking the consistency between EA principles and EA design models. GRL aims at
capturing business or system goals, alternative decisions and rationales behind
goals while UCM models functional and behavioral structures using scenarios.
In the remaining of this paper, we show how to model ArchiMate models with
UCM and present an informal analysis of the resulted models.</p>
      <p>Guidelines for Translating ArchiMate Models to UCM
We consider a scenario complete when all elements from ArchiMate were modeled
with UCM elements. Therefore, we de ne the following rules: [R1] Choose an
element from ArchiMate model and add it to the UCM scenario as a start -point.
[R2] Concurrent behaviors retrieved from ArchiMate models are represented
using UCM AND-fork. [R3] The mapping is complete when all elements and
relations from ArchiMate were handled. Mark in UCM with end -point. [R4]
Unite all paths resulted in the UCM scenario with an AND-joint.</p>
      <p>In ArchiMate, the relation arrows go both in and out an ArchiMate node,
however we create a directed UCM path between the start and the end point.
To that end, we advise to have only arrows that exit from parents-nodes. To
preserve the semantics of relations such as realize or used by from ArchiMate,
we rephrase these relations in UCM. An example is represented in Fig. 1. We
Function</p>
      <sec id="sec-3-1">
        <title>Object Used by Access Architecture layer</title>
        <p>A.Pourshahidetal.
de ne the following mapping rule and a set of stereotypes, corresponding to each
relation type: [R5] Create directed paths in UCM.</p>
        <p>276</p>
        <p>A.Pourshahidetal.
More complex business Cproceoss mmodelping olangnuagees nexistt, but a combined view
of goals and processes and traceability features between them are unique capabilities
of URN. Moreover, URN provides the ability to align business goals and business
processes by adopting design experts’ business knowledge and experience [37].</p>
        <p>GRL supports an evaluation mechanism that lets users define sets of initial
satisfaction values (Fig. 2c) on chosen intentional elements (Fig. 2a) in a GRL model
(cal ed strategiFeisg).3ThSuobsetvoaflUuCesManroetaptiroonpagated to the other intentional elements in
the model via their contribution, correlation, decomposition, and dependency links
(Fig. 2b), up to the highest level goals [54, 55]. Contribution and correlation links</p>
        <p>More complex business process modeling languages exist, but a combined view
of goals and processes and traceability features between them are unique capabilities
of URN. Moreover, URN provides the ability to align business goals and business
processes by adopting design experts’ business knowledge and experience [37].</p>
        <p>GRL supports an evaluation mechanism that lets users define sets of initial
satisfaction values (Fig. 2c) on chosen intentional elements (Fig. 2a) in a GRL model
(cal ed strategies). Those values are propagated to the other intentional elements in
the model via their contribution, correlation, decomposition, and dependency links
(Fig. 2b), up to the highest level goals [54, 55]. Contribution and correlation links
(a) ArchiMate used by relation
(b) UCM
uses
relation
ArchiMate behavioral elements are modeled with UCM fisofplalrcootiwcoenisnsvegaslubreuyslae(dFsoigp6.t-i2n8cg:)d[oRensi6cghn]oesxepneirntste’nbtuiosninaelseslekmnoewntlsed(Fgieg.an2da)eixnpea
Functions and services from ArchiMate are modeled as r(ceaslpleGodnRsstLriabsteiulgpiitpeiose)r.stsTiahnnosUeevCavlaMuluaet.isonarempercohpaangisamtedthtoatthleetsotuhseerrsindteenfitnioensa
[R7] Objects in ArchiMate are translated to objects in tUheiCsfmaMcotd.ioel[nRvviaa8lu]theEesira(Fcciohgn.tar2ircbc)uhtoiion-nc,hcoosrernelaintitoenn,tidoencaolmelpeomsietinotns,(aFnigd. d2eap)e
tecture layer is represented by a UCM component.
(F(igca.l2lebd),sutrpatteogtihees).hiTghhoesset lveavleulegsoaarles p[5ro4p,a5g5a]t.eCdotnotrtihbeutoiothneranindtecnotri
the model via their contribution, correlation, decomposition, and d
(Fig. 2b), up to the highest level goals [54, 55]. Contribution and
4
(Re)Evaluation of Design by Combining Principle-based</p>
      </sec>
    </sec>
    <sec id="sec-4">
      <title>GRL with UCM</title>
      <p>Considering the EA principle represented in GRL in Fig.3 and the UCM scenario
represented in Fig.2, we manually identify and create URN links between the
two models. Note that, in a real cases, there are multiple EA principles at hand
and a considerable higher number of EA designs. In our example, using just
one instance of each concept, we can (at best) analyze the impact partially.
Furthermore, the URN links and the evaluation are done a-posteriori. In reality,
this tasks would be performed a-priori by enterprise architects, alongside the
management board or involved stakeholders.</p>
      <p>We traced \We archive digitally"</p>
      <sec id="sec-4-1">
        <title>KeyAction</title>
        <p>from the principle's goal
model (see Fig.3) to service \Archive message"</p>
      </sec>
      <sec id="sec-4-2">
        <title>Service</title>
        <p>on the information
layer of the architecture (see Fig. 2). The execution of this service increases the
satisfaction level of the \We archive digitally" KeyAction intentional element,
from an unknown value to satis ed (see Fig.3).</p>
        <p>We identi ed a link between \Measures to ensure safety of our information"
KeyAction (see Fig.3) to \Verify access" Service (see Fig. 2). We consider
this action bene cial, but not enough. In general more actions can contribute to
the realization of a goal. In our example, we notice, we can improve the GRL
evaluation from an unknown value to a weakly satis ed. This represents a positive
increase of 25% from the initial evaluation.</p>
        <p>URN provides guidelines for mapping GRL and UCM . We leverage these
guidelines to provide the mapping between the Principle-based GRL and the
extended UCM. However in future, we plan to perform an extensive analysis to
better evaluate this mapping and provide better guidelines for traceability.
5</p>
      </sec>
    </sec>
    <sec id="sec-5">
      <title>Conclusions</title>
      <p>In the case of TaxAdministration, organization does not perform formal checks
to assess if the EA models are in line with their EA principles. There are
documents of architecture, connections between principles and goals, or re nements
of principles, however, they are based on experience and observations.</p>
      <p>In this paper, we proposed a method to link design solutions to EA
principles. ArchiMate models cannot be executed. Consequently, it is impossible to
automatize the check of actual behavior vs. the expected behavior foreseen by
applying principles. By means of URN links, we are enabled to evaluate the
e ciency of using and introducing a speci c EA principle and to measure the
(partial) compliance between EA principles and the implementation of
architecture. Our approach provides a-posteriori evaluation, based on our interpretation,
therefore, the real impact is still not fully perceivable. For future work, we aim
to analyze the di culty to translate the EA models using Principle-based GRL
framework, and reason about the impact in the design phase. The complexity of
models has to be evaluated keeping in mind the added value of the new models.
Acknowledgements: We thank Saco Bekius and Michiel Borges for their
collaboration and insights in the case study and our colleagues Marc van Zee and
Erik Proper, for fruitful discussions and insights prior to this publication.</p>
    </sec>
  </body>
  <back>
    <ref-list>
      <ref id="ref1">
        <mixed-citation>
          1.
          <string-name>
            <surname>Principle-based</surname>
            <given-names>GRL</given-names>
          </string-name>
          <string-name>
            <surname>Fw</surname>
          </string-name>
          . - https://github.com/RationalArchitecture/eGovernment.
        </mixed-citation>
      </ref>
      <ref id="ref2">
        <mixed-citation>
          2.
          <string-name>
            <given-names>D.</given-names>
            <surname>Amyot</surname>
          </string-name>
          ,
          <string-name>
            <given-names>S.</given-names>
            <surname>Ghanavati</surname>
          </string-name>
          ,
          <string-name>
            <given-names>J.</given-names>
            <surname>Horko</surname>
          </string-name>
          ,
          <string-name>
            <given-names>G.</given-names>
            <surname>Mussbacher</surname>
          </string-name>
          ,
          <string-name>
            <given-names>L.</given-names>
            <surname>Peyton</surname>
          </string-name>
          , and
          <string-name>
            <given-names>E.</given-names>
            <surname>Yu</surname>
          </string-name>
          .
          <article-title>Evaluating goal models within the goal-oriented requirement language</article-title>
          .
          <source>Int. J. Intell. Syst.</source>
          ,
          <volume>25</volume>
          (
          <issue>8</issue>
          ):
          <volume>841</volume>
          {
          <fpage>877</fpage>
          ,
          <string-name>
            <surname>Aug</surname>
          </string-name>
          .
          <year>2010</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref3">
        <mixed-citation>
          3.
          <string-name>
            <given-names>D.</given-names>
            <surname>Amyot</surname>
          </string-name>
          et al.
          <article-title>Towards advanced goal model analysis with jucmnav</article-title>
          .
          <source>In ER Workshops</source>
          , volume
          <volume>7518</volume>
          <source>of LNCS</source>
          , pages
          <volume>201</volume>
          {
          <fpage>210</fpage>
          . Springer,
          <year>2012</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref4">
        <mixed-citation>
          4.
          <string-name>
            <given-names>F. J.</given-names>
            <surname>Armour</surname>
          </string-name>
          ,
          <string-name>
            <given-names>S. H.</given-names>
            <surname>Kaisler</surname>
          </string-name>
          , and
          <string-name>
            <given-names>S. Y.</given-names>
            <surname>Liu</surname>
          </string-name>
          .
          <article-title>A big-picture look at enterprise architectures</article-title>
          .
          <source>IT Professional</source>
          ,
          <volume>1</volume>
          (
          <issue>1</issue>
          ):
          <volume>35</volume>
          {
          <fpage>42</fpage>
          ,
          <year>1999</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref5">
        <mixed-citation>
          5.
          <string-name>
            <surname>M. K. Haki</surname>
            and
            <given-names>C.</given-names>
          </string-name>
          <string-name>
            <surname>Legner</surname>
          </string-name>
          .
          <article-title>New Avenues for Theoretical Contributions in Enterprise Architecture Principles - A Literature Review</article-title>
          .
          <source>In TEAR/PRET</source>
          , volume
          <volume>131</volume>
          <source>of Lecture Notes in Business Information Processing</source>
          , pages
          <volume>182</volume>
          {
          <fpage>197</fpage>
          ,
          <year>2012</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref6">
        <mixed-citation>
          6.
          <string-name>
            <surname>M.-E. Iacob</surname>
            ,
            <given-names>H.</given-names>
          </string-name>
          <string-name>
            <surname>Jonkers</surname>
          </string-name>
          ,
          <string-name>
            <surname>M. M. Lankhorst</surname>
            ,
            <given-names>H. A.</given-names>
          </string-name>
          <string-name>
            <surname>Proper</surname>
            , and
            <given-names>D. A. C.</given-names>
          </string-name>
          <string-name>
            <surname>Quartel</surname>
          </string-name>
          .
          <source>ArchiMate 2</source>
          .
          <article-title>0 Speci cation</article-title>
          . The Open Group,
          <year>2012</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref7">
        <mixed-citation>
          7.
          <string-name>
            <surname>ITU-T.</surname>
          </string-name>
          Recommendation Z.
          <volume>151</volume>
          (
          <issue>11</issue>
          /08):
          <article-title>User Requirements Notation (URN) { Language De nition</article-title>
          . http://www.itu.int/rec/T-REC-Z.
          <volume>151</volume>
          /en,
          <year>2008</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref8">
        <mixed-citation>
          8.
          <string-name>
            <given-names>D.</given-names>
            <surname>Marosin</surname>
          </string-name>
          ,
          <string-name>
            <surname>M. van Zee</surname>
          </string-name>
          , and
          <string-name>
            <given-names>S.</given-names>
            <surname>Ghanavati</surname>
          </string-name>
          .
          <article-title>Formalizing and Modeling Enterprise Architecture (EA) Principles with Goal-Oriented Requirements Language (GRL)</article-title>
          .
          <source>In Proceedings of CAiSE</source>
          <year>2016</year>
          , Ljubljana, Slovenia, June 13-17.
        </mixed-citation>
      </ref>
      <ref id="ref9">
        <mixed-citation>
          9.
          <string-name>
            <given-names>D.</given-names>
            <surname>Stelzer</surname>
          </string-name>
          .
          <article-title>Enterprise Architecture Principles: Literature Review and Research Directions</article-title>
          . In ICSOC/ServiceWave Workshops, LNCS, pages
          <volume>12</volume>
          {
          <fpage>21</fpage>
          ,
          <year>2009</year>
          .
        </mixed-citation>
      </ref>
    </ref-list>
  </back>
</article>